Belief Revision in Non-Classical Logics

Belief Revision in Non-Classical Logics

Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logics....

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Ribeiro, Márcio Moretto (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	London : Springer London : Imprint: Springer, 2013.
Σειρά:	SpringerBriefs in Computer Science,
Θέματα:	Computer science. Epistemology. Logic. Ontology. Mathematical logic. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Mathematical Logic and Formal Languages. Mathematical Logic and Foundations.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Probability Logics Probability-Based Formalization of Uncertain Reasoning /
ανά: Ognjanović, Zoran, κ.ά.
Έκδοση: (2016)

Conditionals and Modularity in General Logics
ανά: Gabbay, Dov M., κ.ά.
Έκδοση: (2011)

A New Perspective on Nonmonotonic Logics
ανά: Gabbay, Dov M., κ.ά.
Έκδοση: (2016)

Logical Tools for Handling Change in Agent-Based Systems
ανά: Gabbay, Dov M., κ.ά.
Έκδοση: (2010)

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings /
Έκδοση: (2008)

Dynamic Epistemic Logic
ανά: Ditmarsch, Hans van, κ.ά.
Έκδοση: (2007)

Reactive Kripke Semantics
ανά: Gabbay, Dov M.
Έκδοση: (2013)

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions /
ανά: Kaiser, Łukasz
Έκδοση: (2011)

Natural Deduction, Hybrid Systems and Modal Logics
ανά: Indrzejczak, Andrzej
Έκδοση: (2010)

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday /
Έκδοση: (2005)

Handbook of Spatial Logics
Έκδοση: (2007)

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings /
Έκδοση: (2006)

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /
Έκδοση: (2005)

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
Έκδοση: (2007)

Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
Έκδοση: (2012)

Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings /
Έκδοση: (2011)

Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers /
Έκδοση: (2014)

Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday /
Έκδοση: (2007)

Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /
Έκδοση: (2009)

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday /
Έκδοση: (2005)

Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings /
Έκδοση: (2004)

Logicism, Intuitionism, and Formalism What has Become of Them? /
Έκδοση: (2009)

Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings /
Έκδοση: (2008)

Information from Processes About the Nature of Information Creation, Use, and Representation /
ανά: Losee, Robert M.
Έκδοση: (2012)

Descriptor Revision Belief Change through Direct Choice /
ανά: Hansson, Sven Ove
Έκδοση: (2017)

Subjective Logic A Formalism for Reasoning Under Uncertainty /
ανά: Jøsang, Audun
Έκδοση: (2016)

Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
Έκδοση: (2015)

Algorithms in Invariant Theory
ανά: Sturmfels, Bernd
Έκδοση: (2008)

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /
Έκδοση: (2006)

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers /
Έκδοση: (2005)

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /
ανά: Platzer, André
Έκδοση: (2010)

Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers /
Έκδοση: (2015)

Logic, Language, and Computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers /
Έκδοση: (2011)

Logic, Language, and Computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers /
Έκδοση: (2017)

Deontic Logic in Computer Science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings /
Έκδοση: (2004)

Theory and Applications of Satisfiability Testing 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers /
Έκδοση: (2004)

Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers /
Έκδοση: (2007)

Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings /
Έκδοση: (2006)

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
Έκδοση: (2015)

Conditionals, Information, and Inference International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers /
Έκδοση: (2005)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών