VSL 2014: VIENNA SUMMER OF LOGIC 2014

ICLP ON MONDAY, JULY 21ST: TALK VIEW

Days:
previous day
next day
all days

View: with abstractssession overviewside by side with other conferences

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
20:00
10:45-11:00
Transaction Logic with (Complex) Events
Ana Sofia Gomes, Jose Julio Alferes
11:00-11:15
Properties of Stable Model Semantics Extensions
Mário Abrantes, Luís Moniz Pereira
11:15-11:30
A Well-Founded Semantics for FOL-Programs
Yi Bi, Jia-Huai You, Zhiyong Feng
11:30-11:45
On Strong and Default Negation in Answer-Set Program Updates
Martin Slota, Martin Balaz, Joao Leite
11:45-12:00
C-Log: A Knowledge Representation Language of Causality
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
12:00-12:15
ESmodels: An Epistemic Specification Solver
Zhizheng Zhang
12:15-12:30
Grounding Bound Founded Answer Set Programs
Rehan Abdul Aziz, Geoffrey Chu, Peter J. Stuckey
12:30-12:45
An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments
Marcello Balduccini, William Regli, Duc Nguyen
10:45-11:00
Multi-criteria optimal planning for Energy policies in CLP
M. Gavanelli, M. Milano, S. Bragaglia, F. Chesani, E. Marengo, P. Cagnoli
11:00-11:15
Numerical Properties of Min-closed CSPs
G. Narboni
11:15-11:30
Clingo = ASP + Control
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
11:30-11:45
Logic and Constraint Logic Programming for Distributed Constraint Optimization
Tiep Le, Enrico Pontelli, Tran Cao Son, William Yeoh
11:45-12:00
Guarding Corecursion in Logic Programming
Jónathan Heras, Ekaterina Komendantskaya, Martin Schmidt
12:00-12:15
Adaptive MCMC-Based Inference in Probabilistic Logic Programs
Arun Nampally, C. R. Ramakrishnan
12:15-12:30
A Framework for Bottom-Up Simulation of SLD-Resolution
Stefan Brass
10:45-11:00
Joint Tabling of Logic Program Abductions and Updates
Ari Saptawijaya, Luís Moniz Pereira
11:00-11:15
A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling
Miguel Areias, Ricardo Rocha
11:15-11:30
Towards Assertion-based Debugging of Higher-Order (C)LP Programs
Nataliia Stulova, Jose F. Morales, Manuel V. Hermenegildo
11:30-11:45
Analysis and Transformation Tools for Constrained Horn Clause Verification
John P. Gallagher, Bishoksan Kafle
11:45-12:00
Towards an Efficient Prolog System by Code Introspection
George Souza Oliveira, Anderson Faustino Da Silva
12:00-12:15
Customisable Handling of Java References in Prolog Programs
Sergio Castro, Kim Mens, Paulo Moura
12:15-12:30
Entanglement Patterns and Logic Programming Language Constructs
Paul Tarau, Fahmida Hamid
14:30-15:00
Best Doctoral Consortium Talk
Tom Schrijvers
15:00-15:30
A Measure of Arbitrariness in Abductive Explanations
Luciano Caroprese, Mirek Truszczynski, Ester Zumpano, Irina Trubitsyna
15:30-16:00
Contextual Abductive Reasoning with Side-Effects
Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
19:00-20:00 Public Meeting of the Association for Logic Programming
08:45-09:45
VSL Keynote Talk: Ontology-Based Monitoring of Dynamic Systems
Franz Baader
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
16:30-18:00
FLoC Olympic Games Award Ceremony 2
Floc Olympic Games
18:00-18:10
Lifetime Achievement Award
Werner Depauli-Schimanovich
18:10-18:20
Lifetime Achievement Award
Mingyi Zhang
18:20-18:30
EMCL Distinguished Alumni Award
European Masters Program In Computational Logic
18:30-18:45
FLoC Closing Week 2
Helmut Veith
19:00-20:00
VSL Public Lecture: Vienna Circle(s) - Between Philosophy and Science in Cultural Context
Friedrich Stadler
Disclaimer | Powered by EasyChair Smart Program