ASPOCP Program

ASPOCP PROGRAM

Wednesday, July 23rd, 2014

Location: FH, Seminarraum 138A

09:25	Shahab Tasharrofi and Eugenia Ternovska Supported Semantics for Modular Systems (abstract)
09:50	Amelia Harrison, Vladimir Lifschitz, David Pearce and Agustín Valverde Infinitary Equilibrium Logic (abstract)

10:15-10:45Coffee Break

Location: FH, Seminarraum 138A

10:45	Michael Gelfond, Patrick Kahl, Richard Watson and Yuanlin Zhang A Refinement of the Language of Epistemic Specifications (abstract)
11:10	Evgenii Balai and Patrick Kahl Epistemic Logic Programs with Sorts (abstract)

Location: FH, Seminarraum 138A

Location: FH, Seminarraum 138A

11:45	Pedro Cabalar and Martín Diéguez Temporal Stable Models are LTL-representable (abstract)
12:10	Shiqi Zhang, Fangkai Yang, Piyush Khandelwal and Peter Stone Applying Action Language BC with Hierarchical Domain Abstraction to Mobile Robots (abstract)
12:35	Joseph Babb and Joohyung Lee Action Language BC+: Preliminary Report (abstract)

13:00-14:30Lunch Break

Location: FH, Seminarraum 138A

14:45	Stefania Costantini and Andrea Formisano Query Answering in Resource-Based Answer Set Semantics (abstract)
15:10	Martin Gebser, Tomi Janhunen and Jussi Rintanen Declarative Encodings of Acyclicity Properties (abstract)
15:35	Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger and Stefan Woltran Computing Secure Sets in Graphs using Answer Set Programming (abstract)

16:00-16:30Coffee Break

Location: FH, Seminarraum 138A

16:30	Gerhard Brewka, James Delgrande, Javier Romero and Torsten Schaub ``Are Preferences Giving You a Headache?'' - ``Take asprin!'' (abstract)
16:55	Mario Alviano, Carmine Dodaro, Joao Marques-Silva and Francesco Ricca On the Implementation of Weak Constraints in WASP (abstract)
17:20	Kostyantyn Shchekotykhin Interactive Query-based Debugging of ASP Programs (abstract)
17:45	Ilias Tachmazidis, Grigoris Antoniou and Wolfgang Faber Computing Answer Sets for Monadic Logic Programs via MapReduce (abstract)

Location: FH, Seminarraum 138A