List of Posters
-
OPENLOG: A logical language to program reactive and rational agents.
Jacinto Davila
-
Towards Well-Behaved Semantics Suitable for Aggregation.
Jurgen Dix and Mauricio Osorio
-
Type Inference for CLP(FD).
Pawel Pietrzak
-
Disjunctive Completion is Not "Optimal".
Helmut Seidl and Christian Fecht
-
Controlling the Search in Tabled Evaluations.
Juliana Freire and David S. Warren