ICLP Program

10:45	Tom Schrijvers Conference Opening (abstract)
11:00	Flavio Cruz, Ricardo Rocha, Seth Goldstein and Frank Pfenning A Linear Logic Programming Language for Concurrent Programming over Graph Structures (abstract)
11:30	Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa and Riccardo Zese Lifted Variable Elimination for Probabilistic Logic Programming (abstract)
12:00	Angelos Charalambidis, Zoltan Esik and Panos Rondogiannis Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (abstract)
12:30	Marco Comini, Laura Titolo and Alicia Villanueva Abstract Diagnosis for tccp using a Linear Temporal Logic (abstract)

13:00-14:30Lunch Break

14:30-16:00 Session 113B: Invited Talk / Technical Session: Domain Specific Languages

Chair:

Manuel Carro

Location: FH, Hörsaal 8

14:30	Ethan K. Jackson A Module System for Domain-Specific Languages (abstract)
15:00	Neng-Fa Zhou Combinatorial Search With Picat (abstract)

16:00-16:30Coffee Break

16:30-18:00 Session 116B: Technical Session: Tabling and the Web

Chair:

Gerda Janssens

Location: FH, Hörsaal 8

16:30	Torbjörn Lager and Jan Wielemaker Pengines: Web Logic Programming Made Easy (abstract)
17:00	Terrance Swift Incremental Tabling for Knowledge Representation and Reasoning (abstract)
17:30	Theofrastos Mantadelis, Ricardo Rocha and Paulo Moura Tabling, Rational Terms, and Coinduction Finally Together! (abstract)

19:00-21:30 Session 122: VSL Reception 2

Location: University of Vienna, Arkadenhof

Sunday, July 20th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

08:45-10:15 Session 123: FLoC Plenary Talk (joint with 9 other meetings)

Chair:

Andrei Voronkov

Location: FH, Hörsaal 1

08:45

Véronique Cortier

FLoC Plenary Talk: Electronic voting: how logic can help? (abstract)

Saturday, July 19th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

22:00-23:59 Session 123: VSL Student Reception 2

Location: Säulenhalle (Volksgarten)

Sunday, July 20th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

10:15-10:45Coffee Break

10:15-18:00 Session 126A: FLoC Olympic Games Big Screen: CASC Automated Theorem Proving System Competition (CASC-J7) (joint with 9 other meetings)

Location: FH, 2nd floor

10:15

Geoff Sutcliffe

FLoC Olympic Games Big Screen: 7th IJCAR ATP System Competition (CASC-J7) (abstract)

10:15-18:00 Session 126B: FLoC Olympic Games Big Screen: Termination Competition (termComp) (joint with 9 other meetings)

Location: FH, 2nd floor

10:15

Jürgen Giesl, Stefan von der Krone, Frederic Mesnard, Albert Rubio, René Thiemann and Johannes Waldmann

FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014) (abstract)

10:45-13:00 Session 127D: Test of Time Award: 10 Years / Technical Session: Constraints and Constraint Handling Rules

Chair:

Michael Hanus

Location: FH, Hörsaal 8

10:45	Peter Stuckey Test of Time Award: 10 Years - The Refined Operational Semantics of Constraint Handling Rules (abstract)
11:30	Gregory J. Duck, Rémy Haemmerlé and Martin Sulzmann On Termination, Confluence and Consistent CHR-based Type Inference (abstract)
12:00	Daniel Gall and Thom Frühwirth Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R (abstract)
12:30	Aya Saad, Thom Fruehwirth and Carmen Gervet The P-Box CDF-Intervals: Reliable Constraint Reasoning with Quantifiable Information (abstract)

13:00-14:30Lunch Break

14:30-16:00 Session 129D: Technical Session: Semantics

Chair:

Torsten Schaub

Location: FH, Hörsaal 8

14:30	Christian Antic On Cascade Products of Answer Set Programs (abstract)
15:00	Michael Gelfond and Yuanlin Zhang Vicious Circle Principle and Logic Programs with Aggregates (abstract)
15:30	Pedro Cabalar, Jorge Fandiño and Michael Fink Causal Graph Justifications of Logic Programs (abstract)

14:30-16:00 Session 129G: FLoC Olympic Games: Answer Set Programming Modeling Competition 2014 (joint with 9 other meetings)

Location: FH, Hörsaal 2

14:30

Francesco Calimeri, Martin Gebser, Marco Maratea and Francesco Ricca

FLoC Olympic Games: Answer Set Programming Modeling Competition 2014 (abstract)

16:00-16:30Coffee Break

16:30-18:00 Session 130D: ASP Competition Report / Technical Session - Knowledge Representation and Reasoning

Chair:

Marcello Balduccini

Location: FH, Hörsaal 8

16:30	Francesco Calimeri, Martin Gebser, Marco Maratea and Francesco Ricca The Design of the Fifth Answer Set Programming Competition (abstract)
17:00	Bart Bogaerts, Joachim Jansen, Bruynooghe Maurice, Broes De Cat, Joost Vennekens and Marc Denecker Simulating Dynamic Systems Using Linear Time Calculus Theories (abstract)
17:30	Holger Hoos, Marius Lindauer and Torsten Schaub claspfolio 2: Advances in Algorithm Selection for Answer Set Programming (abstract)

Monday, July 21st, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

10:45-13:00 Session 138D: Technical Communications: Track 1 - Knowledge Representation

Chair:

Ilkka Niemelä

Location: FH, Hörsaal 8

10:45	Ana Sofia Gomes and Jose Julio Alferes Transaction Logic with (Complex) Events (abstract)
11:00	Mário Abrantes and Luís Moniz Pereira Properties of Stable Model Semantics Extensions (abstract)
11:15	Yi Bi, Jia-Huai You and Zhiyong Feng A Well-Founded Semantics for FOL-Programs (abstract)
11:30	Martin Slota, Martin Balaz and Joao Leite On Strong and Default Negation in Answer-Set Program Updates (abstract)
11:45	Bart Bogaerts, Joost Vennekens, Marc Denecker and Jan Van den Bussche C-Log: A Knowledge Representation Language of Causality (abstract)
12:00	Zhizheng Zhang ESmodels: An Epistemic Specification Solver (abstract)
12:15	Rehan Abdul Aziz, Geoffrey Chu and Peter J. Stuckey Grounding Bound Founded Answer Set Programs (abstract)
12:30	Marcello Balduccini, William Regli and Duc Nguyen An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (abstract)

10:45-13:00 Session 138G: Technical Communications: Track 2 - Systems and Paradigms

Chair:

Michael Kifer

Location: FH, Seminarraum 134

10:45	Marco Gavanelli, Michela Milano, Stefano Bragaglia, Federico Chesani, Elisa Marengo and Paolo Cagnoli Multi-criteria optimal planning for Energy policies in CLP (abstract)
11:00	G. Narboni Numerical Properties of Min-closed CSPs (abstract)
11:15	Martin Gebser, Roland Kaminski, Benjamin Kaufmann and Torsten Schaub Clingo = ASP + Control (abstract)
11:30	Tiep Le, Enrico Pontelli, Tran Cao Son and William Yeoh Logic and Constraint Logic Programming for Distributed Constraint Optimization (abstract)
11:45	Jónathan Heras, Ekaterina Komendantskaya and Martin Schmidt Guarding Corecursion in Logic Programming (abstract)
12:00	Arun Nampally and C. R. Ramakrishnan Adaptive MCMC-Based Inference in Probabilistic Logic Programs (abstract)
12:15	Stefan Brass A Framework for Bottom-Up Simulation of SLD-Resolution (abstract)

10:45-13:00 Session 138H: Technical Communications: Track 3 - Prolog

Chair:

Jan Wielemaker

Location: FH, Seminarraum 134A

10:45	Ari Saptawijaya and Luís Moniz Pereira Joint Tabling of Logic Program Abductions and Updates (abstract)
11:00	Miguel Areias and Ricardo Rocha A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling (abstract)
11:15	Nataliia Stulova, Jose F. Morales and Manuel V. Hermenegildo Towards Assertion-based Debugging of Higher-Order (C)LP Programs (abstract)
11:30	John P. Gallagher and Bishoksan Kafle Analysis and Transformation Tools for Constrained Horn Clause Verification (abstract)
11:45	George Souza Oliveira and Anderson Faustino Da Silva Towards an Efficient Prolog System by Code Introspection (abstract)
12:00	Sergio Castro, Kim Mens and Paulo Moura Customisable Handling of Java References in Prolog Programs (abstract)
12:15	Paul Tarau and Fahmida Hamid Entanglement Patterns and Logic Programming Language Constructs (abstract)

14:30-16:00 Session 140D: Best Doctoral Consortium Talk / Technical Session - Abduction

Chair:

Martin Gebser

Location: FH, Hörsaal 8

14:30	Tom Schrijvers Best Doctoral Consortium Talk (abstract)
15:00	Luciano Caroprese, Mirek Truszczynski, Ester Zumpano and Irina Trubitsyna A Measure of Arbitrariness in Abductive Explanations (abstract)
15:30	Luís Moniz Pereira, Emmanuelle-Anna Dietz and Steffen Hölldobler Contextual Abductive Reasoning with Side-Effects (abstract)

Sunday, July 20th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

19:00-21:30 Session 142: VSL Banquet 2

Location: Schönbrunn

Monday, July 21st, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

08:45-10:15 Session 144A: VSL Keynote Talk

Chair:

Thomas Eiter

Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1

08:45

Franz Baader

VSL Keynote Talk: Ontology-Based Monitoring of Dynamic Systems (abstract)

10:15-10:45Coffee Break

13:00-14:30Lunch Break

16:00-16:30Coffee Break

19:00-20:00 Session 148: Public Meeting of the Association for Logic Programming

Chair:

Gopal Gupta

Location: FH, Hörsaal 8

19:00-20:00 Session 149A: VSL Public Lecture 2

Location: MB, Kuppelsaal

19:00

Friedrich Stadler

VSL Public Lecture: Vienna Circle(s) - Between Philosophy and Science in Cultural Context (abstract)

Tuesday, July 22nd, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

10:45-13:00 Session 149D: Test of Time Award: 20 Years / Technical Session- Constraint Programming

Chair:

Neng-Fa Zhou

Location: FH, Hörsaal 8

10:45	Pascal Van Hentenryck Test of Time Awards: 20 Years - CLP(Intervals) Revisited (abstract)
11:30	Roberto Amadini, Maurizio Gabbrielli and Jacopo Mauro SUNNY: a Lazy Portfolio Approach for Constraint Solving (abstract)
12:00	Roman Bartak and Neng-Fa Zhou Using Tabled Logic Programming to Solve the Petrobras Planning Problem (abstract)
12:30	Vivek Nigam, Carlos Olarte and Elaine Pimentel A Proof Theoretic Study of Soft Concurrent Constraint Programming (abstract)

Monday, July 21st, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

16:30-19:00 Session 151A: VSL Joint Award Ceremony 2

Chair:

Helmut Veith

Location: MB, Kuppelsaal

16:30	Floc Olympic Games FLoC Olympic Games Award Ceremony 2 (abstract)
18:00	Werner Depauli-Schimanovich Lifetime Achievement Award (abstract)
18:10	Mingyi Zhang Lifetime Achievement Award (abstract)
18:20	European Masters Program In Computational Logic EMCL Distinguished Alumni Award (abstract)
18:30	Helmut Veith FLoC Closing Week 2 (abstract)

Tuesday, July 22nd, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

14:30-16:00 Session 151D: Invited Talk / Technical Session - Program Analysis

Chair:

Michael Leuschel

Location: FH, Hörsaal 8

14:30	Andrey Rybalchenko (Quantified) Horn Constraint Solving for Program Verification and Synthesis (abstract)
15:30	Alejandro Serrano, Pedro Lopez-Garcia and Manuel V. Hermenegildo Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types (abstract)

16:30-18:00 Session 153A: Technical Session - Answer Set Programming

Chair:

Marc Denecker

Location: FH, Hörsaal 8

16:30	Kyle Marple and Gopal Gupta Dynamic Consistency Checking in Goal-Directed Answer Set Programming (abstract)
17:00	Mario Alviano, Carmine Dodaro and Francesco Ricca Anytime Computation of Cautious Consequences in Answer Set Programming (abstract)
17:30	Ilias Tachmazidis, Grigoris Antoniou and Wolfgang Faber Efficient Computation of the Well-Founded Semantics over Big Data (abstract)

08:45-10:15 Session 156: VSL Keynote Talk

Chair:

Helmut Veith

Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1

08:45

Edmund Clarke

VSL Keynote Talk: Verification of Computer Systems with Model Checking (abstract)

10:15-10:45Coffee Break

13:00-14:30Lunch Break

16:00-16:30Coffee Break