Conferences in DBLP
Raymond Reiter Natural Actions, Concurrency and Continuous Time in the Situation Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Lakemeyer Only Knowing in the Situation Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Todd G. Kelley Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Herzig The PMA Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Thielscher Causality and the Qualification Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Rob Miller , Murray Shanahan Reasoning about Discontinuities in the Event Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Giunchiglia Determining Ramifications in the Situation Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Joakim Gustafsson , Patrick Doherty Embracing Occlusion in Specifying the Indirect Effects of Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall Assessments of Ramification Methods that Use Static Domain Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Karen L. Myers Strategic Advice for Hierarchical Planners. [Citation Graph (0, 0)][DBLP ] Conf ] Yury V. Smirnov , Manuela M. Veloso Efficiency Competition through Representation Changes: Pigeonhole Principle vs. Integer Programming Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Subbarao Kambhampati , Xiuping Yang On the Role of Disjunctive Representations and Constraint Propagation in Refinement Planning. [Citation Graph (0, 0)][DBLP ] Conf ] James M. Crawford , Matthew L. Ginsberg , Eugene M. Luks , Amitabha Roy Symmetry-Breaking Predicates for Search Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Ari K. Jónsson , Matthew L. Ginsberg Procedural Reasoning in Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Keith Golden , Daniel S. Weld Representing Sensing Actions: The Middle Ground Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew L. Ginsberg A New Algorithm for Generative Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe De Giacomo , Luca Iocchi , Daniele Nardi , Riccardo Rosati Moving a Robot: The KR&R Approach at Work. [Citation Graph (0, 0)][DBLP ] Conf ] Oliver Lemon Semantical Foundations of Spatial Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Stefano Borgo , Nicola Guarino , Claudio Masolo A Pointless Theory of Space Based on Strong Connection and Congruence. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony G. Cohn , Nicholas Mark Gotts Representing Spatial Vagueness: A Mereological Approach. [Citation Graph (1, 0)][DBLP ] Conf ] Neal Lesh , Oren Etzioni Scaling Up Goal Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Annette ten Teije , Frank van Harmelen Computing Approximate Diagnoses By Using Approximate Entailment. [Citation Graph (0, 0)][DBLP ] Conf ] Leora Morgenstern Inheriting Well-formed Formulae in a Formula-Agumented Semantic Network. [Citation Graph (0, 0)][DBLP ] Conf ] Nirad Sharma Partial Orders of Sorts and Inheritances (or Placing Inheritance in Context). [Citation Graph (0, 0)][DBLP ] Conf ] Diego Calvanese Finite Model Reasoning in Description Logics. [Citation Graph (2, 0)][DBLP ] Conf ] Fausto Giunchiglia , Roberto Sebastiani A SAT-based Decision Procedure for ALC. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe De Giacomo , Maurizio Lenzerini TBox and ABox Reasoning in Expressive Description Logics. [Citation Graph (1, 0)][DBLP ] Conf ] Franz Baader , Ulrike Sattler Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Borgida , Deborah L. McGuinness Asking Queries about Frames. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Jonsson , Thomas Drakengren , Christer Bäckström Tractable Subclasses of the Point-Interval Algebra: A Complete Classification. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Cadoli , Francesco M. Donini , Paolo Liberatore , Marco Schaerf Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. [Citation Graph (0, 0)][DBLP ] Conf ] Henry A. Kautz , David A. McAllester , Bart Selman Encoding Plans in Propositional Logic. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Basin , Seán Matthews , Luca Viganò Implementing Modal and Relevance Logics in a Logical Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Ronen I. Brafman "Statistical" First Order Conditionals. [Citation Graph (0, 0)][DBLP ] Conf ] Mary-Anne Williams Towards a Practical Approach to Belief Revision: Reason-Based Change. [Citation Graph (0, 0)][DBLP ] Conf ] Nir Friedman , Joseph Y. Halpern Belief Revision: A Critique. [Citation Graph (0, 0)][DBLP ] Conf ] Tom Costello Modeling Belief Change using Counterfactuals. [Citation Graph (0, 0)][DBLP ] Conf ] Ana María Monteiro , Jacques Wainer Preferential Multi-Agent Nonmonotonic Logics: Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Siegel , Lionel Forget A Representation Theorem for Preferential Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Jaeger Representation Independence of Nonmonotonic Inference Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Chitta Baral , Alfredo Gabaldon , Alessandro Provetti Value Minimization in Circumscription. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Bochman Biconsequence Relations for Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Gianni Amati , Fiora Pirri Is There a Logic of Provability for Nonmonotonic Reasoning? [Citation Graph (0, 0)][DBLP ] Conf ] Phan Minh Dung , Tran Cao Son An Argumentation-theoretic Approach to Reasoning with Specificity. [Citation Graph (0, 0)][DBLP ] Conf ] Pawel Cholewinski , V. Wiktor Marek , Miroslaw Truszczynski Default Reasoning System DeReS. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Brass , Jürgen Dix , Teodor C. Przymusinski Super Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Fahiem Bacchus , Adam J. Grove Utility Independence in a Qualitative Decision Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Moshe Tennenholtz On Stable Social Laws and Qualitative Equilibrium for Risk-Averse Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Tze-Yun Leong Multiple Perspective Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Yugyung Lee , James Geller Parallel Transitive Reasoning in Mixed Relational Hierarchies. [Citation Graph (0, 0)][DBLP ] Conf ] Nestor Rychtyckyj DLMS: An Evaluation of KL-ONE in the Automobile Industry. [Citation Graph (0, 0)][DBLP ] Conf ] Malik Ghallab On Chronicles: Representation, On-line Recognition and Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Carl Vogel , Judith Tonhauser Psychological Constraints on Plausible Default Inheritance Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew L. Ginsberg Do Computers Need Common Sense? [Citation Graph (0, 0)][DBLP ] Conf ] Aaron Sloman Actual Possibilities. [Citation Graph (0, 0)][DBLP ] Conf ] John McCarthy From Here to Human-Level AI. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Gottlob Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Richard Fikes Ontologies: What Are They, and Where's The Research? [Citation Graph (0, 0)][DBLP ] Conf ] William S. Mark Ontologies: What Are They, and Where's The Research? [Citation Graph (0, 0)][DBLP ] Conf ] Robert M. MacGregor Implementations and Research: Discussions at the Boundary. [Citation Graph (0, 0)][DBLP ] Conf ] James A. Hendler Implementations and Research: Discussions at the Boundary. [Citation Graph (0, 0)][DBLP ] Conf ] Lenhart K. Schubert Implementations and Research: Discussions at the Boundary. [Citation Graph (0, 0)][DBLP ] Conf ] Stuart C. Shapiro Implementations and Research: Discussions at the Boundary. [Citation Graph (0, 0)][DBLP ] Conf ] 