Conferences in DBLP
Jacek Gibert Declarative Knowledge Representation in Planning and Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Yalin Xiong , Norman M. Sadeh , Katia P. Sycara Intelligent Backtracking Techniques for Job Shop Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Manolis Koubarakis Dense Time and Temporal Constraints with !=. [Citation Graph (2, 0)][DBLP ] Conf ] Robert Schrag , Mark Boday , Jim Carciofini Managing Disjunction for Practical Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Ernest Davis Infinite Loops in Finite Time: Some Observations. [Citation Graph (0, 0)][DBLP ] Conf ] L. Thorne McCarty , Ron van der Meyden Reasoning About Indefinite Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Haddawy , Steve Hanks Representations for Decision-Theoretic Planning: Utility Functions for Deadline Goals. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Minton , Mark Drummond , John L. Bresina , Andrew B. Philips Total Order vs. Partial Order Planning: Factors Influencing Performance. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew R. Haas A Reactive Planner that Uses Explanation Closure. [Citation Graph (0, 0)][DBLP ] Conf ] J. Scott Penberthy , Daniel S. Weld UCPOP: A Sound, Complete, Partial Order Planner for ADL. [Citation Graph (0, 0)][DBLP ] Conf ] Oren Etzioni , Steve Hanks , Daniel S. Weld , Denise Draper , Neal Lesh , Mike Williamson An Approach to Planning with Incomplete Information. [Citation Graph (0, 0)][DBLP ] Conf ] Christer Bäckström Equivalence and Tractability Results for SAS+ Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Nevin Lianwen Zhang , David Poole Stepwise-Decomposable Influence Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Daphne Koller , Joseph Y. Halpern A Logic for Approximate Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Randell , Zhan Cui , Anthony G. Cohn A Spatial Logic based on Regions and Connection. [Citation Graph (3, 0)][DBLP ] Conf ] Ernest Davis Axiomatizing Qualitative Process Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Karen L. Myers , Kurt Konolige Reasoning with Analogical Representations. [Citation Graph (0, 0)][DBLP ] Conf ] P. Pandurang Nayak Order of Magnitude Reasoning using Logarithms. [Citation Graph (0, 0)][DBLP ] Conf ] Adam J. Grove Semantics for Knowledge and Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Yoav Shoham , Moshe Tennenholtz Emergent Conventions in Multi-Agent Systems: Initial Experimental Results and Observations (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Anthony S. Maida Knowledge Representation Requirements for Description-Based Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald J. Brachman "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Borgida Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed. [Citation Graph (1, 0)][DBLP ] Conf ] Franz Baader , Bernhard Hollunder , Bernhard Nebel , Hans-Jürgen Profitlich , Enrico Franconi An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. [Citation Graph (1, 0)][DBLP ] Conf ] Robert A. Weida , Diane J. Litman Terminological Reasoning with Constraint Networks and an Application to Plan Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Quantz , Véronique Royer A Preference Semantics for Defaults in Terminological Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader , Bernhard Hollunder Embedding Defaults into Terminological Knowledge Representation Formalisms. [Citation Graph (0, 0)][DBLP ] Conf ] Philipp Hanschke Specifying Role Interaction in Concept Languages. [Citation Graph (1, 0)][DBLP ] Conf ] Marco Cadoli , Marco Schaerf Approximation in Concept Description Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Andrea Schaerf , Werner Nutt Adding Epistemic Operators to Concept Languages. [Citation Graph (1, 0)][DBLP ] Conf ] Lucja Iwanska A General Semantic Model of Negation in Natural Language: Representation and Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Poesio Conversational Events and Discourse State Change: A Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Russell Greiner , Dale Schuurmans Learning Useful Horn Approximations. [Citation Graph (0, 0)][DBLP ] Conf ] Mukesh Dalal Tractable Deduction in Knowledge Representation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Givan , David A. McAllester New Results on Local Inference Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Toni Bollinger , Udo Pletat An Order-Sorted Logic with Sort Literals and Disjointness Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Dov M. Gabbay , Hans Jürgen Ohlbach Quantifier Elimination in Second-Order Predicate Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Anand S. Rao , Michael P. Georgeff An Abstract Architecture for Rational Agents. [Citation Graph (0, 0)][DBLP ] Conf ] James P. Delgrande Accessibility in Logics of Explicit Belief. [Citation Graph (0, 0)][DBLP ] Conf ] M. David Sadek A Study in the Logic of Intention. [Citation Graph (0, 0)][DBLP ] Conf ] Yeona Jang Knowledge Representation and Incorporation in a Hybrid System with Feedback. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Friedrich , Wolfgang Nejdl Choosing Observations and Actions in Model-Based Diagnosis/Repair Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hwee Tou Ng , Raymond J. Mooney Abductive Plan Recognition and Diagnosis: A Comprehensive Empirical Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Konolige Using Default and Causal Reasoning in Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Freitag , Gerhard Friedrich Focusing on Independent Diagnosis Problems. [Citation Graph (1, 0)][DBLP ] Conf ] Olivier Raiman , Johan de Kleer A Minimality Maintenance System. [Citation Graph (0, 0)][DBLP ] Conf ] Ron Rymon Search through Systematic Set Enumeration. [Citation Graph (3, 0)][DBLP ] Conf ] Horacio L. Arló-Costa , Scott J. Shapiro Maps Between Nonmonotonic and Conditional Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriella Crocco , Philippe Lamarre On the Connection between Non-monotonic Inference Systems and Conditional Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Lamarre A Promenade from Monotonicity to Non-Monotonicity Following a Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Grigori Schwarz Bounding Introspection in Nonmonotonic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Dix A Framework for Representing and Characterizing Semantics of Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Vladimir Lifschitz , Thomas Y. C. Woo Answer Sets in General Nonmonotonic Reasoning (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Geneviève Simonet RS Theory: A Really Skeptical Theory of Inheritance with Exceptions. [Citation Graph (0, 0)][DBLP ] Conf ] Ilkka Niemelä , Jussi Rintanen On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Lakemeyer All You Ever Wanted to Know about Tweety (But Were Afraid to Ask). [Citation Graph (0, 0)][DBLP ] Conf ] Mark Ryan Representing Defaults as Sentences with Reduced Priority. [Citation Graph (0, 0)][DBLP ] Conf ] Moisés Goldszmidt , Judea Pearl Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Salem Benferhat , Didier Dubois , Henri Prade Representing Default Rules in Possibilistic Logic. [Citation Graph (1, 0)][DBLP ] Conf ] Craig Boutilier Normative, Subjunctive, and Autoepistemic Defaults: Adopting the Ramsey Test. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Nejdl , Markus Banagl Asking About Possibilities - Revision and Update Semantics for Subjunctive Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Gadi Pinkas , Ronald Prescott Loui Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict. [Citation Graph (0, 0)][DBLP ] Conf ] Timothy M. Lownie A Contraction Operator For Classical Propositional Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Marie-Odile Cordier , Pierre Siegel A Temporal Revision Model for Reasoning about World Change. [Citation Graph (0, 0)][DBLP ] Conf ] Alvaro del Val Computing Knowledge Base Updates. [Citation Graph (0, 0)][DBLP ] Conf ] James M. Skinner , George F. Luger An Architecture for Integrating Reasoning Paradigms. [Citation Graph (0, 0)][DBLP ] Conf ] Vinay K. Chaudhri , Vassos Hadzilacos , John Mylopoulos Concurrency Control for Knowledge Bases. [Citation Graph (2, 0)][DBLP ] Conf ] Ramesh S. Patil , Richard Fikes , Peter F. Patel-Schneider , Don McKay , Timothy W. Finin , Thomas R. Gruber , Robert Neches The DARPA Knowledge Sharing Effort: A Progress Report. [Citation Graph (4, 0)][DBLP ] Conf ] Raymond Reiter Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef. [Citation Graph (0, 0)][DBLP ] Conf ] 