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

no code implementations • 15 Sep 2021 • Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Veronica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou

ICLP is the premier international event for presenting research in logic programming.

Automated Theorem Proving Data Integration +2

Splitting a Hybrid ASP Program

no code implementations • 22 Sep 2020 • Alex Brik

Hybrid Answer Set Programming (Hybrid ASP) is an extension of Answer Set Programming (ASP) that allows ASP-like rules to interact with outside sources.