3 papers
cs.PL2026
Multi-paradigm Logic Programming in the rgoAI System
Michael Kifer, Theresa Swift
ErgoAI is a high level, multi-paradigm logic programming language and system developed by Coherent Knowledge Systems as an enhancement of and a successor to the popular Flora-2 sys…
cs.LO2025
Integrating Belief Domains into Probabilistic Logic Programs
Damiano Azzolini, Fabrizio Riguzzi, Theresa Swift
Probabilistic Logic Programming (PLP) under the Distribution Semantics is a leading approach to practical reasoning under uncertainty. An advantage of the Distribution Semantics is…
cs.LO2025
Proceedings 40th International Conference on Logic Programming
Pedro Cabalar, Francesco Fabiano, Martin Gebser +2
Since the first conference In Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic…