Concepedia
Annals of Mathematics and Artificial Intelligence · 2010 · 28 citations · 75 references
HumanitiesMathematicsKnowledge RepresentationLogicSemanticsDescription LogicsMathematical LogicDescription Logic ReasoningSituation CalculusSituation Semantics
75
Lecture Notes in Artificial Intelligence
Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations
Computing, Computer Science, Artificial Intelligence +9
Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99
Simon Colton, Alan Bundy, Toby Walsh · 1999 · 2.5K citations
Computing, Computer Engineering, Computer Science +12
From SHIQ and RDF to OWL: the making of a Web Ontology Language
Ian Horrocks, Peter F. Patel‐Schneider, Frank van Harmelen · Journal of Web Semantics · 2003 · 1.5K citations · Full text
Computing, Computer Science, Information Systems +11
Propositional dynamic logic of regular programs
Michael J. Fischer, Richard E. Ladner · Journal of Computer and System Sciences · 1979 · 1.2K citations
Computing, Computer Science, Formal Methods +12
Knowledge in action: logical foundations for specifying and implementing dynamical systems
Choice Reviews Online · 2002 · 1.1K citations
Computing, Autonomous Systems, Dynamical Systems +13