VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

2
2-valued semantics for logic programs	Properties of Stable Model Semantics Extensions
A
Abduction	A Measure of Arbitrariness in Abductive Explanations
abductive logic programming	Joint Tabling of Logic Program Abductions and Updates
Abductive Reasoning	Contextual Abductive Reasoning with Side-Effects
abstract diagnosis	Abstract Diagnosis for tccp using a Linear Temporal Logic
abstract interpretation	Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types Analysis and Transformation Tools for Constrained Horn Clause Verification
ACT-R	Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R
Agent Architectures	An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments
agent programming	Pengines: Web Logic Programming Made Easy
Aggregates	Vicious Circle Principle and Logic Programs with Aggregates
Algorithm Configuration	claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
Algorithm Schedules	claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
Algorithm Selection	claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
Algorithms Portfolio	SUNNY: a Lazy Portfolio Approach for Constraint Solving
Answer Set Programming	Causal Graph Justifications of Logic Programs claspfolio 2: Advances in Algorithm Selection for Answer Set Programming Anytime Computation of Cautious Consequences in Answer Set Programming Dynamic Consistency Checking in Goal-Directed Answer Set Programming Clingo = ASP + Control An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments Grounding Bound Founded Answer Set Programs Vicious Circle Principle and Logic Programs with Aggregates
Answer Set Programming (ASP)	On Cascade Products of Answer Set Programs
Answer Set Solving	claspfolio 2: Advances in Algorithm Selection for Answer Set Programming Clingo = ASP + Control
answer-set programming	On Strong and Default Negation in Answer-Set Program Updates
anytime algorithms	Anytime Computation of Cautious Consequences in Answer Set Programming
Approximate inference	Adaptive MCMC-Based Inference in Probabilistic Logic Programs
Approximation Fixpoint Theory	A Well-Founded Semantics for FOL-Programs
Artificial Intelligence	SUNNY: a Lazy Portfolio Approach for Constraint Solving
Assertions	Towards Assertion-based Debugging of Higher-Order (C)LP Programs
Automata	On Cascade Products of Answer Set Programs
B
Belief bias	Contextual Abductive Reasoning with Side-Effects
Big Data	Efficient Computation of the Well-Founded Semantics over Big Data
bottom-up evaluation	A Framework for Bottom-Up Simulation of SLD-Resolution
Bounds-propagation	Numerical Properties of Min-closed CSPs
C
Causality	Causal Graph Justifications of Logic Programs C-Log: A Knowledge Representation Language of Causality
cautious reasoning	Anytime Computation of Cautious Consequences in Answer Set Programming
cdf interval	The P-Box CDF-Intervals: Reliable Constraint Reasoning with Quantifiable Information
CLP applications	Multi-criteria optimal planning for Energy policies in CLP
coinduction	Tabling, Rational Terms, and Coinduction Finally Together!
complex events	Transaction Logic with (Complex) Events
complexity analysis	Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types
computational cognitive modeling	Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R
computational psychology	Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R
concurrency	A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling
concurrent constraint paradigm	Abstract Diagnosis for tccp using a Linear Temporal Logic
Concurrent Constraint Programming	A Proof Theoretic Study of Soft Concurrent Constraint Programming
Concurrent Programming	A Linear Logic Programming Language for Concurrent Programming over Graph Structures
Conditional Queries	Adaptive MCMC-Based Inference in Probabilistic Logic Programs
conflict resolution	Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R
confluence	On Termination, Confluence and Consistent CHR-based Type Inference
Conservative extensions to stable model semantics	Properties of Stable Model Semantics Extensions
Constraint ASP	Grounding Bound Founded Answer Set Programs
Constraint Handling Rules	Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R On Termination, Confluence and Consistent CHR-based Type Inference
Constraint Horn Clause	Analysis and Transformation Tools for Constrained Horn Clause Verification
Constraint Logic Program	Analysis and Transformation Tools for Constrained Horn Clause Verification
Constraint Logic Programming	Towards Assertion-based Debugging of Higher-Order (C)LP Programs Logic and Constraint Logic Programming for Distributed Constraint Optimization
constraint programming	The P-Box CDF-Intervals: Reliable Constraint Reasoning with Quantifiable Information
constraint reasoning	The P-Box CDF-Intervals: Reliable Constraint Reasoning with Quantifiable Information
constraint satisfaction	SUNNY: a Lazy Portfolio Approach for Constraint Solving
constraint satisfaction problem	The P-Box CDF-Intervals: Reliable Constraint Reasoning with Quantifiable Information
Contextual Reasoning	Contextual Abductive Reasoning with Side-Effects
continuation passing Prolog	Entanglement Patterns and Logic Programming Language Constructs
convex structures	The P-Box CDF-Intervals: Reliable Constraint Reasoning with Quantifiable Information
Corecursion	Guarding Corecursion in Logic Programming
Cumulativity	Properties of Stable Model Semantics Extensions
D
data synchronization	Entanglement Patterns and Logic Programming Language Constructs
Database semantics	A Measure of Arbitrariness in Abductive Explanations
Debugging	Towards Assertion-based Debugging of Higher-Order (C)LP Programs
decision procedures	Abstract Diagnosis for tccp using a Linear Temporal Logic
declarative programming language constructs	Entanglement Patterns and Logic Programming Language Constructs
deductive databases	A Framework for Bottom-Up Simulation of SLD-Resolution
default negation	On Strong and Default Negation in Answer-Set Program Updates
Defectivity	Properties of Stable Model Semantics Extensions
Distributed Constraint Optimization Problems	Logic and Constraint Logic Programming for Distributed Constraint Optimization
distributed programming	Pengines: Web Logic Programming Made Easy
Distribution Semantics	Lifted Variable Elimination for Probabilistic Logic Programming
Domain-specific languages	A Module System for Domain-Specific Languages
dynamic consistency checking	Dynamic Consistency Checking in Goal-Directed Answer Set Programming
Dynamic Domains	An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments
Dynamic systems	Simulating Dynamic Systems Using Linear Time Calculus Theories
E
Eager Languages	Guarding Corecursion in Logic Programming
Epistemic Specification	ESmodels: An Epistemic Specification Solver
Excessiveness	Properties of Stable Model Semantics Extensions
Existence	Properties of Stable Model Semantics Extensions
F
first-order logic	A Well-Founded Semantics for FOL-Programs
Flattening	Grounding Bound Founded Answer Set Programs
G
goal-directed	Dynamic Consistency Checking in Goal-Directed Answer Set Programming
Graphs	A Linear Logic Programming Language for Concurrent Programming over Graph Structures
Grounding	Grounding Bound Founded Answer Set Programs
Guardedness	Guarding Corecursion in Logic Programming
H
Hash Tries	A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling
higher-order	Towards Assertion-based Debugging of Higher-Order (C)LP Programs
higher-order logic programming	Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
Human Reasoning	Contextual Abductive Reasoning with Side-Effects
I
Implementation	Tabling, Rational Terms, and Coinduction Finally Together! A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling Logic and Constraint Logic Programming for Distributed Constraint Optimization
Incremental reasoning	Clingo = ASP + Control
incremental tabling	Joint Tabling of Logic Program Abductions and Updates
inferences	Simulating Dynamic Systems Using Linear Time Calculus Theories
infinite-valued logics	Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
Inspection Points	Contextual Abductive Reasoning with Side-Effects
Instance features	claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
Instrospection	Towards an Efficient Prolog System by Code Introspection
Interval solvers	Numerical Properties of Min-closed CSPs
Irregularity	Properties of Stable Model Semantics Extensions
J
Java	Customisable Handling of Java References in Prolog Programs
K
knowledge base system	Simulating Dynamic Systems Using Linear Time Calculus Theories
Knowledge Representation	Causal Graph Justifications of Logic Programs C-Log: A Knowledge Representation Language of Causality ESmodels: An Epistemic Specification Solver
Krohn-Rhodes Theory	On Cascade Products of Answer Set Programs
L
Language Design	A Linear Logic Programming Language for Concurrent Programming over Graph Structures
Language Interoperability	Customisable Handling of Java References in Prolog Programs
Lazy Languages	Guarding Corecursion in Logic Programming
Lifted inference	Lifted Variable Elimination for Probabilistic Logic Programming
linear logic	A Linear Logic Programming Language for Concurrent Programming over Graph Structures A Proof Theoretic Study of Soft Concurrent Constraint Programming
Linear Temporal Logic	Abstract Diagnosis for tccp using a Linear Temporal Logic
Lock-freedom	A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling
logic	C-Log: A Knowledge Representation Language of Causality
Logic Progarms	A Well-Founded Semantics for FOL-Programs
logic program updates	Joint Tabling of Logic Program Abductions and Updates
logic programming	Customisable Handling of Java References in Prolog Programs A Measure of Arbitrariness in Abductive Explanations Towards Assertion-based Debugging of Higher-Order (C)LP Programs Contextual Abductive Reasoning with Side-Effects ESmodels: An Epistemic Specification Solver
logic variables	Entanglement Patterns and Logic Programming Language Constructs
Loop Detection	Guarding Corecursion in Logic Programming
LP design and implementation	A Module System for Domain-Specific Languages
M
machine learning	SUNNY: a Lazy Portfolio Approach for Constraint Solving
Magic Sets	Grounding Bound Founded Answer Set Programs
MapReduce Framework	Efficient Computation of the Well-Founded Semantics over Big Data
Markov Chain Monte Carlo Techniques	Adaptive MCMC-Based Inference in Probabilistic Logic Programs
Mass Parallelization	Efficient Computation of the Well-Founded Semantics over Big Data
Min-closed constraints	Numerical Properties of Min-closed CSPs
Module systems	A Module System for Domain-Specific Languages
Multi-Paradigm Programming	Customisable Handling of Java References in Prolog Programs
Multi-valued Logic Programming	Causal Graph Justifications of Logic Programs
Mutability	Towards an Efficient Prolog System by Code Introspection
N
negation-as-failure	Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
non-monotonic fixed point theory	Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
Non-monotonic Logic Programming	Vicious Circle Principle and Logic Programs with Aggregates
Non-monotonic reasoning	C-Log: A Knowledge Representation Language of Causality
non-termination	On Termination, Confluence and Consistent CHR-based Type Inference
nonmonotonic reasoning	Efficient Computation of the Well-Founded Semantics over Big Data
O
Object-Oriented Programming	Customisable Handling of Java References in Prolog Programs
optimization	A Framework for Bottom-Up Simulation of SLD-Resolution
P
Parallel Reasoning	Efficient Computation of the Well-Founded Semantics over Big Data
partial evaluation	A Framework for Bottom-Up Simulation of SLD-Resolution
performance	A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling
planning	Using Tabled Logic Programming to Solve the Petrobras Planning Problem
Portfolio Solving	claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
Probabilistic Logic Programming	Lifted Variable Elimination for Probabilistic Logic Programming Adaptive MCMC-Based Inference in Probabilistic Logic Programs
probability box	The P-Box CDF-Intervals: Reliable Constraint Reasoning with Quantifiable Information
ProbLog	Lifted Variable Elimination for Probabilistic Logic Programming
production rule systems	Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R
program verification	Abstract Diagnosis for tccp using a Linear Temporal Logic
programming	Incremental Tabling for Knowledge Representation and Reasoning
Progression	Simulating Dynamic Systems Using Linear Time Calculus Theories
Prolog	Customisable Handling of Java References in Prolog Programs
Prolog implementation	Entanglement Patterns and Logic Programming Language Constructs
Prolog System	Towards an Efficient Prolog System by Code Introspection
proof theory	A Proof Theoretic Study of Soft Concurrent Constraint Programming
Q
query answering	Anytime Computation of Cautious Consequences in Answer Set Programming
Query Evaluation	Adaptive MCMC-Based Inference in Probabilistic Logic Programs
query languages	Pengines: Web Logic Programming Made Easy
R
Rational Terms	Tabling, Rational Terms, and Coinduction Finally Together!
Reactive reasoning	Clingo = ASP + Control
reactive systems	Transaction Logic with (Complex) Events
Regional Energy Planning	Multi-criteria optimal planning for Energy policies in CLP
Relevance	Properties of Stable Model Semantics Extensions
reliable constraint reasoning	The P-Box CDF-Intervals: Reliable Constraint Reasoning with Quantifiable Information
remote code execution	Entanglement Patterns and Logic Programming Language Constructs
Resource Usage Analysis	Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types
resource-bounded search	Using Tabled Logic Programming to Solve the Petrobras Planning Problem
S
s	Entanglement Patterns and Logic Programming Language Constructs
Scalability	Efficient Computation of the Well-Founded Semantics over Big Data
semantics	A Linear Logic Programming Language for Concurrent Programming over Graph Structures A Well-Founded Semantics for FOL-Programs On Strong and Default Negation in Answer-Set Program Updates
Side-effects	Contextual Abductive Reasoning with Side-Effects
simulation	Simulating Dynamic Systems Using Linear Time Calculus Theories
SLD-resolution	A Framework for Bottom-Up Simulation of SLD-Resolution
Soft Constraints	A Proof Theoretic Study of Soft Concurrent Constraint Programming
software design patterns	Entanglement Patterns and Logic Programming Language Constructs
Software Verification	Analysis and Transformation Tools for Constrained Horn Clause Verification
stable model semantics	Properties of Stable Model Semantics Extensions
Statistical Relational Artificial Intelligence	Lifted Variable Elimination for Probabilistic Logic Programming
Strategic Environmental Assessment	Multi-criteria optimal planning for Energy policies in CLP
strong negation	On Strong and Default Negation in Answer-Set Program Updates
T
tabled abduction	Joint Tabling of Logic Program Abductions and Updates
Tabling	Tabling, Rational Terms, and Coinduction Finally Together! Incremental Tabling for Knowledge Representation and Reasoning Using Tabled Logic Programming to Solve the Petrobras Planning Problem A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling
Term Size Analysis	Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types
termination	Guarding Corecursion in Logic Programming
Three-valued Łukasiewicz Logic	Contextual Abductive Reasoning with Side-Effects
transaction logic	Transaction Logic with (Complex) Events
transactions	Transaction Logic with (Complex) Events
type inference	On Termination, Confluence and Consistent CHR-based Type Inference
U
uncertainty	The P-Box CDF-Intervals: Reliable Constraint Reasoning with Quantifiable Information
updates	Incremental Tabling for Knowledge Representation and Reasoning On Strong and Default Negation in Answer-Set Program Updates
V
Validation	Towards Assertion-based Debugging of Higher-Order (C)LP Programs
Variable Elimination	Lifted Variable Elimination for Probabilistic Logic Programming
W
Weak Completion Semantics	Contextual Abductive Reasoning with Side-Effects
web programming	Pengines: Web Logic Programming Made Easy
well-founded model	Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
Well-Founded Semantics	Efficient Computation of the Well-Founded Semantics over Big Data
well-supported models	On Strong and Default Negation in Answer-Set Program Updates
X
XSB Prolog	Joint Tabling of Logic Program Abductions and Updates

Disclaimer | Powered by EasyChair Smart Program