Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020

@inproceedings{Ricca2020Proceedings3I,
  title={Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020},
  author={F. Ricca and Alessandra Russo and Sergio Greco and Nicola Leone and Alexander Artikis and Gerhard Friedrich and Paul Fodor and Angelika Kimmig and Francesca A. Lisi and Marco Maratea and Alessandra Mileo and Fabrizio Riguzzi},
  booktitle={ICLP Technical Communications},
  year={2020}
}
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… Expand