Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marcello Balduccini, Sara Girotto |
Formalizing Psychological Knowledge in Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Guohui Xiao 0001, Zuoquan Lin, Yue Ma 0009, Guilin Qi |
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Boris Konev, Carsten Lutz, Denis K. Ponomaryov, Frank Wolter |
Decomposing Description Logic Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Claudio Masolo |
Understanding Ontological Levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Daniele Porello, Ulle Endriss |
Modelling Combinatorial Auctions in Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber |
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Wolfgang Dvorák, Reinhard Pichler, Stefan Woltran |
Towards Fixed-Parameter Tractable Algorithms for Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Ofer Arieli, Arnon Avron, Anna Zamansky |
Maximally Paraconsistent Three-Valued Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Ofer Arieli |
On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Carsten Lutz, Lutz Schröder |
Probabilistic Description Logics for Subjective Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Guillaume Aucher |
Characterizing Updates in Dynamic Epistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce |
Situation Calculus Based Programs for Representing and Reasoning about Game Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Bernardo Cuenca Grau, Boris Motik |
Pushing the Limits of Reasoning over Ontologies with Hidden Content. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Yuxiao Hu 0002, Hector J. Levesque |
A Correctness Result for Reasoning about One-Dimensional Planning Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Michael Thielscher |
Integrating Action Calculi and AgentSpeak: Closing the Gap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, João Moura 0001 |
Paracoherent Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Chitta Baral |
Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Agata Ciabattoni, Pavel Rusnok |
On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Yan Zhang, Yi Zhou |
On the Progression Semantics and Boundedness of Answer Set Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Stuart C. Shapiro |
Set-Oriented Logical Connectives: Syntax and Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
Query and Predicate Emptiness in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Emilia Oikarinen, Stefan Woltran |
Characterizing Strong Equivalence for Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski (eds.) |
Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![AAAI Press The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Ganesh Ram Santhanam, Samik Basu 0001, Vasant G. Honavar |
Efficient Dominance Testing for Unconditional Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Martin Magnusson 0001, Patrick Doherty 0001 |
Deductive Planning with Inductive Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 528-534, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Loizos Michael, Leslie G. Valiant |
A First Experimental Demonstration of Massive Knowledge Infusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 378-389, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Philippe Balbiani |
Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 695-704, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Gabriele Kern-Isberner |
Linking Iterated Belief Change Operations to Nonmonotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 166-176, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
Can You Tell the Difference Between DL-Lite Ontologies?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 285-295, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Patrick Doherty 0001, Andrzej Szalas |
Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 560-570, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Boris Motik, Bernardo Cuenca Grau, Ian Horrocks 0001, Ulrike Sattler |
Representing Structured Objects using Description Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 296-306, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Fangzhen Lin, Yisong Wang |
Answer Set Programming with Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 454-465, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Ivan José Varzinczak |
Action Theory Erasure and Minimal Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 651-661, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Diego C. Martínez, Alejandro Javier García, Guillermo Ricardo Simari |
An Abstract Argumentation Framework with Varied-Strength Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 135-144, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Ronen I. Brafman |
Preferences, Planning and Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 2-5, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Jochen Renz, Jason Jingshi Li |
Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 715-723, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Francesco Belardinelli, Alessio Lomuscio |
A Complete First-Order Logic of Knowledge and Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 705-714, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Katarina Britz, Johannes Heidema, Thomas Andreas Meyer |
Semantic Preferential Subsumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 476-484, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo |
Behavior Composition in the Presence of Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 640-650, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Ronen I. Brafman |
Relational Preference Rules for Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 552-559, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Ana Casali, Lluís Godo, Carles Sierra |
A Logical Framework to Represent and Reason about Graded Preferences and Intentions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 27-37, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Alessandro Artale, Nicola Guarino, C. Maria Keet |
Formalising Temporal Constraints on Part-Whole Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 673-683, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Maria Vanina Martinez, Francesco Parisi, Andrea Pugliese 0001, Gerardo I. Simari, V. S. Subrahmanian |
Inconsistency Management Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 367-377, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Birte Glimm, Ian Horrocks 0001, Ulrike Sattler |
Unions of Conjunctive Queries in SHOQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 252-262, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran |
Belief Revision of Logic Programs under Answer Set Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 411-421, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Jos de Bruijn, Thomas Eiter, Hans Tompits |
Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 485-495, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Ron van der Meyden |
On Notions of Causality and Distributed Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 209-219, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Alexander Bochman |
Default Theory of Defeasible Entailment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 466-475, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Torsten Hahmann, Michael Gruninger |
Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 263-273, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Joel Uckelman, Ulle Endriss |
Preference Modeling by Weighted Goals with Max Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 579-588, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Meghyn Bienvenu |
Complexity of Abduction in the EL Family of Lightweight Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 220-230, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe |
Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 81-91, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Natasha Alechina, Mehdi Dastani, Brian Logan 0001, John-Jules Ch. Meyer |
Reasoning about Agent Deliberation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 16-26, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Sébastien Konieczny, Ramón Pino Pérez |
Improvement Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 177-187, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati 0001 |
View-Based Query Answering over Description Logic Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 242-251, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub |
Conflict-Driven Disjunctive Answer Set Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 422-432, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Claudette Cayrol, Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex |
Revision of an Argumentation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 124-134, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque |
First-Order Strong Progression for Local-Effect Basic Action Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 662-672, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Jussi Rintanen |
Planning Graphs and Propositional Clause-Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 535-543, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | James P. Delgrande |
Horn Clause Belief Change: Contraction Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 156-165, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Gabriele Röger, Malte Helmert, Bernhard Nebel |
On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 544-550, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Lutz Schröder, Dirk Pattinson |
How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 307-317, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Joohyung Lee 0002, Yunsong Meng |
On Loop Formulas with Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 444-453, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Gerhard Brewka, Jérôme Lang (eds.) |
Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![AAAI Press, 978-1-57735-384-3 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Florence Dupin de Saint-Cyr |
Scenario Update Applied to Causal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 188-197, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Nathalie Chetcuti-Sperandio, Sylvain Lagrue |
How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 340-347, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Gerardo I. Simari, Matthias Broecheler, V. S. Subrahmanian, Sarit Kraus |
Promises Kept, Promises Broken: An Axiomatic and Quantitative Treatment of Fulfillment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 59-69, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio |
A Principled Framework for Modular Web Rule Bases and Its Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 390-400, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Ronald P. A. Petrick |
Cartesian Situations and Knowledge Decomposition in the Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 629-639, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Richard Booth 0001, Thomas Andreas Meyer |
Equilibria in Social Belief Removal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 145-155, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable, Toby Walsh |
Dealing with Incomplete Agents' Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority Voting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 571-578, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Andrea Calì, Georg Gottlob, Michael Kifer |
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 70-80, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Timothy L. Hinrichs, Michael R. Genesereth |
Injecting the How into the What: Investigating a Finite Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 92-192, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Patricia Everaere, Sébastien Konieczny, Pierre Marquis |
Conflict-Based Merging Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 348-357, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Christian Fritz 0001, Jorge A. Baier, Sheila A. McIlraith |
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 600-610, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001 |
Path-Based Identification Constraints in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 231-241, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Emiliano Lorini, Dominique Longin |
A Logical Account of Institutions: From Acceptances to Norms via Legislators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 38-48, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Anthony Hunter, Sébastien Konieczny |
Measuring Inconsistency through Minimal Inconsistent Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 358-366, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Joseph Y. Halpern |
Beyond Nash Equilibrium: Solution Concepts for the 21st Century. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 6-15, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Safa Yahi, Salem Benferhat, Sylvain Lagrue, Mariette Sérayet, Odile Papini |
A Lexicographic Inference for Partially Preordered Belief Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 507-517, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Ryan F. Kelly, Adrian R. Pearce |
Complex Epistemic Modalities in the Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 611-620, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Yevgeny Kazakov |
RIQ and SROIQ Are Harder than SHOIQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 274-284, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | David Toman 0001, Grant E. Weddell |
Identifying Objects Over Time with Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 724-732, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Johan Wittocx, Maarten Mariën, Marc Denecker |
Approximate Reasoning in First-Order Logic Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 103-112, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Fangzhen Lin |
Proving Goal Achievability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 621-628, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Arnold Binas, Sheila A. McIlraith |
Peer-to-Peer Query Answering with Inconsistent Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 329-339, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Wolfgang Faber 0001, Hans Tompits, Stefan Woltran |
Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 433-443, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Espen H. Lian, Arild Waaler |
Computing Default Extensions by Reductions on OR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 496-506, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Ramaswamy Ramanujam, Sunil Easaw Simon |
Dynamic Logic on Games with Structured Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 49-58, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Patrick Eyerich, Michael Brenner 0001, Bernhard Nebel |
On the Complexity of Planning Operator Subsumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 518-527, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Leila Amgoud, Yannis Dimopoulos, Pavlos Moraitis |
Making Decisions through Preference-Based Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 113-123, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Jens Claßen, Gerhard Lakemeyer |
A Logic for Non-Terminating Golog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 589-599, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Nwe Ni Tun, Jin Song Dong |
Ontology Generation through the Fusion of Partial Reuse and Relation Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 318-328, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Joseph Y. Halpern |
Defaults and Normality in Causal Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 198-208, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Franz Baader, Silvio Ghilardi, Carsten Lutz |
LTL over Description Logic Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 684-694, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Xiaoping Chen, Jianmin Ji, Fangzhen Lin |
Computing Loops with at Most One External Support Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 401-410, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Yann Chevaleyre, Ulle Endriss, Jérôme Lang |
Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006, pp. 145-152, 2006, AAAI Press, 978-1-57735-271-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque |
On the Limits of Planning over Belief States under Strict Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006, pp. 463-471, 2006, AAAI Press, 978-1-57735-271-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001 |
Data Complexity of Query Answering in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006, pp. 260-270, 2006, AAAI Press, 978-1-57735-271-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Marco Ragni, Stefan Wölfl 0001 |
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006, pp. 472-480, 2006, AAAI Press, 978-1-57735-271-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|