Accepted Papers


Programme Co-Chairs

Tommie Meyer

Meraka Institute, Building 43, CSIR

Meiring Naude Avenue, Brummeria,


South Africa

Phone: +27 12 841 4017

Fax: +27 12 841 4720

Action and Belief Change (Chairs: Richard Booth, Alfredo Gabaldon)

Title: Privacy Regulations in Dynamic Epistemic Deontic Logic

Author(s): Guillaume Aucher, Guido Boella, Leendert van der Torre

Title: Lex minus dixit quam voluit, lex magis dixit quam voluit: A formal study on legal compliance and interpretation

Author(s): Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre

Title: A Contraction Core for Horn Belief Change: Preliminary Report

Author(s): Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann

Title: An Approach to Revising Logic Programs under the Answer Set Semantics

Author(s): James P. Delgrande

Title: Joint revision of belief and intention

Author(s): Thomas Icard, Eric Pacuit, Yoav Shoham

Title: On belief dynamics of dependancy relations for extended logic programs

Author(s): Patrick Krumpelmann and Gabriele Kern-Isberner

Title: Lexicographic-based partially preordered removed sets revision

Author(s): Mariette Sérayet, Pierre Drap and Odile Papini

Title: A general first order solution to the ramification problem

Author(s): Hannes Strass and Michael Thielscher

Title: Marrying stable models with belief update

Author(s): Martin Slota and Joao Leite

NMR and Uncetrainty (Chairs: Gabriele Kern-Isberner, Henri Prade)

Isabelle Toulgoat, Pierre Siegel, Yves Lacroix and Julien Botto. Operator decision in naval action's simulations

Belaid Benhamou, Tarek Nabhani and Pierre Siegel. Study of symmetry in non-monotonic logics

Kim Bauters, Steven Schockaert, Jeroen Janssen, Martine De Cock and Dirk Vermeir. Towards possibilistic fuzzy answer set programming

Patrick Krümpelmann and Matthias Thimm. A logic programming framework for reasoning about know-how

Emad Saad. Learning to act optimally in partially observable Markov decision processes using hybrid probabilistic logic programs

Radim Jirousek. Is it possible to define graphical models in Dempster-Shafer theory of evidence?

Sebastian Loh, Matthias Thimm and Gabriele Kern-Isberner. On the problem of grounding a relational probabilistic conditional knowledge base

Henri Prade and Gilles Richard. Nonmonotonic features and uncertainty in reasoning with analogical proportions.

Declarative Programming and Systems (Chairs:  Marina De Vos, Marc Denecker)

Paolo Mancarella and Francesca Toni.  A semantics for positive

abductive logic programs with  implicative integrity constraints


Yuping SHEN, Guangrui DANG and Xishun ZHAO. Reasoning about Action

and Change in Timed Domains

Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink and

Thomas Krennwallner. Decomposition of Distributed Nonmonotonic

Multi-Context Systems

Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang.

Representing Synonymity in Causal Logic and in Logic Programming

Paolo Ferraris and Vladimir Lifschitz. On the Stable Model Semantics

of First-Order Formulas with Aggregates

Gail-Joon Ahn, Hongxin Hu, Joohyung Lee and Yunsong Meng. Reasoning

about XACML Policy Descriptions in Answer Set Programming: Preliminary


Commonsense  and NMR for Ontologies (Chairs: Ivan José Varzinczak, Renata Wassermann)

 Ontology Development with 4-Valued Implication Connectives. Cristian Cocos and Wendy MacCaull

Semantic Diff as the Basis for Knowledge Base Versioning. Enrico Franconi, Thomas Meyer and Ivan Varzinczak

Argument, Dialog and Decision (Chairs: Iyad Rahwan, Guillermo R. Simari)

A Labelling Based Justification Status of Arguments

 Yining Wu, Martin Caminada and Mikolaj Podlaszewski.

Temporal Defeasible Logic Has Linear Complexity

 Guido Governatori and Antonino Rotolo.

An Approach to Timed Abstract Argumentation

 Maria Laura Cobo, Diego C. Martinez and Guillermo R. Simari.

The relation between preferential model and argumentation semantics

 Nico Roos.

From User-Generated Tagging to User-Agreed Knowledge: An

Argumentation-Based Approach

 Pietro Baroni, Federico Cerutti, Daniela Fogli, Claudio Gandelli and

Massimiliano Giacomin.

Constraints-based Negotiation using Argumentation

 Mohamed Mbarki, Jamal Bentahar, Bernard Moulin and Ahmad Moazin.

Preferences and Norm (Chairs: Frederic Koriche, Leon Van Der Torre)

 Arina Britz, Johannes Heidema and Ivan Varzinczak.  Pertinent Reasoning  

Guido Governatori, Francesco Olivieri, Simone Scannapieco and Matteo Cristani. Superiority Based Revision of Defeasible Theories   

Guillaume Aucher and Guido Boella. Prescriptive and descriptive obligations in dynamic epistemic deontic logic    

Guido Boella, Dov Gabbay and Serena Villata. Subsumption and count as relation in argument ontologies    

Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez and Valerio Genovese. On the Relationship between I-O Logic and Connectionism    

Wei Ning and Parke Godfrey. Stable Skyline    

Eugenia Ternovska

School of Computing Science

Simon Fraser University

Burnaby, B.C.


Phone: +1 778.782.4771

Fax: +1 778.782.3045