VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

A
action languages	Action Language BC+: Preliminary Report Applying Action Language BC with Hierarchical Domain Abstraction to Mobile Robots
acyclicity properties	Declarative Encodings of Acyclicity Properties
alliances in graphs	Computing Secure Sets in Graphs using Answer Set Programming
Answer Set Programming	Interactive Query-based Debugging of ASP Programs Epistemic Logic Programs with Sorts ``Are Preferences Giving You a Headache?'' - ``Take asprin!'' On the Implementation of Weak Constraints in WASP Temporal Stable Models are LTL-representable Action Language BC+: Preliminary Report Query Answering in Resource-Based Answer Set Semantics Declarative Encodings of Acyclicity Properties
answer set programming extensions	A Refinement of the Language of Epistemic Specifications
ASP	Epistemic Logic Programs with Sorts On the Implementation of Weak Constraints in WASP
ASP debugging	Interactive Query-based Debugging of ASP Programs
C
conformant planning	A Refinement of the Language of Epistemic Specifications
D
diagnosis discrimination	Interactive Query-based Debugging of ASP Programs
E
epistemic logic programs	A Refinement of the Language of Epistemic Specifications Epistemic Logic Programs with Sorts
epistemic specifications	A Refinement of the Language of Epistemic Specifications Epistemic Logic Programs with Sorts
equilibrium logic	Infinitary Equilibrium Logic Temporal Stable Models are LTL-representable
G
general stable models	Temporal Stable Models are LTL-representable
H
hierarchical planning	Applying Action Language BC with Hierarchical Domain Abstraction to Mobile Robots
I
introspective reasoning	A Refinement of the Language of Epistemic Specifications
J
Justifications	Supported Semantics for Modular Systems
K
Knowledge Representation	Epistemic Logic Programs with Sorts Supported Semantics for Modular Systems
L
linear-time temporal logic	Temporal Stable Models are LTL-representable
logic of here-and-there	Infinitary Equilibrium Logic
logic programming	A Refinement of the Language of Epistemic Specifications Epistemic Logic Programs with Sorts
logic-based modeling	Declarative Encodings of Acyclicity Properties
M
MapReduce	Computing Answer Sets for Monadic Logic Programs via MapReduce
MaxSAT	On the Implementation of Weak Constraints in WASP
meta programming	``Are Preferences Giving You a Headache?'' - ``Take asprin!''
modular systems	Supported Semantics for Modular Systems
monadic ASP	Computing Answer Sets for Monadic Logic Programs via MapReduce
multi-context systems	Supported Semantics for Modular Systems
N
Non-monotonic reasoning	Epistemic Logic Programs with Sorts
O
optimization	``Are Preferences Giving You a Headache?'' - ``Take asprin!''
P
parallelization	Computing Answer Sets for Monadic Logic Programs via MapReduce
preference handling	``Are Preferences Giving You a Headache?'' - ``Take asprin!''
procedural semantics	Query Answering in Resource-Based Answer Set Semantics
Q
query generation	Interactive Query-based Debugging of ASP Programs
R
reasoning about actions	Action Language BC+: Preliminary Report
Robotics	Applying Action Language BC with Hierarchical Domain Abstraction to Mobile Robots
rule safety	Epistemic Logic Programs with Sorts
S
satisfiability	Declarative Encodings of Acyclicity Properties
secure sets	Computing Secure Sets in Graphs using Answer Set Programming
security in graphs	Computing Secure Sets in Graphs using Answer Set Programming
sorted signature	Epistemic Logic Programs with Sorts
strong equivalence	Infinitary Equilibrium Logic
supported model semantics	Supported Semantics for Modular Systems
T
temporal stable models	Temporal Stable Models are LTL-representable
top-down query-answering	Query Answering in Resource-Based Answer Set Semantics
W
weak constraints	On the Implementation of Weak Constraints in WASP

Disclaimer | Powered by EasyChair Smart Program