The International Conference on Logic Programming is the premier venue for<br>presenting research in logic programming. ICLP 2012 will take place in<br>Budapest, honouring the important contribution that the Hungarian logic<br>programming community has given to this field. The ICLP technical program<br>will include presentations of accepted papers, invited talks, advanced<br>tutorials and panels, a special session on most influential papers, the<br>doctoral consortium, the programming contest, and several workshops.<br>Contributions are sought in all areas of logic programming, including but not<br>restricted to:<br>– Theory: Semantic Foundations, Formalisms, Non–Monotonic Reasoning,<br>Knowledge Representation.<br>– Implementation: Compilation, Memory Management, Virtual Machines,<br>Parallelism.<br>– Environments: Program Analysis, Transformation, Validation,<br>Verification, Debugging, Profiling, Testing.<br>– Language Issues: Concurrency, Objects, Coordination, Mobility, Higher<br>Order, Types, Modes, Assertions, Programming Techniques.<br>– Related Paradigms: Abductive/Inductive/Constraint Logic Programming,<br>Answer–Set Programming.<br>– Applications: Databases, Data Integration and Federation, Software<br>Engineering, Natural Language Processing, (Semantic) Web,<br>Agents, Artificial Intelligence, Bioinformatics, Declarative<br>Networking.<br>There are four broad categories for submissions:<br>(1) technical papers describe technically sound, innovative<br>ideas that can advance the state of the art of logic programming;<br>(2) application papers present real–world applications of logic programming;<br>(3) system and tool papers focus on the novelty, practicality, usability<br>and general availability of the systems and tools described; and<br>(4) technical communications aim at describing recent developments,<br>new projects, and other materials that are not ready for publication<br>as standard papers.<br>
Abbrevation
ICLP
City
Budapest
Country
Hungary
Deadline Paper
Start Date
End Date
Abstract