An overview of tableau algorithms for description logics
Abstract Description logics are a family of knowledge representation formalisms that are
descended from semantic networks and frames via the system Kl-one. During the last …
descended from semantic networks and frames via the system Kl-one. During the last …
[图书][B] Introduction to description logic
Description logics (DLs) have a long tradition in computer science and knowledge
representation, being designed so that domain knowledge can be described and so that …
representation, being designed so that domain knowledge can be described and so that …
[PDF][PDF] The Description Logic Handbook: Theory, Implementation, and Applications
F Baader - Cambridge University Press google schola, 2003 - courses.cs.umbc.edu
Description Logics are a family of knowledge representation languages that have been
studied extensively in Artificial Intelligence over the last two decades. They are embodied in …
studied extensively in Artificial Intelligence over the last two decades. They are embodied in …
[图书][B] Reasoning about knowledge
Reasoning about knowledge—particularly the knowledge of agents who reason about the
world and each other's knowledge—was once the exclusive province of philosophers and …
world and each other's knowledge—was once the exclusive province of philosophers and …
Temporal and modal logic
EA Emerson - Formal Models and Semantics, 1990 - Elsevier
Publisher Summary This chapter discusses temporal and modal logic. The chapter
describes a multiaxis classification of systems of temporal logic. The chapter describes the …
describes a multiaxis classification of systems of temporal logic. The chapter describes the …
Dynamic logic
Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys
the singulax aclv~ ntage of being strongly related to classical logic. Its variants constitute …
the singulax aclv~ ntage of being strongly related to classical logic. Its variants constitute …
Classifying the computational complexity of problems
L Stockmeyer - The journal of symbolic logic, 1987 - cambridge.org
One of the more significant achievements of twentieth century mathematics, especially from
the viewpoints of logic and computer science, was the work of Church, Gödel and Turing in …
the viewpoints of logic and computer science, was the work of Church, Gödel and Turing in …
Reasoning about infinite computations
We investigate extensions of temporal logic by connectives defined by finite automata on
infinite words. We consider three different logics, corresponding to three different types of …
infinite words. We consider three different logics, corresponding to three different types of …
A guide to completeness and complexity for modal logics of knowledge and belief
JY Halpern, Y Moses - Artificial intelligence, 1992 - Elsevier
We review and re-examine possible-worlds semantics for propositional logics of knowledge
and belief with three particular points of emphasis:(1) we show how general techniques for …
and belief with three particular points of emphasis:(1) we show how general techniques for …
Reasoning about knowledge and probability
R Fagin, JY Halpern - Journal of the ACM (JACM), 1994 - dl.acm.org
Categories and Subject Descrlptor~: B 4.4 [Input/ Output and Data Communications]:
Performance Analysis and Design Aids—@ wml models;~ enjcation; C, 2.4 [Computer …
Performance Analysis and Design Aids—@ wml models;~ enjcation; C, 2.4 [Computer …