The ICLP 2016 program includes several workshops:
9th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2016.
This workshop will provide opportunities for researchers to identify new significant challenges in applying ASP to real life applications and to exchange ideas to overcome them.
8th International Workshop on Constraints and Language Processing, CSLP 2016.
This workshop addresses the integration of constraints and human language processing from an interdisciplinary perspective and with logic programming as a pivot.
5th Workshop on Logic and Search, LaSh 2016.
The purpose of the LaSh workshops is to foster scientific exchange between researchers interested in both the theory and practice of logic-based combinatorial problem solving.
Workshop on Applications of Logic Programming, AppLP 2016.
This workshop focuses on applications of logic programming in several fields, with a focus on maintenance / clarity and performance and the associate trade-offs. The goal is to help provide directions for future research advances and application development.
These workshops are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration.
Theory:
Semantic Foundations, Formalisms, Non-monotonic Reasoning, Knowledge Representation.
Implementation:
Compilation, Virtual Machines, Parallelism, Constraint Handling Rules, Tabling.
Environments:
Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing.
Language Issues:
Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques.
Related Paradigms:
Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT-Checking.
Applications:
Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education.
In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops.
10月17日
2016
10月21日
2016
注册截止日期
留言