VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Alviano, Mario	Semantics and Compilation of Answer Set Programming with Generalized Atoms Preliminary Report on WASP 2
B
Baget, Jean-François	Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
Balduccini, Marcello	An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report
Baláž, Martin	On Strong and Default Negation in Logic Program Updates
Baumann, Ringo	Compact Argumentation Frameworks
Bertossi, Leopoldo	Causality in Databases: The Diagnosis and Repair Connections
Besnard, Philippe	Revisiting Postulates for Inconsistency Measures
Beyersdorff, Olaf	Tableau vs. Sequent Calculi for Minimal Entailment
Bogaerts, Bart	Inference in the FO(C) Modelling Language FO(C) and Related Modelling Paradigms
Booth, Richard	Abduction in Argumentation: Dialogical Proof Procedures and Instantiation
C
Cabrio, Elena	Towards a Benchmark of Natural Language Arguments
Chew, Leroy	Tableau vs. Sequent Calculi for Minimal Entailment
Creignou, Nadia	Belief merging within fragments of propositional logic
D
Delgrande, James P.	An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence
Denecker, Marc	Inference in the FO(C) Modelling Language FO(C) and Related Modelling Paradigms
Diakidoy, Irene-Anna	Non-Monotonic Reasoning and Story Comprehension
Dodaro, Carmine	Preliminary Report on WASP 2
Dvorak, Wolfgang	Compact Argumentation Frameworks
F
Faber, Wolfgang	Semantics and Compilation of Answer Set Programming with Generalized Atoms
Frtús, Jozef	Credulous and Skeptical Argument Games for Complete Semantics in Conflict Resolution based Argumentation
G
Gabbay, Dov	Abduction in Argumentation: Dialogical Proof Procedures and Instantiation
Garreau, Fabien	Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
Gelfond, Michael	Integrating Declarative Programming and Probabilistic Graphical Models for Knowledge Representation and Reasoning in Robotics
H
Hunter, Aaron	Belief Revision and Trust
Hunter, Anthony	Analysis of Dialogical Argumentation via Finite State Machines
J
Ji, Jianmin	Implementing Default and Autoepistemic Logics via the Logic of GK
K
Kaci, Souhila	Abduction in Argumentation: Dialogical Proof Procedures and Instantiation
Kakas, Antonis	Non-Monotonic Reasoning and Story Comprehension
L
Le Berre, Daniel	Some thoughts about benchmarks for NMR
Leite, Joao	On Strong and Default Negation in Logic Program Updates
Linsbichler, Thomas	Compact Argumentation Frameworks
M
Maratea, Marco	The Multi-engine ASP Solver ME-ASP: Progress Report
Michael, Loizos	Non-Monotonic Reasoning and Story Comprehension
Mileo, Alessandra	Probabilistic Inductive Logic Programming based on Answer Set Programming
Miller, Rob	Non-Monotonic Reasoning and Story Comprehension
Moura, Joao	Generalising Modular Logic Programs
Mugnier, Marie-Laure	Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
N
Nguyen, Duc	An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report
Nickles, Matthias	Probabilistic Inductive Logic Programming based on Answer Set Programming
P
Papini, Odile	Belief merging within fragments of propositional logic
Polberg, Sylwia	Extension--based Semantics of Abstract Dialectical Frameworks
Pulina, Luca	The Multi-engine ASP Solver ME-ASP: Progress Report
R
Regli, William	An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report
Ricca, Francesco	The Multi-engine ASP Solver ME-ASP: Progress Report Preliminary Report on WASP 2
Rienstra, Tjitze	Abduction in Argumentation: Dialogical Proof Procedures and Instantiation
Rocher, Swan	Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
Rott, Hans	Four Floors for the Theory of Theory Change
Rümmele, Stefan	Belief merging within fragments of propositional logic
S
Salimi, Babak	Causality in Databases: The Diagnosis and Repair Connections
Schwartz, Daniel	Nonmonotonic Reasoning as a Temporal Activity
Shchekotykhin, Kostyantyn	Interactive Debugging of ASP Programs
Slota, Martin	On Strong and Default Negation in Logic Program Updates
Sridharan, Mohan	Integrating Declarative Programming and Probabilistic Graphical Models for Knowledge Representation and Reasoning in Robotics
Strass, Hannes	Implementing Default and Autoepistemic Logics via the Logic of GK Compact Argumentation Frameworks On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks
T
Tasharrofi, Shahab	Three Semantics for Modular Systems
Ternovska, Eugenia	Three Semantics for Modular Systems
V
Van den Bussche, Jan	Inference in the FO(C) Modelling Language FO(C) and Related Modelling Paradigms
Van Der Torre, Leendert	Abduction in Argumentation: Dialogical Proof Procedures and Instantiation
Vennekens, Joost	Inference in the FO(C) Modelling Language FO(C) and Related Modelling Paradigms
Viegas Damásio, Carlos	Generalising Modular Logic Programs
Villata, Serena	Towards a Benchmark of Natural Language Arguments
W
Wang, Kewen	An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence
Weydert, Emil	A Plausibility Semantics for Abstract Argumentation Frameworks
Woltran, Stefan	Compact Argumentation Frameworks Belief merging within fragments of propositional logic
Wyatt, Jeremy	Integrating Declarative Programming and Probabilistic Graphical Models for Knowledge Representation and Reasoning in Robotics
Z
Zhang, Shiqi	Integrating Declarative Programming and Probabilistic Graphical Models for Knowledge Representation and Reasoning in Robotics
Š
Šimko, Alexander	A Family of Descriptive Approaches To Preferred Answer Sets

Disclaimer | Powered by EasyChair Smart Program