征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

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

  • 10月21日 2016

    注册截止日期

移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询