| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marcello Balduccini, Sara Girotto |
Formalizing Psychological Knowledge in Answer Set Programming.  |
KR  |
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. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Carsten Lutz, Denis K. Ponomaryov, Frank Wolter |
Decomposing Description Logic Ontologies. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Claudio Masolo |
Understanding Ontological Levels. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Daniele Porello, Ulle Endriss |
Modelling Combinatorial Auctions in Linear Logic. |
KR |
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. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Dvorák, Reinhard Pichler, Stefan Woltran |
Towards Fixed-Parameter Tractable Algorithms for Argumentation. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ofer Arieli, Arnon Avron, Anna Zamansky |
Maximally Paraconsistent Three-Valued Logics. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ofer Arieli |
On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Lutz Schröder |
Probabilistic Description Logics for Subjective Uncertainty. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Guillaume Aucher |
Characterizing Updates in Dynamic Epistemic Logic. |
KR |
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. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Boris Motik |
Pushing the Limits of Reasoning over Ontologies with Hidden Content. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yuxiao Hu 0002, Hector J. Levesque |
A Correctness Result for Reasoning about One-Dimensional Planning Problems. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Thielscher |
Integrating Action Calculi and AgentSpeak: Closing the Gap. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, João Moura 0001 |
Paracoherent Answer Set Programming. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral |
Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract). |
KR |
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. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yan Zhang, Yi Zhou |
On the Progression Semantics and Boundedness of Answer Set Programs. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stuart C. Shapiro |
Set-Oriented Logical Connectives: Syntax and Semantics. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
Query and Predicate Emptiness in Description Logics. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Emilia Oikarinen, Stefan Woltran |
Characterizing Strong Equivalence for Argumentation Frameworks. |
KR |
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 |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ganesh Ram Santhanam, Samik Basu 0001, Vasant G. Honavar |
Efficient Dominance Testing for Unconditional Preferences. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Martin Magnusson 0001, Patrick Doherty 0001 |
Deductive Planning with Inductive Loops. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Loizos Michael, Leslie G. Valiant |
A First Experimental Demonstration of Massive Knowledge Infusion. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani |
Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner |
Linking Iterated Belief Change Operations to Nonmonotonic Reasoning. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
Can You Tell the Difference Between DL-Lite Ontologies?. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Patrick Doherty 0001, Andrzej Szalas |
Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Bernardo Cuenca Grau, Ian Horrocks 0001, Ulrike Sattler |
Representing Structured Objects using Description Graphs. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Yisong Wang |
Answer Set Programming with Functions. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ivan José Varzinczak |
Action Theory Erasure and Minimal Change. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Diego C. Martínez, Alejandro Javier García, Guillermo Ricardo Simari |
An Abstract Argumentation Framework with Varied-Strength Attacks. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ronen I. Brafman |
Preferences, Planning and Control. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jochen Renz, Jason Jingshi Li |
Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio |
A Complete First-Order Logic of Knowledge and Time. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Katarina Britz, Johannes Heidema, Thomas Andreas Meyer |
Semantic Preferential Subsumption. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo |
Behavior Composition in the Presence of Failure. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ronen I. Brafman |
Relational Preference Rules for Control. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ana Casali, Lluís Godo, Carles Sierra |
A Logical Framework to Represent and Reason about Graded Preferences and Intentions. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Artale, Nicola Guarino, C. Maria Keet |
Formalising Temporal Constraints on Part-Whole Relations. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Maria Vanina Martinez, Francesco Parisi, Andrea Pugliese 0001, Gerardo I. Simari, V. S. Subrahmanian |
Inconsistency Management Policies. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Birte Glimm, Ian Horrocks 0001, Ulrike Sattler |
Unions of Conjunctive Queries in SHOQ. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran |
Belief Revision of Logic Programs under Answer Set Semantics. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jos de Bruijn, Thomas Eiter, Hans Tompits |
Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ron van der Meyden |
On Notions of Causality and Distributed Knowledge. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alexander Bochman |
Default Theory of Defeasible Entailment. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Torsten Hahmann, Michael Gruninger |
Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joel Uckelman, Ulle Endriss |
Preference Modeling by Weighted Goals with Max Aggregation. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu |
Complexity of Abduction in the EL Family of Lightweight Description Logics. |
KR |
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. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Natasha Alechina, Mehdi Dastani, Brian Logan 0001, John-Jules Ch. Meyer |
Reasoning about Agent Deliberation. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sébastien Konieczny, Ramón Pino Pérez |
Improvement Operators. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati 0001 |
View-Based Query Answering over Description Logic Ontologies. |
KR |
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. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Claudette Cayrol, Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex |
Revision of an Argumentation System. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque |
First-Order Strong Progression for Local-Effect Basic Action Theories. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jussi Rintanen |
Planning Graphs and Propositional Clause-Learning. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande |
Horn Clause Belief Change: Contraction Functions. |
KR |
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. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joohyung Lee 0002, Yunsong Meng |
On Loop Formulas with Variables. |
KR |
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 |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Florence Dupin de Saint-Cyr |
Scenario Update Applied to Causal Reasoning. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Nathalie Chetcuti-Sperandio, Sylvain Lagrue |
How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic. |
KR |
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. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio |
A Principled Framework for Modular Web Rule Bases and Its Semantics. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ronald P. A. Petrick |
Cartesian Situations and Knowledge Decomposition in the Situation Calculus. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Richard Booth 0001, Thomas Andreas Meyer |
Equilibria in Social Belief Removal. |
KR |
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. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andrea Calì, Georg Gottlob, Michael Kifer |
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Timothy L. Hinrichs, Michael R. Genesereth |
Injecting the How into the What: Investigating a Finite Classical Logic. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Patricia Everaere, Sébastien Konieczny, Pierre Marquis |
Conflict-Based Merging Operators. |
KR |
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. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001 |
Path-Based Identification Constraints in Description Logics. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Emiliano Lorini, Dominique Longin |
A Logical Account of Institutions: From Acceptances to Norms via Legislators. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Anthony Hunter, Sébastien Konieczny |
Measuring Inconsistency through Minimal Inconsistent Sets. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Beyond Nash Equilibrium: Solution Concepts for the 21st Century. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Safa Yahi, Salem Benferhat, Sylvain Lagrue, Mariette Sérayet, Odile Papini |
A Lexicographic Inference for Partially Preordered Belief Bases. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ryan F. Kelly, Adrian R. Pearce |
Complex Epistemic Modalities in the Situation Calculus. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yevgeny Kazakov |
RIQ and SROIQ Are Harder than SHOIQ. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | David Toman 0001, Grant E. Weddell |
Identifying Objects Over Time with Description Logics. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Johan Wittocx, Maarten Mariën, Marc Denecker |
Approximate Reasoning in First-Order Logic Theories. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin |
Proving Goal Achievability. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Arnold Binas, Sheila A. McIlraith |
Peer-to-Peer Query Answering with Inconsistent Knowledge. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Faber 0001, Hans Tompits, Stefan Woltran |
Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Espen H. Lian, Arild Waaler |
Computing Default Extensions by Reductions on OR. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam, Sunil Easaw Simon |
Dynamic Logic on Games with Structured Strategies. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Patrick Eyerich, Michael Brenner 0001, Bernhard Nebel |
On the Complexity of Planning Operator Subsumption. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Leila Amgoud, Yannis Dimopoulos, Pavlos Moraitis |
Making Decisions through Preference-Based Argumentation. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jens Claßen, Gerhard Lakemeyer |
A Logic for Non-Terminating Golog Programs. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Nwe Ni Tun, Jin Song Dong |
Ontology Generation through the Fusion of Partial Reuse and Relation Extraction. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Defaults and Normality in Causal Structures. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Silvio Ghilardi, Carsten Lutz |
LTL over Description Logic Axioms. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Xiaoping Chen, Jianmin Ji, Fangzhen Lin |
Computing Loops with at Most One External Support Rule. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yann Chevaleyre, Ulle Endriss, Jérôme Lang |
Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling. |
KR |
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. |
KR |
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. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marco Ragni, Stefan Wölfl 0001 |
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning. |
KR |
2006 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license