Conferences in DBLP
Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati Description Logic Framework for Information Integration. [Citation Graph (1, 0)][DBLP ] Conf ] Hector J. Levesque A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Mary-Anne Williams , Grigoris Antoniou A Strategy for Revising Default Theory Extensions. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Karlsson Anything Can Happen: On Narratives and Hypothetical Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] John McCarthy , Tom Costello Combining Narratives. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Thielscher How (Not) To Minimize Events. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Brass , Jürgen Dix , Ilkka Niemelä , Teodor C. Przymusinski A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Brewka , Thomas Eiter Preferred Answer Sets for Extended Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] José Júlio Alferes , João Alexandre Leite , Luís Moniz Pereira , Halina Przymusinska , Teodor C. Przymusinski Dynamic Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Haarslev , Carsten Lutz , Ralf Möller Foundations of Spatioterminological Reasoning with Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Balbiani , Jean-François Condotta , Luis Fariñas del Cerro A Model for Reasoning about Bidemsional Temporal Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Muller A Qualitative Theory of Motion Based on Spatio-Temporal Primitives. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Liberatore On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc. [Citation Graph (0, 0)][DBLP ] Conf ] Adnan Darwiche Compiling Devices: A Structure-Based Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Sheila A. McIlraith Explanatory Diagnosis: Conjecturing Actions to Explain Observations. [Citation Graph (0, 0)][DBLP ] Conf ] Peter A. Flach Comparing Consequence Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Emil Weydert SYSTEM JZ - How to Build a Canonical Ranking Model of a Default Knowledge Base. [Citation Graph (0, 0)][DBLP ] Conf ] Eyal Amir Pointwise Circumscription Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Norman McCain , Hudson Turner Satisfiability planning with Causal Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Fangzhen Lin On Measuring Plan Quality (A Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Brandon Bennett Modal Semantics for Knowledge Bases Dealing with Vague Concepts. [Citation Graph (0, 0)][DBLP ] Conf ] Inderjeet Mani A Theory of Granularity and its Application to Problems of Polysemy and Underspecification of Meaning. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Doherty , Witold Lukaszewicz , Ewa Madalinska-Bugaj The PMA and Relativizing Minimal Change for Action Update. [Citation Graph (0, 0)][DBLP ] Conf ] Tom Costello , Anna Patterson Quantifiers and Operations on Modalities and Contexts. [Citation Graph (0, 0)][DBLP ] Conf ] Fausto Giunchiglia , Chiara Ghidini Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Pinto Concurrent Actions and Interacting Effects. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall Logic Based Modelling of Goal-Directed Behavior. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Lakemeyer , Hector J. Levesque AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. [Citation Graph (0, 0)][DBLP ] Conf ] Jochen Renz A Canonical Model of the Region Connection Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Dornheim Undecidability of Plane Polygonal Mereotopology. [Citation Graph (0, 0)][DBLP ] Conf ] Jérôme Lang , Pierre Marquis Complexity Results for Independence and Definability in Propositional Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Iliano Cervesato , Massimo Franceschet , Angelo Montanari The Complexity of Model Checking in Modal Event Calculi with Quantifiers. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Lukasiewicz Probabilistic Deduction with Conditional Constraints over Basic Events. [Citation Graph (0, 0)][DBLP ] Conf ] Katsumi Inoue , Chiaki Sakama Specifying Transactions for Extended Abduction. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Nicola Leone , Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello The KR System dlv: Progress Report, Comparisons and Benchmarks. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Buccafurri , Nicola Leone , Pasquale Rullo Disjunctive Ordered Logic: Semantics and Expressiveness. [Citation Graph (0, 0)][DBLP ] Conf ] Fahiem Bacchus , Ronald P. A. Petrick Modeling an Agent's Incomplete Knowledge During Planning and During Execution. [Citation Graph (0, 0)][DBLP ] Conf ] Nicola Muscettola , Paul H. Morris , Ioannis Tsamardinos Reformulating Temporal Plans for Efficient Execution. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe De Giacomo , Raymond Reiter , Mikhail Soutchanski Execution Monitoring of High-Level Robot Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Salem Benferhat , Didier Dubois , Jérôme Lang , Henri Prade , Alessandro Saffiotti , Philippe Smets A General Approach for Inconsistency Handling and Merging Information in Prioritized Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Jaap Kamps Formal Theory Building Using Automated Reasoning Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Sébastien Konieczny , Ramón Pino Pérez On the Logic of Merging. [Citation Graph (0, 0)][DBLP ] Conf ] Ralf Küsters Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Wolter , Michael Zakharyaschev On the Decidability of Description Logics with Modal Operators. [Citation Graph (1, 0)][DBLP ] Conf ] Michel Chein , Marie-Laure Mugnier , Geneviève Simonet Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Lifschitz Situation Calculus and Causal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond Reiter Sequential, Temporal GOLOG. [Citation Graph (0, 0)][DBLP ] Conf ] Graham White , John Bell , Wilfried Hodges Building Models of Prediction Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Jaeger Reasoning About Infinite Random Structures with Relational Bayesian Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Vu A. Ha , Peter Haddawy Geometric Foundations for Interval-Based Probabilities. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Dubois , Lluis Godo , Henri Prade , Adriana Zapico Making Decision in a Qualitative Setting: from Decision under Uncertaintly to Case-based Decision. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Baioletti , Stefano Marcugini , Alfredo Milani Encoding Planning Constraints into Partial Order Planners. [Citation Graph (0, 0)][DBLP ] Conf ] Jussi Rintanen A Planning Algorithm not based on Directional Search. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Giunchiglia , Fausto Giunchiglia , Roberto Sebastiani , Armando Tacchella More Evaluation of Decision Procedures for Modal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Horrocks Using an Expressive Description Logic: FaCT or Fiction? [Citation Graph (0, 0)][DBLP ] Conf ] Katharina Morik How to Tailor Representations to Different Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Hector J. Levesque What Robots Can Do. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Lenzerini Description Logics and their Applications. [Citation Graph (0, 0)][DBLP ] Conf ] 