16 citations · 20 across the 3 of their papers we have counts for
3 papers
cs.LO2019★ 3 cited
Proceedings 35th International Conference on Logic Programming (Technical Communications)
Bart Bogaerts, Esra Erdem, Paul Fodor +7
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all ar…
cs.AI2016★ 1 cited
COREALMLIB: An ALM Library Translated from the Component Library
Daniela Inclezan
This paper presents COREALMLIB, an ALM library of commonsense knowledge about dynamic domains. The library was obtained by translating part of the COMPONENT LIBRARY (CLIB) into the…
cs.LO2015★ 16 cited
Modular Action Language ALM
Daniela Inclezan, Michael Gelfond
The paper introduces a new modular action language, ALM, and illustrates the methodology of its use. It is based on the approach of Gelfond and Lifschitz (1993; 1998) in which a hi…