- Technical Program
- Workshops & Tutorials
- At a glance
- Doctoral Consortium
- Opening & Reception
- Best Papers from Sister Conferences Track
- IJCAI Video Track
- Trading Agent Competion (TAC)
- IJCAI-11 Awards
- Funding Opportunities for International Research Collaborations
- General Game Playing Competition
- Banquet
- Ramon Llull Session
- Industry Day
- Closing Event
- List of Accepted Papers
- Poster Boards
Accepted Papers
Knowledge Representation, Reasoning and Logic
Title | Authors |
A computationally grounded semantics for artifact centric systems and abstraction results. | Francesco Belardinelli, Alessio Lomuscio and Fabio Patrizi |
A constructive approach to independent and evidence retaining belief revision by general information sets | Gabriele Kern-Isberner and Patrick Krümpelmann |
A logic for causal inference in time series with discrete and continuous variables | Samantha Kleinberg |
A Logical Formulation for Negotiation Among Dishonest Agents | Chiaki Sakama, Son Tran and Enrico Pontelli |
A Practical Automata-Based Technique for Reasoning in Expressive Description Logics | Diego Calvanese, Domenico Carbotta and Magdalena Ortiz |
A theory of meta-diagnosis: reasoning about diagnostic systems | Nuno Belard, Yannick Pencolé and Michel Combacau |
An approach to minimal belief via objective belief | David Pearce and Levan Uridia |
An Assertion Retrieval Algebra for Object Queries over Knowledge Bases | David Toman, Grant Weddell, Jeffrey Pound and Jiewen Wu |
Augmenting Tractable Fragments of Abstract Argumentation | Sebastian Ordyniak and Stefan Szeider |
Backdoors to Tractable Answer-Set Programming | Johannes Klaus Fichte and Stefan Szeider |
Belief Base Rationalization for Propositional Merging | Sebastien Konieczny, Pierre Marquis and Nicolas Schwind |
Belief Management for High-Level Robot Programs | Alexander Ferrein, Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer and Alexander Ferrein |
Belief Revision: Revising Horn Clause Theories | James Delgrande and Pavlos Peppas |
Beth Definability in Expressive Description Logics | Balder ten Cate, Enrico Franconi and Inanc Seylan |
Causal Learnability | Loizos Michael |
Computing Minimum-cardinality Diagnoses by Model Relaxation | Sajjad Siddiqi |
Consequence-Based Reasoning beyond Horn Ontologies | Frantisek Simancik, Yevgeny Kazakov and Ian Horrocks |
Containment of Regular Path Queries under Description Logic Constraints | Diego Calvanese, Magdalena Ortiz and Mantas Simkus |
Defeasible Inheritance-based Description Logics | Umberto Straccia and Govanni Casini |
Description Logic TBoxes: Model-theoretic Characterizations and Rewritability | Carsten Lutz, Robert Piro and Frank Wolter |
Description Logics and Fuzzy Probability | Lutz Schröder and Dirk Pattinson |
Description Logics over Lattices with Multi-valued Ontologies | Stefan Borgwardt and Rafael Penaloza |
Discrete-time Temporal Reasoning with Horn DLRs | Peter Jonsson and Tomas Lööw |
Dishonest Reasoning by Abduction | Chiaki Sakama |
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals | Giuseppe De Giacomo, Yves Lesperance and Hector Levesque |
Existential Closures for Knowledge Compilation | Pierre Marquis |
Expressiveness of the Interval Logics of Allen’s Relations on the Class of all Linear Orders: Complete Classification | Dario Della Monica, Valentin Goranko, Angelo Montanari and Guido Sciavicco |
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness | Markus Krötzsch and Sebastian Rudolph |
Finite-valued Modal Lukasiewicz Logic is PSPACE-complete | Félix Bou, Marco Cerami, Francesc Esteva |
First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription | Michael Bartholomew, Joohyung Lee and Yunsong Meng |
Fixpoints in Temporal Description Logics | Enrico Franconi and David Toman |
Foundations of Uniform Interpolation and Forgetting in Expressive Description Logics | Carsten Lutz and Frank Wolter |
From First-Order Theories to Logic Programs | Heng Zhang, Yan Zhang and Yi Zhou |
Generalising the Interaction Rules in Probabilistic Logic | Arjen Hommersom and Peter Lucas |
Generalized Planning: Synthesizing Plans that Work for Multiple Environments | Yuxiao Hu and Giuseppe De Giacomo |
Integrated Learning for Goal-Driven Autonomy | ULIT JAIDEE, Hector Munoz-Avila and David Aha |
Interval-Based Possibilistic Logic | Salem Benferhat, Julien Hué, Sylvain Lagrue and Julien Rossit |
Logic Programming for Boolean Networks | Katsumi Inoue |
Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging | Pierre Marquis and Nicolas Schwind |
Managed Multi-Context Systems | Gerhard Brewka, Thomas Eiter, Michael Fink and Antonius Weinzierl |
Modeling Attempt and Action Failure in Probabilistic stit Logic | Jan Broersen |
Multidimensional Mereotopology with Betweenness | Torsten Hahmann and Michael Gruninger |
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols | Vaishak Belle and Gerhard Lakemeyer |
On Qualitative Route Descriptions | Matthias Westphal, Stefan Woelfl, Bernhard Nebel and Jochen Renz |
On the Complexity of Dealing with Inconsistency in Description Logic Ontologies | Riccardo Rosati |
On the complexity of EL with defeasible inclusions | Piero Bonatti, Marco Faella and Luigi Sauro |
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces | Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann and Michael Zakharyaschev |
On the Progression of Knowledge in the Situation Calculus | Yongmei Liu and Ximing Wen |
Context-Sensitive Diagnosis of Discrete-Event Systems | Gianfranco Lamperti and Marina Zanella |
Parametric Properties of Ideal Semantics | Wolfgang Dvorak, Paul Dunne and Stefan Woltran |
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ | Magdalena Ortiz, Sebastian Rudolph and Mantas Simkus |
Query reasoning on trees with types, interleaving and counting | Everardo Barcenas, Pierre Geneves, Nabil Layaida and Alan Schmitt |
RCC8 is polynomial on networks of bounded treewidth | Manuel Bodirsky and Stefan Woelfl |
Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs | Yoshihiro Maruyama |
Reasoning about typicality in low complexity DLs: the logics EL^bot T_min and DL-lite_R T_min | Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato |
Reasoning-Supported Interactive Revision of Knowledge Bases | Nadeschda Nikitina, Sebastian Rudolph and Birte Glimm |
Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World | Guido Fiorino |
Relating Carneades with abstract argumentation | Bas van Gijzel and Henry Prakken |
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs | Gerhard Brewka, Paul Dunne and Stefan Woltran |
Repairing Incorrect Knowledge with Model Formulation and Metareasoning | Scott Friedman and Kenneth Forbus |
Revising by an Inconsistent Set of Formulas | James Delgrande |
Revisiting Preferences and Argumentation | Sanjay Modgil and Henry Prakken |
SDD: A new canonical representation of propositional knowledge bases | Adnan Darwiche |
Succinctness of Epistemic Languages | Wiebe van der Hoek, Petar Iliev, Tim French and Barteld Kooi |
Tangled Modal Logic for Spatial Reasoning | David Fernández |
The General Game Playing Description Language Is Universal | Michael Thielscher |
Transitively Relational Partial Meet Horn Contraction | Zhiqiang Zhuang and Maurice Pagnucco |
Walking the Complexity Lines for Generalized Guarded Existential Rules | Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph and Michael Thomazo |
Well-Supported Semantics for Description Logic Programs | Yi-Dong Shen |
What is an Ideal Logic for Reasoning with Inconsistency? | Ofer Arieli, Arnon Avron and Anna Zamansky |