Accepted Papers

 

Programme Co-Chairs

Tommie Meyer

Meraka Institute, Building 43, CSIR

Meiring Naude Avenue, Brummeria,

Pretoria,

South Africa

Phone: +27 12 841 4017

Fax: +27 12 841 4720

tommie.meyer@meraka.org.za

http://ksg.meraka.org.za/~tmeyer/

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

submission


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

Report



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.

Canada

Phone: +1 778.782.4771

Fax: +1 778.782.3045

ter@cs.sfu.ca

http://www.cs.sfu.ca/~ter