Knowledge Representation and Reasoning

Papers

• Knowing Minimum/ Maximum n-Formulae by Thomas Agotnes, Natasha Alechina
• Modal Logics for Communicating Rule-based Agents by Natasha Alechina, Mark Jago, Brian Logan
• Causation as Production by John Bell
• Merging Possibilistic Networks by Salem Benferhat
• Compiling Possibilistic Knowledge Bases by Salem Benferhat, Henri Prade
• Improving Bound Propagation by Bozhena Bidyuk, Rina Dechter
• Logic Programs with Multiple Chances by Francesco Buccafurri, Gianluca Caminiti, Domenico Rosaci
• Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems by Philippe Chatalic, Gia Hien Nguyen, Marie-Christine Rousset
• Conceptual Hierarchies Matching: An Approach based on Discovery of Implication Rules between Concepts by Jérôme David, Fabrice Guillet, Régis GRAS, Henri Briand
• CTL Model Update: Semantics Computations and Implementation by Yulin Ding, Yan Zhang
• Resolving Conflicts in Action Descriptions by Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
• Possibilistic Influence Diagrams by Laurent Garcia, Regis Sabbadin
• Solving Optimization Problems with DLL by Enrico Giunchiglia, Marco Maratea
• Discovering Missing Background Knowledge in Ontology Matching by Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich
• Extracting MUSes by Eric Grégoire, Bertrand Mazure, Cédric Piette
• On Probing and Multi- Threading in Platypus by Jean Gressmann, Tomi Janhunen, Robert Mercer, Torsten Schaub, Richard Tichy, Sven Thiele
• Elaborating Domain Descriptions by Andreas Herzig, Laurent Perrussel, Ivan Varzinczak
• On the Logic of Theory Change: Relations between Incision and Selection Functions by Gabriele Kern-Isberner, Marcelo Falappa, Eduardo Ferme
• Representing Relative Direction as a Binary Relation of Oriented Points by Reinhard Moratz
• Modular Equivalence for Normal Logic Programs by Emilia Oikarinen, Tomi Janhunen
• Preference Representation with 3-Points Interval by Meltem Öztürk, Alexis Tsoukiàs
• Reference-dependent Qualitative Models for Decision Making under Uncertainty by Patrice Perny, Antoine Rolland
• Decision with Uncertainties Feasibilities and Utilities: Towards a Unified Algebraic Framework by Cédric Pralet, Gérard Verfaillie, Thomas Schiex
• Using Occlusion Calculi to Interpret Digital Images by David Randell, Mark Witkowski
• Abductive Logic Programming in the Clinical Management of HIV/AIDS by Oliver Ray, Athos Antoniades, Antonis Kakas, Ioannis Demetriades
• Interleaving Belief Updating and Reasoning in Abductive Logic Programming by Fariba Sadri, Francesca Toni
• Bridging the Gap between Informal and Formal Guideline Representations by Andreas Seyfang, Silvia Miksch, Mar Marcos, Jolanda Wittenberg, Cristina Polo-Conde, Kitty Rosenbrand
• Boolean Propagation Based on Literals for Quantified Boolean Formulae by Igor Stéphan
• General Concept Inclusions in Fuzzy Description Logics by George Stoilos, Umberto Straccia, George Stamou, Jeff Pan
• Approximating Extended Answer Sets by Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
• An Axiomatic Approach in Qualitative Decision Theory with Binary Possibilistic Utility by Paul Weng
• An Efficient Upper Approximation for Conditional Preference by Nic Wilson
• A Solver for QBFs in Nonprenex Form by Stefan Woltran, Uwe Egly, Martina Seidl
• Knowledge Engineering for Bayesian Networks: How Common Are Noisy-MAX Distributions in Practice? by Adam Zagorecki, Marek Druzdzel

Posters

• Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts by Maria Amalfi, Katia Lo Presti, Alessandro Provetti, Franco Salvetti
• A Semantics for Active Logic by Mikael Asker, Jacek Malec
• An Alternative Inference for Qualitative Choice Logic by Salem Benferhat, Daniel Le Berre, Karima Sedki
• On the Existence of Answer Sets in Normal Extended Logic Programs by Martin Caminada, Chiaki Sakama
• Smoothed Particle Filtering for Dynamic Bayesian Networks by Theodore Charitos
• Goal Revision for a Rational Agent by Célia da Costa Pereira, Andrea Tettamanzi, Leila Amgoud
• A Redundancy-based Method for Relation Instantiation from the Web by Viktor de Boer, Maarten van Someren, Bob J. Wielinga
• Norms with Deadlines in Dynamic Deontic Logic by Robert Demolombe, Philippe Bretier, Vincent Louis
• Adaptive Multi-Agent Programming in GTGolog by Alberto Finzi, Thomas Lukasiewicz
• Formalizing Complex Task Libraries in Golog by Alfredo Gabaldon
• Automated Deduction for Logics of Default Reasoning by Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
• Reasoning about Motion Patterns by Björn Gottfried
• Applying OPRMs to Recursive Probability Models by Catherine Howard, Markus Stumptner
• Variable Forgetting in Preference Relations over Propositional Domains by Jerome Lang, Philippe Besnard, Pierre Marquis
• Two Orthogonal Biases for Choosing the Intensions of Emerging Concepts in Ontology Refinement by Francesca Lisi, Floriana Esposito
• Computing Possible and Necessary Winners from Incomplete Partially-Ordered Preferences by Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
• What's a Head without a Body? by Torsten Schaub, Christian Anger, Martin Gebser, Tomi Janhunen
• Irrelevant Updates of Nonmonotonic Knowledge Bases by Jan Sefranek, Jozef Siska
• Decision Making in Large-Scale Domains: A Case Study by Mikhail Soutchanski, Huy Pham, John Mylopoulos
• Towards a Logic of Agency and Actions with Duration by Nicolas Troquard, Laure Vieu