The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Jon Doyle
    On Mechanization of Thought Processes (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:2- [Conf]
  2. David Maier, Alon Y. Halevy, Michael J. Franklin
    Dataspaces: Co-existence with Heterogeneity. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:3- [Conf]
  3. Alan L. Rector
    Users Are Always Right ... Even When They Are Wrong: Making Knowledge Representation Useful and Usable. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:4- [Conf]
  4. Joseph Y. Halpern, Leandro Chaves Rêgo
    Reasoning about Knowledge of Unawareness. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:6-13 [Conf]
  5. Lawrence E. Blume, David A. Easley, Joseph Y. Halpern
    Redoing the Foundations of Decision Theory. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:14-24 [Conf]
  6. Pedro Cabalar, Sergei P. Odintsov, David Pearce
    Logical Foundations of Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:25-35 [Conf]
  7. Brandon Bennett
    A Theory of Vague Adjectives Grounded in Relevant Observables. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:36-45 [Conf]
  8. Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
    Updating Description Logic ABoxes. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:46-56 [Conf]
  9. Ian Horrocks, Oliver Kutz, Ulrike Sattler
    The Even More Irresistible SROIQ. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:57-67 [Conf]
  10. Riccardo Rosati
    DL+log: Tight Integration of Description Logics and Disjunctive Datalog. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:68-78 [Conf]
  11. Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema
    Definitorially Complete Description Logics. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:79-89 [Conf]
  12. Evren Sirin, Bernardo Cuenca Grau, Bijan Parsia
    From Wine to Water: Optimizing Description Logic Reasoning for Nominals. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:90-99 [Conf]
  13. Scott Sanner, Sheila A. McIlraith
    An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:100-111 [Conf]
  14. Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
    Constrained Argumentation Frameworks. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:112-122 [Conf]
  15. Philippe Besnard, Anthony Hunter
    Knowledgebase Compilation for Efficient Logical Argumentation. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:123-133 [Conf]
  16. Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith
    Planning with Qualitative Temporal Preferences. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:134-144 [Conf]
  17. Yann Chevaleyre, Ulle Endriss, Jérôme Lang
    Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:145-152 [Conf]
  18. Christian Fritz, Sheila A. McIlraith
    Decision-Theoretic GOLOG with Qualitative Preferences. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:153-163 [Conf]
  19. Thomas Lukasiewicz, Jörg Schellhase
    Variable-Strength Conditional Preferences for Matchmaking in Description Logics. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:164-174 [Conf]
  20. Didier Dubois, Hélène Fargier
    Qualitative Decision Making with Bipolar Information. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:175-186 [Conf]
  21. Silvio Ghilardi, Carsten Lutz, Frank Wolter
    Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:187-197 [Conf]
  22. Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur
    Modularity and Web Ontologies. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:198-209 [Conf]
  23. James P. Delgrande, Didier Dubois, Jérôme Lang
    Iterated Revision as Prioritized Merging. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:210-220 [Conf]
  24. Benoit Gaudou, Andreas Herzig, Dominique Longin
    Grounding and the Expression of Belief. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:221-229 [Conf]
  25. Richard Booth, Thomas Meyer, Ka-Shu Wong
    A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:230-238 [Conf]
  26. Jonathan Ben-Naim
    Lack of Finite Characterizations for the Distance-Based Revision. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:239-248 [Conf]
  27. Anthony Hunter, Sébastien Konieczny
    Shapley Inconsistency Values. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:249-259 [Conf]
  28. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
    Data Complexity of Query Answering in Description Logics. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:260-270 [Conf]
  29. Madalina Croitoru, Ernesto Compatangelo
    A Tree Decomposition Algorithm for Conceptual Graph Projection. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:271-276 [Conf]
  30. Michael Wachter, Rolf Haenni
    Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:277-285 [Conf]
  31. Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis
    Representing Policies for Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:286-297 [Conf]
  32. Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang
    First-Order Loop Formulas for Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:298-307 [Conf]
  33. Yan Zhang
    Computational Properties of Epistemic Logic Programs. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:308-317 [Conf]
  34. Jens Claßen, Gerhard Lakemeyer
    Foundations for Knowledge-Based Programs using ES. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:318-318 [Conf]
  35. Umberto Straccia
    Query Answering under the Any-World Assumption for Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:329-339 [Conf]
  36. Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
    Replacements in Non-Ground Answer-Set Programming. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:340-351 [Conf]
  37. David Randell, Mark Witkowski
    Abductive Visual Perception with Feature Clouds. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:352-361 [Conf]
  38. Michael Thielscher, Thomas Witkowski
    The Features-and-Fluents Semantics for the Fluent Calculus. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:362-370 [Conf]
  39. Victor Jauregui
    Semantical Considerations for a Logic of Actions: An Imperative Manifesto. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:371-376 [Conf]
  40. Selim T. Erdogan, Vladimir Lifschitz
    Actions as Special Cases. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:377-388 [Conf]
  41. Miroslaw Truszczynski
    Strong and Uniform Equivalence of Nonmonotonic Theories - An Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:389-399 [Conf]
  42. Piero A. Bonatti, Carsten Lutz, Frank Wolter
    Description Logics with Circumscription. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:400-410 [Conf]
  43. Thomas Ågotnes, Natasha Alechina
    Semantics for Dynamic Syntactic Epistemic Logics. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:411-419 [Conf]
  44. Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner
    Probabilistic Abduction without Priors. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:420-430 [Conf]
  45. Anna Zamansky, Arnon Avron
    Non-Deterministic Semantics for First-Order Paraconsistent Logics. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:431-439 [Conf]
  46. Florence Dupin de Saint-Cyr, Henri Prade
    Possibilistic Handling of Uncertain Default Rules with Applications to Persistence Modeling and Fuzzy Default Reasoning. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:440-451 [Conf]
  47. Blai Bonet, Hector Geffner
    Heuristics for Planning with Penalties and Rewards using Compiled Knowledge. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:452-462 [Conf]
  48. Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
    On the Limits of Planning over Belief States under Strict Uncertainty. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:463-471 [Conf]
  49. Marco Ragni, Stefan Wölfl
    Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:472-480 [Conf]
  50. Tran Cao Son, Phan Huy Tu
    On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:481-491 [Conf]
  51. Jorge A. Baier, Sheila A. McIlraith
    On Planning with Programs that Sense. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:492-502 [Conf]
  52. Robert Feldmann, Gerhard Brewka, Sandro Wenzel
    Planning with Prioritized Goals. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:503-514 [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