ADDCT 2014 PROCEEDINGS

Editors: Viorica Sofronie-Stokkermans, Silvio Ghilardi and Uli Sattler

Authors	Title	Paper	Talk
Mnacho Echenim, Nicolas Peltier and Sophie Tourret	A Superposition-Based Approach to Abductive Reasoning in Equational Clausal Logic		Jul 18 10:45
Paula Chocron, Pascal Fontaine and Christophe Ringeissen	Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions		Jul 18 12:00
Zvonimir Pavlinovic, Tim King and Thomas Wies	Finding Minimum Type Error Sources		Jul 18 12:30
Joseph Boudou and Philippe Balbiani	Decidability of Iteration-free PDL with Parallel Composition		Jul 18 14:30
Renate A. Schmidt, John Stell and David Rydeheard	Axiomatic and Tableau-Based Reasoning for Kt(H,R)		Jul 18 15:00
Domenico Cantone, Joanna Golinska-Pilarek and Marianna Nicolosi-Asmundo	On Dual Tableau-Based Decision Procedures for Relational Fragments		Jul 18 15:30