VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

A
Abduction	Abduction in Argumentation: Dialogical Proof Procedures and Instantiation
abstract argumentation	Compact Argumentation Frameworks On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks A Plausibility Semantics for Abstract Argumentation Frameworks
abstract dialectical frameworks	Extension--based Semantics of Abstract Dialectical Frameworks
Agent Architectures	An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report
Algorithm Selection	The Multi-engine ASP Solver ME-ASP: Progress Report
Answer Set Programming	The Multi-engine ASP Solver ME-ASP: Progress Report Probabilistic Inductive Logic Programming based on Answer Set Programming Generalising Modular Logic Programs An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report FO(C) and Related Modelling Paradigms Semantics and Compilation of Answer Set Programming with Generalized Atoms Integrating Declarative Programming and Probabilistic Graphical Models for Knowledge Representation and Reasoning in Robotics Interactive Debugging of ASP Programs Preliminary Report on WASP 2
answer-set programming	On Strong and Default Negation in Logic Program Updates
argument game	Credulous and Skeptical Argument Games for Complete Semantics in Conflict Resolution based Argumentation
Argumentation	Credulous and Skeptical Argument Games for Complete Semantics in Conflict Resolution based Argumentation Abduction in Argumentation: Dialogical Proof Procedures and Instantiation
Argumentation frameworks	Extension--based Semantics of Abstract Dialectical Frameworks
argumentation semantics	Compact Argumentation Frameworks Extension--based Semantics of Abstract Dialectical Frameworks
ASP Solver	The Multi-engine ASP Solver ME-ASP: Progress Report
autoepistemic logic	Implementing Default and Autoepistemic Logics via the Logic of GK
B
Backtracking	Preliminary Report on WASP 2
belief change	Belief merging within fragments of propositional logic
Belief Merging	Belief merging within fragments of propositional logic
belief revision	Belief Revision and Trust Nonmonotonic Reasoning as a Temporal Activity
benchmarks	Some thoughts about benchmarks for NMR
bipolar argumentation	Towards a Benchmark of Natural Language Arguments
C
Causality	Inference in the FO(C) Modelling Language FO(C) and Related Modelling Paradigms
Causality in Databases	Causality in Databases: The Diagnosis and Repair Connections
Commonsense reasoning	Belief Revision and Trust
competitive events	Some thoughts about benchmarks for NMR
complexity	Inference in the FO(C) Modelling Language
Compositional Semantics	Generalising Modular Logic Programs
Computational Complexity	Compact Argumentation Frameworks
Computational models of argument	Analysis of Dialogical Argumentation via Finite State Machines
constraints-based	Some thoughts about benchmarks for NMR
D
Databases Repair	Causality in Databases: The Diagnosis and Repair Connections
datasets	Towards a Benchmark of Natural Language Arguments
declarative programming	Three Semantics for Modular Systems
default logic	Implementing Default and Autoepistemic Logics via the Logic of GK
default negation	On Strong and Default Negation in Logic Program Updates
default reasoning	A Plausibility Semantics for Abstract Argumentation Frameworks
defeasible logic program	Credulous and Skeptical Argument Games for Complete Semantics in Conflict Resolution based Argumentation
diagnosis discrimination	Interactive Debugging of ASP Programs
Diagnostic Reasoning	Causality in Databases: The Diagnosis and Repair Connections
Dialogical argumentation	Analysis of Dialogical Argumentation via Finite State Machines
Dialogical Proof Theory	Abduction in Argumentation: Dialogical Proof Procedures and Instantiation
disjunctive answer set programming	Implementing Default and Autoepistemic Logics via the Logic of GK
disjunctive logic program	An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence
Dynamic reasoning	Nonmonotonic Reasoning as a Temporal Activity
E
existential rules	Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
Experimental Evaluation	The Multi-engine ASP Solver ME-ASP: Progress Report
expressiveness	On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks
F
first-order logic	FO(C) and Related Modelling Paradigms
Forgetting	An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence
Fragments of Propositional Logic	Belief merging within fragments of propositional logic
I
Implementation	Implementing Default and Autoepistemic Logics via the Logic of GK
Implementation of dialogical argumentation	Analysis of Dialogical Argumentation via Finite State Machines
inference	Inference in the FO(C) Modelling Language
K
Knowledge Representation	FO(C) and Related Modelling Paradigms
Knowledge Representation and Reasoning	Integrating Declarative Programming and Probabilistic Graphical Models for Knowledge Representation and Reasoning in Robotics
L
learning	Preliminary Report on WASP 2
lessons learned	Some thoughts about benchmarks for NMR
logic of GK	Implementing Default and Autoepistemic Logics via the Logic of GK
logic programming	A Family of Descriptive Approaches To Preferred Answer Sets On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks Abduction in Argumentation: Dialogical Proof Procedures and Instantiation
M
machine learning	Probabilistic Inductive Logic Programming based on Answer Set Programming
minimal entailment	Tableau vs. Sequent Calculi for Minimal Entailment
model expansion	Three Semantics for Modular Systems
Modular Logic Programming	Generalising Modular Logic Programs
modularity	Three Semantics for Modular Systems
multi-context system	Credulous and Skeptical Argument Games for Complete Semantics in Conflict Resolution based Argumentation
N
natural language arguments	Towards a Benchmark of Natural Language Arguments
non-convex aggregates	Semantics and Compilation of Answer Set Programming with Generalized Atoms
Non-monotonic reasoning	Inference in the FO(C) Modelling Language
nonmonotonic reasoning	FO(C) and Related Modelling Paradigms Nonmonotonic Reasoning as a Temporal Activity Semantics and Compilation of Answer Set Programming with Generalized Atoms
O
Object Creation	FO(C) and Related Modelling Paradigms
P
Partially Observable Markov Decision Processes	Integrating Declarative Programming and Probabilistic Graphical Models for Knowledge Representation and Reasoning in Robotics
Preference based Argumentation	Non-Monotonic Reasoning and Story Comprehension
preferences on rules	A Family of Descriptive Approaches To Preferred Answer Sets
preferred answer sets	A Family of Descriptive Approaches To Preferred Answer Sets
Probabilistic Inductive Logic Programming Statistical Relational Learning	Probabilistic Inductive Logic Programming based on Answer Set Programming
program debugging	Interactive Debugging of ASP Programs
proof complexity	Tableau vs. Sequent Calculi for Minimal Entailment
R
ranking semantics	A Plausibility Semantics for Abstract Argumentation Frameworks
realizability	Compact Argumentation Frameworks
Reasoning about Actions and Change	Non-Monotonic Reasoning and Story Comprehension An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report
Robotics	Integrating Declarative Programming and Probabilistic Graphical Models for Knowledge Representation and Reasoning in Robotics
S
semantics	Semantics and Compilation of Answer Set Programming with Generalized Atoms On Strong and Default Negation in Logic Program Updates
sequent calculi	Tableau vs. Sequent Calculi for Minimal Entailment
simulations	Tableau vs. Sequent Calculi for Minimal Entailment
Stable Models	Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
Story Comprehension	Non-Monotonic Reasoning and Story Comprehension
Strategies for dialogical argumentation	Analysis of Dialogical Argumentation via Finite State Machines
strong equivalence	An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence
strong negation	On Strong and Default Negation in Logic Program Updates
T
tableau systems	Tableau vs. Sequent Calculi for Minimal Entailment
termination	Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
textual entailment	Towards a Benchmark of Natural Language Arguments
transformation	Inference in the FO(C) Modelling Language
Trust	Belief Revision and Trust
U
Uncertainty Reasoning	Probabilistic Inductive Logic Programming based on Answer Set Programming
updates	On Strong and Default Negation in Logic Program Updates
W
well-supported models	On Strong and Default Negation in Logic Program Updates

Disclaimer | Powered by EasyChair Smart Program