| |
Sunday September 26th |
| 18:30 - 19:30 |
Welcome Drink |
| |
|
| |
Monday September 27th |
| 08:30 - 09:30 |
Registration |
| 09:30 - 10:30
|
Invited Talk 1 |
| |
Representing and Reasoning with Preferences by F. Rossi |
| 10:30 - 11:00 |
Coffee Break
|
| 11:00 - 12:40 |
Session 1A - Multi-Agent Systems I
|
| |
Games for Cognitive Agents by M. Dastani and L. van der Torre |
| |
Knowledge-theoretic properties of strategic voting by S. Chopra, E. Pacuit and R. Parikh |
| |
The CIFF Proof Procedure for Abductive Logic Programming with Constraints by U. Endriss, P. Mancarella, F. Sadri, G. Terreni and F. Toni |
| |
Hierarchical Decision Making By Autonomous Agents by S. Heymans, D. Van Nieuwenborgh and D. Vermeir |
| 11:00 - 12:40 |
Session 1B - LPNMR I
|
| |
On the relation between ID-Logics and Answer Set Programming by M. Mariën, D. Gilis and M. Denecker |
| |
An Implementation of Statistical Default Logic by G. R. Wheeler and C. V. Damásio |
| |
Capturing Parallel Circumscription with Disjunctive Logic Programs by T. Janhunen and E. Oikarinen |
| |
Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning by D. Pearce and A. Valverde |
| 12:40 - 14:00 |
Lunch Break
|
| 14:00 - 15:40 |
Session 2A - Reasoning under Uncertainty
|
| |
A Logic for Reasoning about Coherent Conditional Probability: A Modal Fuzzy Logic Approach by E. Marchioni and L. Godo |
| |
A Logic with Conditional Probabilities by M. Raskovic, Z. Ognjanovic and Z. Markovic |
| |
Reasoning about Quantum Systems by P. Mateus and A. Sernadas |
| |
Sorted multi-adjoint logic programs: termination results and applications by C. V. Damásio, J. Medina and M. Ojeda-Aciego |
| 14:00 - 15:40 |
Session 2B - Systems Session I
|
| |
Abductive Logic Programming with CIFF: System Description by U. Endriss, P. Mancarella, F. Sadri, G. Terreni and F. Toni |
| |
The DALI Logic Programming Agent-Oriented Language by S. Costantini and A. Tocchio |
| |
Qsmodels: ASP Planning in Interactive Gaming Environment by L. Padovani and A. Provetti |
| |
A system with template answer set programs by F. Calimeri, G. Ianni, G. Ielpa, A. Pietramala and M. C. Santoro |
| |
New DLV Features for Data Integration by F. Calimeri, M. Citrigno, C. Cumbo, W. Faber, N. Leone, S. Perri and G. Pfeifer |
| |
Profiling Answer Set Programming: The Visualization Component of the noMoRe System by A. Bösel, T. Linke and T. Schaub |
| |
The PLP System by T. Wakaki, K. Inoue, C. Sakama and K. Nitta |
| 15:40 - 16:10 |
Coffee Break
|
| 16:10 - 17:50 |
Session 3A - Multi-Agent Systems II
|
| |
Verifying Communicating Agents by Model Checking in a Temporal Action Logic by L. Giordano, A. Martelli and C. Schwind |
| |
Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency by S. Wölfl |
| |
Practical Reasoning for Uncertain Agents by N. C. Ferreira, M. Fisher and W. van der Hoek |
| |
Modelling Communicating Agents in Timed Reasoning Logics by N. Alechina, B. Logan and M. Whitsey |
| 16:10 - 17:50 |
Session 3B - Systems Session II
|
| |
The MyYapDB Deductive Database System by M. Ferreira and R. Rocha |
| |
InterProlog: towards a declarative embedding of logic programming in Java by M. Calejo |
| |
IndLog - Induction in Logc by R. Camacho |
| |
OLEX - A reasoning-based text classifier by C. Cumbo, S. Iiritano and P. Rullo |
| |
Verdi: an Automated Tool for Web Sites Verification by M. Alpuente, D. Ballis and M. Falaschi |
| |
SATMC: a SAT-based Model Checker for Security Protocols by A. Armando and L. Compagna |
| |
tabeql: a tableau based suite for Equilibrium Logic by A. Valverde |
| |
tascpl: TAS solver for Classical Propositional Logic by M. Ojeda-Aciego and A. Valverde |
| |
|
| |
Tuesday September 28th |
| 09:30 - 10:45 |
Session 4A - Logic Programming
|
| |
The Modal Logic Programming System Mprolog by L. A. Nguyen |
| |
Soundness and Completeness of an ``Efficient Negation for Prolog by J. J. Moreno-Navarro and S. Muñoz-Hernández |
| |
Logic Programs with Functions and Default Values by P. Cabalar and D. Lorenzo |
| 09:30 - 10:45 |
Session 4B - Complexity Issues
|
| |
Representation and Complexity in Boolean Games by P. E. Dunne and W. van der Hoek |
| |
Complexity in Value-Based Argument Systems by P. E. Dunne and T. Bench-Capon |
| |
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment by Y. Kazakov |
| 10:45 - 11:15 |
Coffee Break
|
| 11:15 - 12:30 |
Session 5A - Actions and Causation
|
| |
Parallel Encodings of Classical Planning as Satisfiability by J. Rintanen, K. Heljanko and I. Niemelä |
| |
Relational Markov Games by A. Finzi and T. Lukasiewicz |
| |
On the logic of "being motivated to achieve
ρ, before δ" by J. Broersen |
| 11:15 - 12:30 |
Session 5B - Description Logics
|
| |
Transforming Fuzzy Description Logics into Classical Description Logics by U. Straccia |
| |
Computing the Least Common Subsumer w.r.t. a Background Terminology by F. Baader, B. Sertkaya and A.-Y. Turhan |
| |
Explaining Subsumption by Optimal Interpolation by S. Schlobach |
| 12:30 - 14:00 |
Lunch Break
|
| 14:00 - 19:00 |
|
| |
|
| |
Wednesday September 29th |
| 09:30 - 10:30 |
Invited Talk 2
|
| |
Engineering of Logics for the Content-Based Representation of Information by F. Baader |
| 10:30 - 11:00 |
Coffee Break
|
| 11:00 - 12:40 |
Session 6 - LPNMR II
|
| |
Characterizations for Relativized Notions of
Equivalence in Answer Set Programming by S. Woltran |
| |
Equivalence of Logic Programs under Updates by
K. Inoue and C. Sakama |
| |
Cardinality Constraint Programs by T. Syrjänen |
| |
Recursive Aggregates in Disjunctive Logic
Programs: Semantics and Complexity by W. Faber, N. Leone and G. Pfeifer |
| 12:40 - 14:00 |
Lunch Break
|
| 14:00 - 15:40 |
Session 7 - Modal, Spacial and Temporal Logics
|
| |
Line-based affine reasoning in Euclidean plane by P. Balbiani and T. Tinchev |
| |
Measure Logics for Spatial Reasoning by M. Giritli |
| |
Only Knowing with Confidence Levels: Reductions and Complexity by E. H. Lian, T. Langholm and A. Waaler |
| |
Time Granularities and Ultimately Periodic Automata by D. Bresolin, A. Montanari and G. Puppis |
| 15:40 - 16:10 |
Coffee Break
|
| 16:10 - 17:50 |
Session 8 - Applications I
|
| |
Discovering Anomalies in Evidential Knowledge by Logic Programming by F. Angiulli, G. Greco and L. Palopoli |
| |
Logic Programming Infrastructure for Inferences on FrameNet by P. Baumgartner and A. Burchardt |
| |
Combining Decision Procedures for Sorted
Theories by C. Tinelli and C. G. Zarba |
| |
Automatic Compilation of Protocol Insecurity Problems into Logic Programming by A. Armando, L. Compagna and Y. Lierler |
| 20:00 - 24:00 |
|
| |
|
| |
Thursday September 30th |
| 09:30 - 10:30 |
Invited Talk 3
|
| |
Formal Methods in Robotics by B. Nebel |
| 10:30 - 11:00 |
Coffee Break
|
| 11:00 - 12:40 |
Session 9 - Belief Revision
|
| |
Logical connectives for nonmonotonicity: A
choice function-based approach by J. Mengin |
| |
On Sceptical vs Credulous Acceptance for
Abstract Argument Systems by S. Doutre and J. Mengin |
| |
Two Approaches to Merging Knowledge Bases by J.
P. Delgrande and T. Schaub |
| |
An Algebraic Approach to Belief Contraction and
Nonmonotonic Entailment by L. Flax |
| 12:40 - 14:00 |
Lunch Break
|
| 14:00 - 15:40 |
Session 10 - Theorem Proving
|
| |
Polynomial Approximations of Full Propositional Logic via Limited Bivalence by M. Finger |
| |
Some Techniques for Branch-Saturation in Free-Variable Tableaux by N. Peltier |
| |
Semantic Knowledge Partitioning by C. Wernhard |
| |
Negative Hyper-Resolution as Procedural Semantics of Disjunctive Logic Programs by L. A. Nguyen |
| 15:40 - 16:10 |
Coffee Break
|
| 16:10 - 17:50 |
Session 11 - Applications II
|
| |
Exploiting functional dependencies in
declarative problem specifications by M. Cadoli and T. Mancini |
| |
An Answer Set Programming encoding of Prioritized Removed Sets Revision: Application to GIS by J. Ben-Naim, S. Benferhat, O. Papini and E. Würbel |
| |
Meta-level Verification of the Quality of
Medical Guidelines using Interactive Theorem Proving by A. Hommersom, P. Lucas
and M. Balser |
| |
Towards a Logical Analysis of Biochemical
Pathways by P. Doherty, S. Kertes, M. Magnusson and A. Szalas |