Twenty Second International Conference on Logic Programming, SeattleWA, Vereinigte Staaten

Abbrevation

ICLP

Link

http://www.easychair.org/FLoC-06/ICLP.html

City

SeattleWA

Country

United States

Deadline Paper

2006-02-14

Start Date

2006-08-17

End Date

2006-08-20

Abstract

Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Keywords: Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. Environments: Program Analysis, Program Transformation, Validation and Verification, Debugging,Profiling. Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Programming Techniques. Alternative Paradigms: Constraint Logic Programming, Abductive Logic Programming, Inductive Logic Programming, Answer Set Programming. Applications: Deductive Databases, Data Integration, Software Engineering, Natural Language, WebTools, Internet Agents, Artificial Intelligence.