Belief Revision in Non-Classical Logics

Autor*innen

• Marcio Moretto Ribeiro

Parameter

• 120 Seiten
• 5 Lesestunden

• Informatik & Programmierung
• Technik & Maschinenbau

Mehr zum Buch

however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include - besides most Description Logics such as the ones behind OWL - Horn Logic and Intuitionistic logic, amongst others.

• Sprache: Englisch
• Erscheinungsdatum: 2012
• Einband: Paperback