32nd International Conference on Logic Programming

New York City, NY, USA, 17/10/2016 – 21/10/2016

Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming.

Temi di interesse

Contributions are sought in all areas of logic programming, including but not restricted to:

  • Theory: Semantic Foundations, Formalisms, Nonmonotonic 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.

Articoli e volumi

Tags:

Eventi / Viste

Home
nuvole
tag
per anno
2023  |  2022  |  2021  |  2020  |  2019  |  2018  |  2017  |  2016  |  2015  |  2014–1999
per data
in arrivo  |  in scadenza

Evento

32nd International Conference on Logic Programming

— acronimo

ICLP 2016

— tipo

conferenza

— serie

ICLP (32th, 2016)

— dove

New York City, NY, USA

— quando

17/10/2016–21/10/2016

Date

— invio sommario

29/04/2016

— invio articolo

06/05/2016

— notifica

17/06/2016

— camera-ready

05/08/2016

URL

home page
invio contributi

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY