Since the first conference held in Marseilles in 1982, ICLP has been<br>the premier international conference for presenting research in logic<br>programming. ICLP 2015 will be co–located with the 21st International<br>Conference on Principles and Practice of Constraint Programming (CP<br>2015) and is part of "The Year of George Boole", a celebration of the<br>life and work of George Boole who was born in 1815 and worked at the<br>University College of Cork.<br>Contributions are sought in all areas of logic programming, including<br>but not restricted to:<br>Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning,<br>Knowledge Representation.<br>Implementation: Compilation, Virtual Machines, Parallelism, Constraint<br>Handling Rules and Tabling.<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: Inductive and Coinductive Logic Programming,<br>Constraint Logic Programming, Answer–Set Programming, SAT,<br>Constraints, Computational Argumentation, Abductive Logic Programming,<br>Functional Logic Programming.<br>Applications: Databases, Data Integration and Federation, Software<br>Engineering, Natural Language Processing, Web and Semantic Web,<br>Agents, Artificial Intelligence, Bioinformatics, Social Networks and<br>Social Choice.<br>In addition to the presentations of accepted papers, the technical<br>program will include invited talks, advanced tutorials, the doctoral<br>consortium, the LP/CP contest and several workshops.<br>
Abbrevation
ICLP
City
Cork
Country
Ireland
Deadline Paper
Start Date
End Date
Abstract