ASPOCP 2014 PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index Additional files

Shortcuts: A C D E G H I J K L M N O P Q R S T W

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