VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

Disclaimer | Powered by EasyChair Smart Program