DeepAI
Log In Sign Up

Proceedings 36th International Conference on Logic Programming (Technical Communications)

09/19/2020
by   Francesco Ricca, et al.
0

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all areas of logic programming and related areas, including but not restricted to: - Foundations: Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation. - Declarative Programming: Inference engines, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Logic-based domain-specific languages, constraint handling rules. - Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming, Description logics, Neural-Symbolic Machine Learning, Hybrid Deep Learning and Symbolic Reasoning. - Implementation: Concurrency and distribution, Objects, Coordination, Mobility, Virtual machines, Compilation, Higher Order, Type systems, Modules, Constraint handling rules, Meta-programming, Foreign interfaces, User interfaces. - Applications: Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, Education, Computational life sciences, Education, Cybersecurity, and Robotics.

READ FULL TEXT
09/17/2019

Proceedings 35th International Conference on Logic Programming (Technical Communications)

Since the first conference held in Marseille in 1982, ICLP has been the ...
09/15/2021

Proceedings 37th International Conference on Logic Programming (Technical Communications)

ICLP is the premier international event for presenting research in logic...
08/04/2022

Proceedings 38th International Conference on Logic Programming

ICLP is the premier international event for presenting research in logic...
09/11/2019

Pre-proceedings of the DECLARE 2019 Conference

This volume constitutes the pre-proceedings of the DECLARE 2019 conferen...
11/19/2013

Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning

Knowledge Representation and Reasoning and Machine Learning are two impo...
01/07/2013

A Logic Programming Approach to Integration Network Inference

The discovery, representation and reconstruction of (technical) integrat...