The SCEAS System
Navigation Menu

Conferences in DBLP

Principles of Knowledge Representation and Reasoning (KR) (kr)
2004 (conf/kr/2004)

  1. John Bell
    Causation and Causal Conditionals. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:2-11 [Conf]
  2. Joseph Y. Halpern
    Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:12-22 [Conf]
  3. Thomas Lukasiewicz
    Weak Nonmonotonic Probabilistic Logics. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:23-33 [Conf]
  4. Gabriele Kern-Isberner, Jens Fisseler
    Knowledge Discovery by Reversing Inductive Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:34-44 [Conf]
  5. Antony Galton
    Multidimensional Mereotopology. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:45-54 [Conf]
  6. Stefan Schulz, Udo Hahn
    Parthood as Spatial Inclusion - Evidence from biomedical Conceptualizations. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:55-63 [Conf]
  7. Murray Shanahan, David Randell
    A Logic-Based Formulation of Active Visual Perception. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:64-72 [Conf]
  8. Fiora Pirri
    Indoor Environment Classification and Perceptual Matching. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:73-84 [Conf]
  9. Fusun Yaman, Dana S. Nau, V. S. Subrahmanian
    A Logic of Motion. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:85-94 [Conf]
  10. Jean-François Condotta, Gérard Ligozat
    Axiomatizing the Cyclic Interval Calculus. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:95-105 [Conf]
  11. Marc Denecker
    What's in a Model? Epistemological Analysis of Logic Programming. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:106-113 [Conf]
  12. James Matthew Fielding, Jonathan Simon, Werner Ceusters, Barry Smith
    Ontological Theory for Ontological Engineering: Biomedical Systems Information Integration. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:114-120 [Conf]
  13. Joseph Y. Halpern
    Intransitivity and Vagueness. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:121-129 [Conf]
  14. Salem Benferhat, Jean-François Bonnefon, Rui Da Silva Neves
    An Experimental Analysis of Possibilistic Default Reasoning. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:130-140 [Conf]
  15. Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits
    Combining Answer Set Programming with Description Logics for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:141-151 [Conf]
  16. Ullrich Hustadt, Boris Motik, Ulrike Sattler
    Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:152-162 [Conf]
  17. Volker Haarslev, Ralf Möller
    Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:163-174 [Conf]
  18. Leila Amgoud, Henri Prade
    Reaching Agreement Through Argumentation: A Possibilistic Approach. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:175-182 [Conf]
  19. Philippe Besnard, Sylvie Doutre
    Characterization of Semantics for Argument Systems. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:183-193 [Conf]
  20. Leila Amgoud, Claudette Cayrol
    On the Use of an ATMS for Handling Conflicting Desires. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:194-202 [Conf]
  21. Sylvie Coste-Marquis, Jérôme Lang, Paolo Liberatore, Pierre Marquis
    Expressive Power and Succinctness of Propositional Languages for Preference Representation. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:203-212 [Conf]
  22. Gerhard Brewka
    Complex Preferences for Answer Set Optimization. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:213-223 [Conf]
  23. Christophe Gonzales, Patrice Perny
    GAI Networks for Utility Elicitation. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:224-234 [Conf]
  24. Ernest Davis
    A First-Order Theory of Communicating First-Order Formulas. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:235-245 [Conf]
  25. Bình Vu Trân, James Harland, Margaret Hamilton
    Observation Expectation Reasoning in Agent Systems. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:246-254 [Conf]
  26. Guido Boella, Leendert W. N. van der Torre
    Regulative and Constitutive Norms in Normative Multiagent Systems. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:255-266 [Conf]
  27. Claudio Masolo, Laure Vieu, Emanuele Bottazzi, Carola Catenacci, Roberta Ferrario, Aldo Gangemi, Nicola Guarino
    Social Roles and their Descriptions. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:267-277 [Conf]
  28. Ken Kaneiwa, Riichiro Mizoguchi
    Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:278-288 [Conf]
  29. Pawel Garbacz
    The Four Dimensions of Artifacts. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:289-299 [Conf]
  30. Carola Eschenbach
    How to Interweave Knowledge about Object Structure and Concepts. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:300-310 [Conf]
  31. Thomas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang
    Logical Foundations of Negotiation: Strategies and Preferences. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:311-318 [Conf]
  32. Pavlos Peppas, Samir Chopra, Norman Y. Foo
    Distance Semantics for Relevance-Sensitive Belief Revision. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:319-328 [Conf]
  33. Isabelle Bloch, Ramón Pino Pérez, Carlos Uzcátegui
    A Unified Treatment for Knowledge Dynamics. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:329-337 [Conf]
  34. Boris Mailhé, Henri Prade
    Updating of a Possibilistic Knowledge Base by Crisp or Fuzzy Transition Rules. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:338-347 [Conf]
  35. Guilin Qi, Weiru Liu, David H. Glass
    A Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:348-356 [Conf]
  36. Patricia Everaere, Sébastien Konieczny, Pierre Marquis
    On Merging Strategy-Proofness. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:357-368 [Conf]
  37. Luciano Serafini, Floris Roelofsen
    Satisfiability for Propositional Contexts. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:369-376 [Conf]
  38. Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran
    Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:377-387 [Conf]
  39. Marco Cadoli, Toni Mancini
    Automated Reformulation of Specifications by Safe Delay of Constraints. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:388-398 [Conf]
  40. Perry Groot, Annette ten Teije, Frank van Harmelen
    Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:399-406 [Conf]
  41. Jean-François Baget
    Improving the Forward Chaining Algorithm for Conceptual Graphs Rules. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:407-414 [Conf]
  42. Gregory M. Provan
    Inferential Complexity Control for Model-Based Abduction. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:415-426 [Conf]
  43. Alexander Bochman
    A Causal Logic of Logic Programming. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:427-437 [Conf]
  44. Luc De Raedt, Jan Ramon
    Condensed Representations for Inductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:438-446 [Conf]
  45. Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
    On Eliminating Disjunctions in Stable Logic Programming. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:447-458 [Conf]
  46. Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz
    Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:459-468 [Conf]
  47. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
    What to Ask to a Peer: Ontolgoy-based Query Reformulation. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:469-478 [Conf]
  48. Clinton Smyth, David Poole
    Qualitative Probabilistic Matching with Hierarchical Descriptions. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:479-487 [Conf]
  49. 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. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:488-497 [Conf]
  50. Youngja Park
    GlossOnt: A Concept-focused Ontology Building Tool. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:498-506 [Conf]
  51. Noah S. Friedland, Paul G. Allen, Michael J. 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. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:507-515 [Conf]
  52. Gerhard Lakemeyer, Hector J. Levesque
    Situations, Si! Situation Terms, No! [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:516-526 [Conf]
  53. Andreas Herzig, Dominique Longin
    C&L Intention Revisited. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:527-535 [Conf]
  54. Fangzhen Lin
    Discovering State Invariants. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:536-544 [Conf]
  55. Marc Denecker, Eugenia Ternovska
    Inductive Situation Calculus. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:545-553 [Conf]
  56. Nam Tran, Chitta Baral
    Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:554-564 [Conf]
  57. Stuart C. Shapiro
    A Logic of Arbitrary and Indefinite Objects. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:565-575 [Conf]
  58. Kaile Su, Guanfeng Lv, Yan Zhang
    Reasoning about Knowledge by Variable Forgetting. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:576-586 [Conf]
  59. Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
    A Logic of Limited Belief for Reasoning with Disjunctive Information. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:587-597 [Conf]
  60. Eric Pacuit, Samer Salame
    Majority Logic. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:598-605 [Conf]
  61. Yi Zhou, Xiaoping Chen
    Partial Implication Semantics for Desirable Propositions. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:606-612 [Conf]
  62. Ronald P. A. Petrick, Fahiem Bacchus
    Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:613-622 [Conf]
  63. Yves Martin, Iman Narasamdya, Michael Thielscher
    Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:623-633 [Conf]
  64. Alfredo Gabaldon
    Precondition Control and the Progression Algorithm. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:634-643 [Conf]
  65. Jérôme Lang
    A Preference-Based Interpretation of Other Agents' Actions. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:644-653 [Conf]
  66. Anthony Barrett
    From Hybrid Systems to Universal Plans Via Domain Compilation. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:654-661 [Conf]
  67. Hector Geffner
    Planning Graphs and Knowledge Compilation. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:662-672 [Conf]
  68. James P. Delgrande, Torsten Schaub, Hans Tompits
    Domain-Specific Preferences for Causal Reasoning and Planning. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:673-682 [Conf]
  69. Hanna Pasula, Luke S. Zettlemoyer, Leslie Pack Kaelbling
    Learning Probabilistic Relational Planning Rules. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:683-691 [Conf]
  70. Weixiong Zhang, Xiaotao Zhang
    An Improved Integer Local Search for Complex Scheduling Problems. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:692-700 [Conf]
  71. Rong Zhou, Eric A. Hansen
    Breadth-First Heuristic Search. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:701-709 [Conf]
  72. Jussi Rintanen
    Phase Transitions in Classical Planning: An Experimental Study. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:710-719 [Conf]
  73. Chitta Baral, Thomas Eiter
    A Polynomial-Time Algorithm for Constructing k-Maintainable Policies. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:720-730 [Conf]
  74. Patrick Doherty
    Advanced Research with Autonomous Unmanned Aerial Vehicles. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:731-732 [Conf]
  75. Itzhak Gilboa, David Schmeidler
    Evidence and Belief. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:733-734 [Conf]
  76. Peter F. Patel-Schneider
    What Is OWL (and Why Should I Care)? [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:735-737 [Conf]
  77. John McCarthy
    Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:738-739 [Conf]
  78. William A. Woods
    Meaning and Links: A Semantic Odyssey. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:740-742 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002