ASPOCP 2014 PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index Additional files

Shortcuts: A B C D F G H J K L M P R S T V W Y Z

A
Abseher, Michael	Computing Secure Sets in Graphs using Answer Set Programming (PDF, talk)
Alviano, Mario	On the Implementation of Weak Constraints in WASP (PDF, talk)
Antoniou, Grigoris	Computing Answer Sets for Monadic Logic Programs via MapReduce (PDF, talk)
B
Babb, Joseph	Action Language BC+: Preliminary Report (PDF, talk)
Balai, Evgenii	Epistemic Logic Programs with Sorts (PDF, talk)
Bliem, Bernhard	Computing Secure Sets in Graphs using Answer Set Programming (PDF, talk)
Brewka, Gerhard	``Are Preferences Giving You a Headache?'' - ``Take asprin!'' (PDF, talk)
C
Cabalar, Pedro	Temporal Stable Models are LTL-representable (PDF, talk)
Charwat, Günther	Computing Secure Sets in Graphs using Answer Set Programming (PDF, talk)
Costantini, Stefania	Query Answering in Resource-Based Answer Set Semantics (PDF, talk)
D
Delgrande, James	``Are Preferences Giving You a Headache?'' - ``Take asprin!'' (PDF, talk)
Diéguez, Martín	Temporal Stable Models are LTL-representable (PDF, talk)
Dodaro, Carmine	On the Implementation of Weak Constraints in WASP (PDF, talk)
Dusberger, Frederico	Computing Secure Sets in Graphs using Answer Set Programming (PDF, talk)
F
Faber, Wolfgang	Computing Answer Sets for Monadic Logic Programs via MapReduce (PDF, talk)
Formisano, Andrea	Query Answering in Resource-Based Answer Set Semantics (PDF, talk)
G
Gebser, Martin	Declarative Encodings of Acyclicity Properties (PDF, talk)
Gelfond, Michael	A Refinement of the Language of Epistemic Specifications (PDF, talk)
H
Harrison, Amelia	Infinitary Equilibrium Logic (PDF, talk)
J
Janhunen, Tomi	Declarative Encodings of Acyclicity Properties (PDF, talk)
K
Kahl, Patrick	Epistemic Logic Programs with Sorts (PDF, talk) A Refinement of the Language of Epistemic Specifications (PDF, talk)
Khandelwal, Piyush	Mobile Robot Planning using Action Language BC with Hierarchical Domain Abstractions (PDF, talk)
L
Lee, Joohyung	Action Language BC+: Preliminary Report (PDF, talk)
Lifschitz, Vladimir	Infinitary Equilibrium Logic (PDF, talk)
M
Marques-Silva, Joao	On the Implementation of Weak Constraints in WASP (PDF, talk)
P
Pearce, David	Infinitary Equilibrium Logic (PDF, talk)
R
Ricca, Francesco	On the Implementation of Weak Constraints in WASP (PDF, talk)
Rintanen, Jussi	Declarative Encodings of Acyclicity Properties (PDF, talk)
Romero, Javier	``Are Preferences Giving You a Headache?'' - ``Take asprin!'' (PDF, talk)
S
Schaub, Torsten	``Are Preferences Giving You a Headache?'' - ``Take asprin!'' (PDF, talk)
Shchekotykhin, Kostyantyn	Interactive Query-based Debugging of ASP Programs (PDF, talk)
Stone, Peter	Mobile Robot Planning using Action Language BC with Hierarchical Domain Abstractions (PDF, talk)
T
Tachmazidis, Ilias	Computing Answer Sets for Monadic Logic Programs via MapReduce (PDF, talk)
Tasharrofi, Shahab	Supported Semantics for Modular Systems (PDF, talk)
Ternovska, Eugenia	Supported Semantics for Modular Systems (PDF, talk)
V
Valverde, Agustín	Infinitary Equilibrium Logic (PDF, talk)
W
Watson, Richard	A Refinement of the Language of Epistemic Specifications (PDF, talk)
Woltran, Stefan	Computing Secure Sets in Graphs using Answer Set Programming (PDF, talk)
Y
Yang, Fangkai	Mobile Robot Planning using Action Language BC with Hierarchical Domain Abstractions (PDF, talk)
Z
Zhang, Shiqi	Mobile Robot Planning using Action Language BC with Hierarchical Domain Abstractions (PDF, talk)
Zhang, Yuanlin	A Refinement of the Language of Epistemic Specifications (PDF, talk)