Sign in
ICLP
1982
1996
2009
2023
1982
2023
Keyphrases
Publications
2023
Zahra Chaghazardi
,
Saber Fallah
,
Alireza Tamaddoni-Nezhad
Explainable and Trustworthy Traffic Sign Detection for Safe Autonomous Driving: An Inductive Logic Programming Approach.
ICLP
(2023)
Maximiliano Klemen
,
Miguel Á. Carreira-Perpiñán
,
Pedro López-García
Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis.
ICLP
(2023)
Vineel S. K. Tummala
Penalization Framework For Autonomous Agents Using Answer Set Programming.
ICLP
(2023)
2009
David Vaz
,
Vítor Santos Costa
,
Michel Ferreira
User Defined Indexing.
ICLP
(2009)
Leslie De Koninck
Execution Control for CHR.
ICLP
(2009)
Jon Sneyers
Optimizing Compilation and Computational Complexity of Constraint Handling Rules.
ICLP
(2009)
Hui Wan
,
Benjamin N. Grosof
,
Michael Kifer
,
Paul Fodor
,
Senlin Liang
Logic Programming with Defaults and Argumentation Theories.
ICLP
(2009)
Paolo Pilozzi
Research Summary: Termination of CHR.
ICLP
(2009)
Michael Thielscher
Answer Set Programming for Single-Player Games in General Game Playing.
ICLP
(2009)
Chendong Li
Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality.
ICLP
(2009)
Matthias Broecheler
,
Gerardo I. Simari
,
V. S. Subrahmanian
Using Histograms to Better Answer Queries to Probabilistic Logic Programs.
ICLP
(2009)
Minh Dao-Tran
,
Thomas Eiter
,
Michael Fink
,
Thomas Krennwallner
Modular Nonmonotonic Logic Programming Revisited.
ICLP
(2009)
Terrance Swift
An Engine for Computing Well-Founded Models.
ICLP
(2009)
Jesús Aranda
,
Gérard Assayag
,
Carlos Olarte
,
Jorge A. Pérez
,
Camilo Rueda
,
Mauricio Toro
,
Frank D. Valencia
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems.
ICLP
(2009)
Gerardo I. Simari
Stochastic Reasoning with Models of Agent Behavior.
ICLP
(2009)
James P. Delgrande
,
Torsten Schaub
,
Hans Tompits
,
Stefan Woltran
Merging Logic Programs under Answer Set Semantics.
ICLP
(2009)
Henning Christiansen
,
John P. Gallagher
Non-discriminating Arguments and Their Uses.
ICLP
(2009)
Marco Bottalico
,
Stefano Bistarelli
Constraint Based Languages for Biological Reactions.
ICLP
(2009)
Miroslaw Truszczynski
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs.
ICLP
(2009)
Mireille Ducassé
(C)LP Tracing and Debugging.
ICLP
(2009)
Johan Wittocx
,
Hanne Vlaeminck
,
Marc Denecker
Debugging for Model Expansion.
ICLP
(2009)
Thomas Eiter
,
Esra Erdem
,
Halit Erdogan
,
Michael Fink
Finding Similar or Diverse Solutions in Answer Set Programming.
ICLP
(2009)
Mantas Simkus
Fusion of Logic Programming and Description Logics.
ICLP
(2009)
Andy King
Untangling Reverse Engineering with Logic and Abstraction.
ICLP
(2009)
Phan Minh Dung
,
Do Duc Hanh
,
Phan Minh Thang
Stabilization of Information Sharing for Queries Answering in Multiagent Systems.
ICLP
(2009)
Paolo Pilozzi
,
Danny De Schreye
Automating Termination Proofs for CHR.
ICLP
(2009)
Neng-Fa Zhou
Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC.
ICLP
(2009)
Xiaoping Chen
,
Jianmin Ji
,
Fangzhen Lin
Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs.
ICLP
(2009)
Dean Voets
,
Danny De Schreye
A New Approach to Non-termination Analysis of Logic Programs.
ICLP
(2009)
Daniela Inclezan
{\cal ALM}.
ICLP
(2009)
Jorge Costa
,
João Raimundo
,
Ricardo Rocha
A Term-Based Global Trie for Tabled Logic Programs.
ICLP
(2009)
Steffen Hölldobler
,
Carroline Dewi Puspa Kencana Ramli
Logic Programs under Three-Valued Lukasiewicz Semantics.
ICLP
(2009)
Paulo Moura
From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse.
ICLP
(2009)
Marc Denecker
A Knowledge Base System Project for FO(.).
ICLP
(2009)
Jianmin Ji
Research Summary.
ICLP
(2009)
Alessandro Dal Palù
,
Agostino Dovier
,
Enrico Pontelli
,
Gianfranco Rossi
Answer Set Programming with Constraints Using Lazy Grounding.
ICLP
(2009)
Edison Mera
,
Pedro López-García
,
Manuel V. Hermenegildo
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.
ICLP
(2009)
Taisuke Sato
Generative Modeling by PRISM.
ICLP
(2009)
Beata Sarna-Starosta
,
Tom Schrijvers
Attributed Data for CHR Indexing.
ICLP
(2009)
Pablo Chico de Guzmán
,
Manuel Carro
,
Manuel V. Hermenegildo
A Tabling Implementation Based on Variables with Multiple Bindings.
ICLP
(2009)
Tran Cao Son
,
Enrico Pontelli
,
Chiaki Sakama
Logic Programming for Multiagent Planning with Negotiation.
ICLP
(2009)
Frank Raiser
Research Summary.
ICLP
(2009)
Torsten Schaub
,
Sven Thiele
Metabolic Network Expansion with Answer Set Programming.
ICLP
(2009)
Henning Christiansen
,
Ole Torp Lassen
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis.
ICLP
(2009)
Leslie De Koninck
,
Gregory J. Duck
,
Peter J. Stuckey
Demand-Driven Normalisation for ACD Term Rewriting.
ICLP
(2009)
Michael P. Ashley-Rollman
Research Summary: Logic Programming for Massively Distributed Systems.
ICLP
(2009)
Christian Theil Have
Logic-Statistic Models with Constraints for Biological Sequence Analysis.
ICLP
(2009)
Michael DeRosa
Locally Distributed Predicates: A Programming Facility for Distributed State Detection.
ICLP
(2009)
Terrance Swift
,
Alexandre Miguel Pinto
,
Luís Moniz Pereira
Incremental Answer Completion in the SLG-WAM.
ICLP
(2009)
volume 5649, 2009
Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings
ICLP
5649 (2009)