Conferences in DBLP
Frank Wolter , Michael Zakharyaschev Spatio-temporal representation and reasoning based on RCC-8. [Citation Graph (0, 0)][DBLP ] Conf ] Matteo Cristani , Anthony G. Cohn , Brandon Bennett Spatial Locations via Morpho-Mereology. [Citation Graph (0, 0)][DBLP ] Conf ] Antony Galton Continuous Motion in Discrete Space. [Citation Graph (0, 0)][DBLP ] Conf ] John G. Stell The Representation of Discrete Multi-resolution Spatial Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Yannis Dimopoulos , Bernhard Nebel , Francesca Toni Finding Admissible and Preferred Arguments Can be Very Hard. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Thomas Lukasiewicz Complexity Results for Default Reasoning from Conditional Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Denecker , V. Wiktor Marek , Miroslaw Truszczynski Uniform semantic treatment of default and autoepistemic logic. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Lifschitz Missionaries and Cannibals in the Causal Calculator. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond Reiter Narratives as Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Thielscher Representing the Knowledge of a Robot. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Chomicki , Jorge Lobo , Shamim A. Naqvi A Logic Programming Approach to Conflict Resolution in Policy Management. [Citation Graph (0, 0)][DBLP ] Conf ] Sébastien Konieczny On the Difference between Merging Knowledge Bases and Combining them. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Liberatore , Marco Schaerf BReLS: A System for the Integration of Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Pedrito Maynard-Reid II , Daniel J. Lehmann Representing and Aggregating Conflicting Beliefs. [Citation Graph (0, 0)][DBLP ] Conf ] Fangzhen Lin On Strongest Necessary and Weakest Sufficient Conditions. [Citation Graph (0, 0)][DBLP ] Conf ] Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi Containment of Conjunctive Regular Path Queries with Inverse. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio Massacci Reduction rules and universal variables for first order tableaux and DPLL. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Voronkov Deciding K using inverse-K. [Citation Graph (0, 0)][DBLP ] Conf ] Yousri El Fattah , Mark A. Peot A Compositional Structured Query Approach to Automated Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Philipp M. Yelland An Alternative Combination of Bayesian Networks and Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Nahla Ben Amor , Salem Benferhat , Didier Dubois , Hector Geffner , Henri Prade Independence in qualitative uncertainty frameworks. [Citation Graph (0, 0)][DBLP ] Conf ] Isabelle Bloch Spatial representation of spatial relationship knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader , Ralf Küsters Matching Concept Descriptions with Existential Restrictions. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Haarslev , Ralf Möller Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Horrocks , Stephan Tobies Reasoning with Axioms: Theory and Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader , Ralf Küsters , Ralf Molitor Rewriting Concepts Using Terminologies. [Citation Graph (0, 0)][DBLP ] Conf ] Chitta Baral , Sheila A. McIlraith , Tran Cao Son Formulating diagnostic problem solving using an action language with narratives and sensing. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Verberne , Frank van Harmelen , Annette ten Teije Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation. [Citation Graph (0, 0)][DBLP ] Conf ] Gianfranco Lamperti , Marina Zanella Generation of Diagnostic Knowledge by Discrete-Event Model Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Renata Wassermann An Algorithm for Belief Revision. [Citation Graph (0, 0)][DBLP ] Conf ] Haythem O. Ismail , Stuart C. Shapiro Two Problems with Reasoning and Acting in Time. [Citation Graph (0, 0)][DBLP ] Conf ] Edjard Mota Cyclical and Granular Time Theories as Subsets of the Herbrand Universe. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Balbiani , Aomar Osmani A Model for Reasoning about Topologic Relations between cyclic intervals. [Citation Graph (0, 0)][DBLP ] Conf ] Eyal Amir , Sheila A. McIlraith Partition-Based Logical Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Besnard , Torsten Schaub Significant Inferences : Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Tomi Janhunen , Ilkka Niemelä , Patrik Simons , Jia-Huai You Unfolding Partiality and Disjunctions in Stable Model Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Chad M. Cumby , Dan Roth Relational Representations that Facilitate Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Biso , Francesca Rossi , Alessandro Sperduti Experimental Results on Learning Soft Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Hélène Fargier , Jérôme Lang , Pierre Marquis Propositional Logic and One-Stage Decision Making. [Citation Graph (0, 0)][DBLP ] Conf ] Celine Lafage , Jérôme Lang Logical representation of preferences for group decision making. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Chalupsky OntoMorph: A Translation System for Symbolic Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Deborah L. McGuinness , Richard Fikes , James Rice , Steve Wilder An Environment for Merging and Testing Large Ontologies. [Citation Graph (0, 0)][DBLP ] Conf ] Nestor Rychtyckyj , Robert G. Reynolds Long-Term Maintanability of Deployed Knowledge Representation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Würbel , Robert Jeansoulin , Odile Papini Revision: an application in the framework of GIS. [Citation Graph (0, 0)][DBLP ] Conf ] John McCarthy Approximate Objects and Approximate Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Shapiro , Maurice Pagnucco , Yves Lespérance , Hector J. Levesque Iterated Belief Change in the Situation Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Mihai Ciocoiu , Dana S. Nau Ontology-Based Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Angelo Montanari , Alberto Policriti , Matteo Slanina Supporting automated deduction in first-order modal logics. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Vidal Controllability characterization and checking in Contingent Temporal Constraint Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-François Condotta The Augmented Interval and Rectangle Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Robert A. Morris , Paul H. Morris On the complexity of reasoning about repeating events. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Clark , John Thompson , Bruce W. Porter Knowledge Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Schulz , Udo Hahn Knowledge Engineering by Large-Scale Knowledge Reuse - Experience from the Medical Domain. [Citation Graph (0, 0)][DBLP ] Conf ] Hasan M. Jamil A Logic Based Language for Parametric Inheritance. [Citation Graph (0, 0)][DBLP ] Conf ] Jérôme Lang , Pierre Marquis In search of the right extension. [Citation Graph (0, 0)][DBLP ] Conf ] Ramón Pino Pérez , Carlos Uzcátegui Ordering explanations and the structural rules for abduction. [Citation Graph (0, 0)][DBLP ] Conf ] Zhaohui Zhu , Ben Li , Shifu Chen , Wujia Zhu Valuation-ranked preferential model. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Giunchiglia Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Martin , Hector Geffner Learning Generalized Policies in Planning Using Concept Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Iocchi , Daniele Nardi , Riccardo Rosati Planning with sensing, concurrency, and exogenous events: logical framework and implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew L. Ginsberg , Andrew J. Parkes Satisfiability Algorithms and Finite Quantification. [Citation Graph (0, 0)][DBLP ] Conf ] Richmond H. Thomason Desires and Defaults: A Framework for Planning with Inferred Goals. [Citation Graph (0, 0)][DBLP ] Conf ] Adam Pease , Vinay K. Chaudhri , Fritz Lehmann , Adam Farquhar Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project. [Citation Graph (0, 0)][DBLP ] Conf ] Leora Morgenstern , Richmond H. Thomason Teaching Knowledge Representation: Challenges and Proposals. [Citation Graph (0, 0)][DBLP ] Conf ] 