Conferences in DBLP
Murray Shanahan A Logical Account of Perception Incorporating Feedback and Expectation. [Citation Graph (0, 0)][DBLP ] Conf ] Shyamanta M. Hazarika , Anthony G. Cohn Abducing Qualitative Spatio-Temporal Histories from Partial Observations. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Randell , Mark Witkowski Building Large Composition Tables via Axiomatic Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Florence Le Ber , Amedeo Napoli Design and Comparison of Lattices of Topological Relations Based on Galois Lattice Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Thomas Lukasiewicz Complexity Results for Explanations in the Structural-Model Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Sylvie Coste-Marquis , Pierre Marquis Complexity Results for Paraconsistent Inference Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Lakemeyer Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Chitta Baral , Yan Zhang The Complexity of Model Checking for Knowledge Update. [Citation Graph (0, 0)][DBLP ] Conf ] Sébastien Konieczny , Jérôme Lang , Pierre Marquis Distance Based Merging: A General Framework and some Complexity Results. [Citation Graph (0, 0)][DBLP ] Conf ] Sébastien Konieczny , Ramón Pino Pérez On the Frontier between Arbitration and Majority. [Citation Graph (0, 0)][DBLP ] Conf ] Carmel Domshlak , Ronen I. Brafman CP-nets: Reasoning and Consistency Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Dubois , Hélène Fargier , Patrice Perny On the Limitations of Ordinal Approaches to Decision-making. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriele Kern-Isberner A Structural Approach to Default Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Brewka , Salem Benferhat , Daniel Le Berre Qualitative Choice Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Fangzhen Lin Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Denecker , V. Wiktor Marek , Miroslaw Truszczynski Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Carsten Lutz Adding Numbers to the SHIQ Description Logic: First Results. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Brandt , Ralf Küsters , Anni-Yasmin Turhan Approximation and Difference in Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Oliver Kutz , Frank Wolter , Michael Zakharyaschev Connecting Abstract Description Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Tessaris , Ian Horrocks , Graham Gough Evaluating a Modular Abox Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Jérôme Lang , Pierre Marquis Resolving Inconsistencies by Variable Forgetting. [Citation Graph (0, 0)][DBLP ] Conf ] Antonia Donà , Luciano Serafini Updating Contexts. [Citation Graph (0, 0)][DBLP ] Conf ] Matteo Cristani Many-Sorted Preference Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Jérôme Lang From Preference Representation to Combinatorial Vote. [Citation Graph (0, 0)][DBLP ] Conf ] Chitta Baral , Tran Cao Son , Le-Chi Tuan A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald P. A. Petrick , Hector J. Levesque Knowledge Equivalence in Combined Action Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Eyal Amir Projection in Decomposed Situation Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Paulo Mateus , António Pacheco , Javier Pinto Observations and the Probabilistic Situation Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory M. Provan A Model-Based Diagnosis Framework for Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Randy Batsell , Lyle Brenner , Daniel N. Osherson , Spyros Tsavachidis , Moshe Y. Vardi Eliminating Incoherence from Subjective Estimates of Chance. [Citation Graph (0, 0)][DBLP ] Conf ] Helena Sofia Andrade N. P. Pinto , João Pavão Martins Evolving Ontologies in Distributed and Dynamic Settings. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Booth Social Contraction and Belief Negotiation. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Schulz Necessary Parts and Wholes in Bio-Ontologies. [Citation Graph (0, 0)][DBLP ] Conf ] Brandon Bennett Physical Objects, Identity and Vagueness. [Citation Graph (0, 0)][DBLP ] Conf ] Adnan Darwiche A Logical Approach to Factoring Belief Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade Bipolar Representation and Fusion of Preferences on the Possibilistic Logic framework. [Citation Graph (0, 0)][DBLP ] Conf ] Martine de Calmès , Didier Dubois , Eyke Hüllermeier , Henri Prade , Florence Sedes A Fuzzy Approach to Flexible Case-based Querying: Methodology and Experimentation. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Michael Fink , Giuliana Sabbatini , Hans Tompits A Generic Approach for Knowledge-Based Information-Site Selection. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Winikoff , Lin Padgham , James Harland , John Thangarajah Declarative & Procedural Goals in Intelligent Agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sheila A. McIlraith , Tran Cao Son Adapting Golog for Composition of Semantic Web Services. [Citation Graph (0, 0)][DBLP ] Conf ] Florence Dupin de Saint-Cyr , Jérôme Lang Belief Extrapolation (or how to Reason About Observations and Unpredicted Change). [Citation Graph (0, 0)][DBLP ] Conf ] Mathias Broxvall Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Bittner Judgements about spatio-temporal relations. [Citation Graph (0, 0)][DBLP ] Conf ] Ullrich Hustadt , Renate A. Schmidt Scientific Benchmarking with Temporal Logic Decision Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Thom W. Frühwirth As Time Goes by: Automatic Complexity Analysis of Simplified Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Alina Beygelzimer , Irina Rish Inference Complexity as a Model-Selection Criterion for Learning Bayesian Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Balder ten Cate On the Logic of d-separation. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco M. Donini , Paolo Liberatore , Fabio Massacci , Marco Schaerf Solving QBF by SMV. [Citation Graph (0, 0)][DBLP ] Conf ] Diego Calvanese , Giuseppe De Giacomo , Moshe Y. Vardi Reasoning about Actions and Planning in LTL Action Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe De Giacomo , Yves Lespérance , Hector J. Levesque , Sebastian Sardiña On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] John McCarthy Actions and Other Events in Situation Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Gärdenfors The Role of Higher Order Similarity in Induction and Concept Formation. [Citation Graph (0, 0)][DBLP ] Conf ] James A. Hendler The Semantic Web: KR's Worst Nightmare?. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Nebel The Philosophical Soccer Player. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher A. Welty Panel: Are Upper-Level Ontologies Worth the Effort?. [Citation Graph (0, 0)][DBLP ] Conf ] 