spacer.png, 0 kB
spacer.png, 0 kB
Home arrow The Conference arrow Accepted Short Papers
Accepted Short Papers

Bart Demoen and Phuong-Lan Nguyen.
Environment Reuse in the WAM
Wim Vanhoof and François Degrave.
An algorithm for sophisticated code matching in logic programs
Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, and Emma Rollon.
A soft approach to multi-objective optimization
Fabrizio Riguzzi.
Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics (poster)
Jorge A. Perez and Camilo Rueda.
Towards a CCP-based Framework for the Analysis of Probabilistic Reactive Systems (Extended Abstract)
Piero Bonatti, Juri Luca De Coi, Daniel Olmedilla, and luigi sauro.
Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security
Francesco Buccafurri, Gianluca Caminiti, and Rosario Laurendi.
A Logic Language with Stable Model Semantics for Social Reasoning
Paul Tarau.
Logic Engines and Interactors
Tom Schrijvers, Vitor Santos Costa, Jan Wielemaker, and Bart Demoen.
Towards Typed Prolog
German Vidal.
Trace Analysis for Predicting the Effectiveness of Partial Evaluation
Joohyung Lee, Vladimir Lifschitz, and Ravi Palla.
Safe Formulas in the General Theory of Stable Models
Jorge Costa and Ricardo Rocha.
Global Storing Mechanisms for Tabled Evaluation
Uwe Egly, Sarah Alice Gaggl, and Stefan Woltran.
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming
Jon Sneyers.
Turing-complete Subclasses of CHR
Hakim Belhaouari and Frederic Peschanski.
A Constraint Logic Programming Approach to Automated Testing
Carlos Damasio, Anh Han The, and Carroline D.P Kencana Ramli.
An implementation of extended P-log using XASP.
Paulo Moura, Ricardo Rocha, and Sara C. Madeira.
Thread-Based Competitive Or-Parallelism (Extended Abstract)
Sebastien Siva, James Lu, and Hantao Zhang.
A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract)
Stephen Muggleton, Jose Santos, and Alireza Tamaddoni-Nezhad.
TopLog: ILP using a logic program declarative bias
Michael Codish, Peter Stuckey, and Vitaly Lagoon.
Telecommunications Feature Subscription as a Partial Order Constraint Problem
Tomi Janhunen.
Removing Redundancy from Answer Set Programs
Jesus Aranda, Jorge A. Perez, Camilo Rueda, and Frank Valencia.
Explicit Discrete Time and Stochastic Behavior in CCP
Giulio Piancastelli and Andrea Omicini.
A Multi-Theory Logic Language for the World Wide Web
Raffaele Cipriano, Agostino Dovier, and Jacopo Mauro.
Compiling and Executing Declarative Modeling Languages in Gecode
Owen Cliffe, Marina De Vos, Martin Brain, and Julian Padget.
ASPViz: Declarative Visualisation and Animation Using Answer Set Programming
Pablo Chico de Guzmán, Manuel Carro, and Manuel Hermenegildo.
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation

Last Updated ( Friday, 05 September 2008 )
spacer.png, 0 kB
spacer.png, 0 kB
spacer.png, 0 kB