default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th KR 2004: Whistler, Canada
- Didier Dubois, Christopher A. Welty, Mary-Anne Williams:
Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004. AAAI Press 2004, ISBN 1-57735-199-1
Conditioning and Conditional Logics
- John Bell:
Causation and Causal Conditionals. 2-11 - Joseph Y. Halpern:
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. 12-22 - Thomas Lukasiewicz:
Weak Nonmonotonic Probabilistic Logics. 23-33 - Gabriele Kern-Isberner, Jens Fisseler:
Knowledge Discovery by Reversing Inductive Knowledge Representation. 34-44
Spatial Reasoning
- Antony Galton:
Multidimensional Mereotopology. 45-54 - Stefan Schulz, Udo Hahn:
Parthood as Spatial Inclusion - Evidence from biomedical Conceptualizations. 55-63 - Murray Shanahan, David A. Randell:
A Logic-Based Formulation of Active Visual Perception. 64-72 - Fiora Pirri:
Indoor Environment Classification and Perceptual Matching. 73-84
Space and Time
- Fusun Yaman, Dana S. Nau, V. S. Subrahmanian:
A Logic of Motion. 85-94 - Jean-François Condotta, Gérard Ligozat:
Axiomatizing the Cyclic Interval Calculus. 95-105
Philosophical and Psychological Issues
- Marc Denecker:
What's in a Model? Epistemological Analysis of Logic Programming. 106-113 - James Matthew Fielding, Jonathan Simon, Werner Ceusters, Barry Smith:
Ontological Theory for Ontological Engineering: Biomedical Systems Information Integration. 114-120 - Joseph Y. Halpern:
Intransitivity and Vagueness. 121-129 - Salem Benferhat, Jean-François Bonnefon, Rui Da Silva Neves:
An Experimental Analysis of Possibilistic Default Reasoning. 130-140
Description Logics
- Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits:
Combining Answer Set Programming with Description Logics for the Semantic Web. 141-151 - Ullrich Hustadt, Boris Motik, Ulrike Sattler:
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. 152-162 - Volker Haarslev, Ralf Möller:
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. 163-174
Argumentation
- Leila Amgoud, Henri Prade:
Reaching Agreement Through Argumentation: A Possibilistic Approach. 175-182 - Philippe Besnard, Sylvie Doutre:
Characterization of Semantics for Argument Systems. 183-193 - Leila Amgoud, Claudette Cayrol:
On the Use of an ATMS for Handling Conflicting Desires. 194-202
Compact Representations of Preference
- Sylvie Coste-Marquis, Jérôme Lang, Paolo Liberatore, Pierre Marquis:
Expressive Power and Succinctness of Propositional Languages for Preference Representation. 203-212 - Gerhard Brewka:
Complex Preferences for Answer Set Optimization. 213-223 - Christophe Gonzales, Patrice Perny:
GAI Networks for Utility Elicitation. 224-234
Agents
- Ernest Davis:
A First-Order Theory of Communicating First-Order Formulas. 235-245 - Bình Vu Trân, James Harland, Margaret Hamilton:
Observation Expectation Reasoning in Agent Systems. 246-254 - Guido Boella, Leendert W. N. van der Torre:
Regulative and Constitutive Norms in Normative Multiagent Systems. 255-266
Ontology
- Claudio Masolo, Laure Vieu, Emanuele Bottazzi, Carola Catenacci, Roberta Ferrario, Aldo Gangemi, Nicola Guarino:
Social Roles and their Descriptions. 267-277 - Ken Kaneiwa, Riichiro Mizoguchi:
Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. 278-288 - Pawel Garbacz:
The Four Dimensions of Artifacts. 289-299 - Carola Eschenbach:
How to Interweave Knowledge about Object Structure and Concepts. 300-310
Belief Revision and Update
- Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang:
Logical Foundations of Negotiation: Strategies and Preferences. 311-318 - Pavlos Peppas, Samir Chopra, Norman Y. Foo:
Distance Semantics for Relevance-Sensitive Belief Revision. 319-328 - Isabelle Bloch, Ramón Pino Pérez, Carlos Uzcátegui:
A Unified Treatment for Knowledge Dynamics. 329-337 - Boris Mailhé, Henri Prade:
Updating of a Possibilistic Knowledge Base by Crisp or Fuzzy Transition Rules. 338-347
Merging Belief Bases
- Guilin Qi, Weiru Liu, David H. Glass:
A Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases. 348-356 - Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
On Merging Strategy-Proofness. 357-368
Complexity Analysis
- Luciano Serafini, Floris Roelofsen:
Satisfiability for Propositional Contexts. 369-376 - Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran:
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. 377-387 - Marco Cadoli, Toni Mancini:
Automated Reformulation of Specifications by Safe Delay of Constraints. 388-398 - Perry Groot, Annette ten Teije, Frank van Harmelen:
Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification. 399-406 - Jean-François Baget:
Improving the Forward Chaining Algorithm for Conceptual Graphs Rules. 407-414 - Gregory M. Provan:
Inferential Complexity Control for Model-Based Abduction. 415-426
Logic Programming
- Alexander Bochman:
A Causal Logic of Logic Programming. 427-437 - Luc De Raedt, Jan Ramon:
Condensed Representations for Inductive Logic Programming. 438-446 - Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran:
On Eliminating Disjunctions in Stable Logic Programming. 447-458
Query Processing for Ontologies
- Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz:
Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. 459-468 - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
What to Ask to a Peer: Ontolgoy-based Query Reformulation. 469-478 - Clinton Smyth, David Poole:
Qualitative Probabilistic Matching with Hierarchical Descriptions. 479-487
Real Knowledge Representation Systems
- Ken Barker
, Vinay K. Chaudhri, Shaw Yi Chaw, Peter Clark, James Fan, David J. Israel, Sunil Mishra, Bruce W. Porter, Pedro Romero, Dan Tecuci, Peter Z. Yeh:
A Question-Answering System for AP Chemistry: Assessing KR&R Technologies. 488-497 - Youngja Park:
GlossOnt: A Concept-focused Ontology Building Tool. 498-506 - Noah S. Friedland, Paul G. Allen, Michael Witbrock, Gavin Matthews, Nancy Salay, Pierluigi Miraglia, Jürgen Angele, Steffen Staab, David J. Israel, Vinay K. Chaudhri, Bruce W. Porter, Ken Barker, Peter Clark:
Towards a Quantitative, Platform-Independent Analysis of Knowledge Systems. 507-515
Reasoning about Action
- Gerhard Lakemeyer, Hector J. Levesque:
Situations, Si! Situation Terms, No! 516-526 - Andreas Herzig, Dominique Longin:
C&L Intention Revisited. 527-535 - Fangzhen Lin:
Discovering State Invariants. 536-544 - Marc Denecker, Eugenia Ternovska:
Inductive Situation Calculus. 545-553 - Tran Hoai Nam, Chitta Baral:
Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells. 554-564
Knowledge Representation Logics
- Stuart C. Shapiro:
A Logic of Arbitrary and Indefinite Objects. 565-575 - Kaile Su, Guanfeng Lv, Yan Zhang:
Reasoning about Knowledge by Variable Forgetting. 576-586 - Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque:
A Logic of Limited Belief for Reasoning with Disjunctive Information. 587-597 - Eric Pacuit, Samer Salame:
Majority Logic. 598-605 - Yi Zhou, Xiaoping Chen:
Partial Implication Semantics for Desirable Propositions. 606-612
Knowledge Representation and Planning
- Ronald P. A. Petrick, Fahiem Bacchus:
Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. 613-622 - Yves Martin, Iman Narasamdya, Michael Thielscher:
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. 623-633 - Alfredo Gabaldon:
Precondition Control and the Progression Algorithm. 634-643 - Jérôme Lang:
A Preference-Based Interpretation of Other Agents' Actions. 644-653 - Anthony Barrett:
From Hybrid Systems to Universal Plans Via Domain Compilation. 654-661 - Hector Geffner:
Planning Graphs and Knowledge Compilation. 662-672 - James P. Delgrande, Torsten Schaub, Hans Tompits:
Domain-Specific Preferences for Causal Reasoning and Planning. 673-682 - Hanna Pasula, Luke S. Zettlemoyer, Leslie Pack Kaelbling:
Learning Probabilistic Relational Planning Rules. 683-691 - Weixiong Zhang, Xiaotao Zhang:
An Improved Integer Local Search for Complex Scheduling Problems. 692-700 - Rong Zhou, Eric A. Hansen:
Breadth-First Heuristic Search. 701-709 - Jussi Rintanen:
Phase Transitions in Classical Planning: An Experimental Study. 710-719 - Chitta Baral, Thomas Eiter:
A Polynomial-Time Algorithm for Constructing k-Maintainable Policies. 720-730
Invited Keynote Presentations
- Patrick Doherty:
Advanced Research with Autonomous Unmanned Aerial Vehicles. 731-732 - Itzhak Gilboa, David Schmeidler:
Evidence and Belief. 733-734 - Peter F. Patel-Schneider:
What Is OWL (and Why Should I Care)? 735-737
Great Moments in Knowledge Representation Series
- John McCarthy:
Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription. 738-739 - William A. Woods:
Meaning and Links: A Semantic Odyssey. 740-742
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-19 00:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
