-connections of abstract description systems

References

Page 1

	Year	Citations
Maintaining knowledge about temporal intervals James F. Allen Communications of the ACM EngineeringTemporal Intervals AuthorData ScienceAutomated ReasoningAlert Preferences	1983	7.5K
Lecture Notes in Artificial Intelligence Patrick Brézillon, Paolo Bouquet Artificial IntelligenceEngineeringAutomated ReasoningAlgorithmic LearningArtificial General Intelligence	1999	7.4K
Reasoning about knowledge Mathematical Social Sciences ReasoningKnowledge RepresentationCognitive ScienceEngineeringReasoning System	1994	3.6K
The Description Logic Handbook – Theory, Implementation and Applications C.J.H. Mann Kybernetes Applied LogicKnowledge RepresentationEngineeringAutomated ReasoningDescription Logic	2003	2.2K
A Spatial Logic based on Regions and Connection David Randell	1992	1.9K
The complexity of propositional linear temporal logics A. Prasad Sistla, E. M. Clarke Journal of the ACM Particular Finite StructureExtended LogicEngineeringAutomated ReasoningPropositional Logic	1985	1.1K
A guide to completeness and complexity for modal logics of knowledge and belief Joseph Y. Halpern, Yoram Moses Artificial Intelligence Knowledge RepresentationEngineeringAutomated ReasoningPropositional LogicClassical Logic	1992	839
Modal Languages and Bounded Fragments of Predicate Logic Hajnal Andréka, István Németi, Johan van Benthem Journal of Philosophical Logic SyntaxEngineeringAutomated ReasoningFormal MethodsFirst-order Logic	1998	593
The Computational Complexity of Provability in Systems of Modal Propositional Logic Richard E. Ladner SIAM Journal on Computing EngineeringAbstract ComplexityProvability ProblemSubstructural LogicAutomated Reasoning	1977	552
A correspondence theory for terminological logics: preliminary report Klaus Schild OpenGrey (Institut de l'Information Scientifique et Technique)	1991	466

Page 1