International Conference on Logic Programming
- International Conference on Logic Programming
The International Conference on Logic Programming (ICLP) is an annual academic conference on the topic of logic programming. It is sponsored by the Association for Logic Programming (ALP). The conference consists of peer-reviewed papers with the proceedings published by Springer's LNCS series.
The first ICLP was held in September 1982 in Marseille, France. The twentieth and most recent ICLP was part of the Federated Logic Conference in Seattle, USA in August 2006.
External links
* [http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/Previous_ICLP/ Previous ICLP conferences] on the ALP web-site.
Wikimedia Foundation.
2010.
Look at other dictionaries:
International Conference on Functional Programming — The International Conference on Functional Programming (ICFP) is an annual academic conference in the field of computer science sponsored by the ACM SIGPLAN, in association with IFIP Working Group 2.8 (Functional Programming).The conference… … Wikipedia
Programming in the large and programming in the small — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computin … Wikipedia
Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… … Wikipedia
Racket (programming language) — Racket Paradigm(s) Multi paradigm: Functional, Procedural, Modular, Object oriented, Reflective, Meta Appeared in 1994 Developer … Wikipedia
Haskell (programming language) — Haskell Paradigm(s) functional, lazy/non strict, modular Appeared in 1990 Designed by Simon Peyton Jones, Lennart Aug … Wikipedia
Subject-oriented programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
International Colloquium on Automata, Languages and Programming — ICALP, the International Colloquium on Automata, Languages and Programming is an academic conference organized annually by the European Association for Theoretical Computer Science and held in different locations around Europe. Its proceedings… … Wikipedia
International Workshop on First-Order Theorem Proving — The International Workshop on First Order Theorem Proving (FTP) is a scientific meeting of researchers interested in automated theorem proving for first order logic and related fields. FTP workshops are less formal than many conferences, but more … Wikipedia
Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on … Wikipedia
Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that … Wikipedia