Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,169,328 papers from all fields of science
Search
Sign In
Create Free Account
International Conference on Logic Programming
Known as:
ICLP
, ICLP (conference)
The International Conference on Logic Programming (ICLP) is an annual academic conference on the topic of logic programming. It is sponsored by the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Association for Logic Programming
Federated Logic Conference
Lecture Notes in Computer Science
List of computer science conferences
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
CASP for Robot Control in Hybrid Domains
Ryan Young
,
M. Balduccini
,
Ankush Israney
ASPOCP@LPNMR
2017
Corpus ID: 6136460
The task of planning in hybrid domains has recently attracted considerable attention, motivated by the potential for useful…
Expand
2015
2015
Introduction to the 31st International Conference on Logic Programming special issue
Thomas Eiter
,
Francesca Toni
Theory and Practice of Logic Programming
2015
Corpus ID: 30433734
The 31st edition of the International Conference of Logic Programming (ICLP 2015) took place in Cork, Ireland, from 31 August…
Expand
2010
2010
Lazy and Faithful Assertions for Functional Logic Programs
M. Hanus
2010
Corpus ID: 7245717
Assertions or contracts are an important technique to improve the quality of software. Thus, assertions are also desirable for…
Expand
2010
2010
Introduction to the Technical Communications of the 26th International Conference on Logic Programming
M. Hermenegildo
,
Torsten Schaub
International Conference on Logic Programming
2010
Corpus ID: 30505565
Introduction to the Technical Communications of the 26th International Conference on Logic Programming.
Review
2009
Review
2009
Logic programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 : proceedings
P. Hill
,
D. Warren
2009
Corpus ID: 32897316
Invited Talks.- Experiences Using Logic Programming in Bioinformatics.- A Knowledge Base System Project for FO(.).- From Plain…
Expand
2008
2008
Towards Term Rewriting Systems in Constraint Handling Rules Coming to terms with jungles
F. Raiser
,
Thom W. Frühwirth
2008
Corpus ID: 16532397
Term rewriting systems are a formalism in widespread use, often implemented by means of term graph rewriting. In this work we…
Expand
2008
2008
Traiter les exceptions en ASP à partir d’une représentation compacte des informations
S. Ngoma
,
L. Garcia
,
P. Nicolas
2008
Corpus ID: 185134426
Résumé : L’ASP, utilisé dans la forme des programmes logiques normaux, est un cadre adéquat pour le raisonnement non-monotone…
Expand
2002
2002
DISJUNCTIVE LOGIC PROGRAMS
D. Pearce
,
Vladimir Sarsakov
,
Torsten Schaub
,
H. Tompits
,
S. Woltran
2002
Corpus ID: 16460441
Nested logic programs have recently been introduced in orde r to allow for arbitrarily nested formulas in the heads and the…
Expand
1994
1994
ICLP 1994 Workshop W12: Legal Application of Logic Programming, Santa Margherita Ligure, Italy, June 1994
ICLP Workshop: Legal Application of Logic…
1994
Corpus ID: 6905046
1993
1993
Workshop on Logic Programming with Sets, in conjunction with ICLP 1993, Budapest, Hungary, June 24, 1993
ICLP Workshop on Logic Programming with Sets
1993
Corpus ID: 44993576