VSL 2014: VIENNA SUMMER OF LOGIC 2014

ICLP ON SUNDAY, JULY 20TH: 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
20:30
21:00
21:30
08:45-09:45
FLoC Plenary Talk: Electronic voting: how logic can help?
Véronique Cortier
08:45-09:45
FLoC Plenary Talk: Electronic voting: how logic can help?
Véronique Cortier
08:45-09:45
FLoC Plenary Talk: Electronic voting: how logic can help?
Véronique Cortier
08:45-09:45
FLoC Plenary Talk: Electronic voting: how logic can help?
Véronique Cortier
08:45-09:45
FLoC Plenary Talk: Electronic voting: how logic can help?
Véronique Cortier
08:45-09:45
FLoC Plenary Talk: Electronic voting: how logic can help?
Véronique Cortier
08:45-09:45
FLoC Plenary Talk: Electronic voting: how logic can help?
Véronique Cortier
08:45-09:45
FLoC Plenary Talk: Electronic voting: how logic can help?
Véronique Cortier
08:45-09:45
FLoC Plenary Talk: Electronic voting: how logic can help?
Véronique Cortier
08:45-09:45
FLoC Plenary Talk: Electronic voting: how logic can help?
Véronique Cortier
10:15-18:00
FLoC Olympic Games Big Screen: 7th IJCAR ATP System Competition (CASC-J7)
Geoff Sutcliffe
10:15-18:00
FLoC Olympic Games Big Screen: 7th IJCAR ATP System Competition (CASC-J7)
Geoff Sutcliffe
10:15-18:00
FLoC Olympic Games Big Screen: 7th IJCAR ATP System Competition (CASC-J7)
Geoff Sutcliffe
10:15-18:00
FLoC Olympic Games Big Screen: 7th IJCAR ATP System Competition (CASC-J7)
Geoff Sutcliffe
10:15-18:00
FLoC Olympic Games Big Screen: 7th IJCAR ATP System Competition (CASC-J7)
Geoff Sutcliffe
10:15-18:00
FLoC Olympic Games Big Screen: 7th IJCAR ATP System Competition (CASC-J7)
Geoff Sutcliffe
10:15-18:00
FLoC Olympic Games Big Screen: 7th IJCAR ATP System Competition (CASC-J7)
Geoff Sutcliffe
10:15-18:00
FLoC Olympic Games Big Screen: 7th IJCAR ATP System Competition (CASC-J7)
Geoff Sutcliffe
10:15-18:00
FLoC Olympic Games Big Screen: 7th IJCAR ATP System Competition (CASC-J7)
Geoff Sutcliffe
10:15-18:00
FLoC Olympic Games Big Screen: 7th IJCAR ATP System Competition (CASC-J7)
Geoff Sutcliffe
10:15-18:00
FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014)
J. Giesl, S. von der Krone, F. Mesnard, A. Rubio, R. Thiemann, J. Waldmann
10:15-18:00
FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014)
J. Giesl, S. von der Krone, F. Mesnard, A. Rubio, R. Thiemann, J. Waldmann
10:15-18:00
FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014)
J. Giesl, S. von der Krone, F. Mesnard, A. Rubio, R. Thiemann, J. Waldmann
10:15-18:00
FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014)
J. Giesl, S. von der Krone, F. Mesnard, A. Rubio, R. Thiemann, J. Waldmann
10:15-18:00
FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014)
J. Giesl, S. von der Krone, F. Mesnard, A. Rubio, R. Thiemann, J. Waldmann
10:15-18:00
FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014)
J. Giesl, S. von der Krone, F. Mesnard, A. Rubio, R. Thiemann, J. Waldmann
10:15-18:00
FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014)
J. Giesl, S. von der Krone, F. Mesnard, A. Rubio, R. Thiemann, J. Waldmann
10:15-18:00
FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014)
J. Giesl, S. von der Krone, F. Mesnard, A. Rubio, R. Thiemann, J. Waldmann
10:15-18:00
FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014)
J. Giesl, S. von der Krone, F. Mesnard, A. Rubio, R. Thiemann, J. Waldmann
10:15-18:00
FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014)
J. Giesl, S. von der Krone, F. Mesnard, A. Rubio, R. Thiemann, J. Waldmann
10:45-11:30
Test of Time Award: 10 Years - The Refined Operational Semantics of Constraint Handling Rules
Peter Stuckey
11:30-12:00
On Termination, Confluence and Consistent CHR-based Type Inference
Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann
12:00-12:30
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R
Daniel Gall, Thom Frühwirth
12:30-13:00
The P-Box CDF-Intervals: Reliable Constraint Reasoning with Quantifiable Information
Aya Saad, Thom Fruehwirth, Carmen Gervet
10:45-11:45
Test of Time Award: 10 Years (Talk presented at ICLP Main Conference)
Peter Stuckey
11:45-12:10
The Impact of Disjunction on Reasoning under Existential Rules
Michael Morak
12:10-12:35
Visualization of Constraint Handling Rules
Nada Sharaf
12:35-13:00
Reasoning with Probabilistic Logics
Riccardo Zese
14:30-15:00
On Cascade Products of Answer Set Programs
Christian Antic
15:00-15:30
Vicious Circle Principle and Logic Programs with Aggregates
Michael Gelfond, Yuanlin Zhang
15:30-16:00
Causal Graph Justifications of Logic Programs
Pedro Cabalar, Jorge Fandiño, Michael Fink
14:30-16:00
FLoC Olympic Games: Answer Set Programming Modeling Competition 2014
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
14:30-16:00
FLoC Olympic Games: Answer Set Programming Modeling Competition 2014
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
14:30-16:00
FLoC Olympic Games: Answer Set Programming Modeling Competition 2014
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
14:30-16:00
FLoC Olympic Games: Answer Set Programming Modeling Competition 2014
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
14:30-16:00
FLoC Olympic Games: Answer Set Programming Modeling Competition 2014
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
14:30-16:00
FLoC Olympic Games: Answer Set Programming Modeling Competition 2014
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
14:30-16:00
FLoC Olympic Games: Answer Set Programming Modeling Competition 2014
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
14:30-16:00
FLoC Olympic Games: Answer Set Programming Modeling Competition 2014
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
14:30-16:00
FLoC Olympic Games: Answer Set Programming Modeling Competition 2014
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
14:30-16:00
FLoC Olympic Games: Answer Set Programming Modeling Competition 2014
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
14:30-14:55
Application of Methods for Syntax Analysis of Context-Free Languages to Query Evaluation of Logic
Heike Stephan
14:55-15:20
Bound Founded Answer Set Programming
Rehan Abdul Aziz
15:20-15:45
CDF-Intervals: A Reliable Framework to Reason about Data with Uncertainty
Aya Saad
16:30-17:00
The Design of the Fifth Answer Set Programming Competition
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
17:00-17:30
Simulating Dynamic Systems Using Linear Time Calculus Theories
B. Bogaerts, J. Jansen, B. Maurice, B. De Cat, J. Vennekens, M. Denecker
17:30-18:00
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
Holger Hoos, Marius Lindauer, Torsten Schaub
16:30-16:55
Model Revision Inference for Extensions of First Order Logic
Joachim Jansen
16:55-17:20
Logic Programming as Scripting Language for Bots in Computer Games
Grzegorz Jaśkiewicz
17:20-18:00 Panel Discussion
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
19:00-21:30 VSL Banquet 2
Disclaimer | Powered by EasyChair Smart Program