3 papers
cs.LO2025
Proceedings 41st International Conference on Logic Programming
Martin Gebser, Daniela Inclezan, Francesco Ricca +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…
cs.AI2025
Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penalties
Vineel Tummala, Daniela Inclezan
This paper presents a logic programming-based framework for policy-aware autonomous agents that can reason about potential penalties for non-compliance and act accordingly. While p…
cs.LO2025
Architecture for Simulating Behavior Mode Changes in Norm-Aware Autonomous Agents
Sean Glaze, Daniela Inclezan
This paper presents an architecture for simulating the actions of a norm-aware intelligent agent whose behavior with respect to norm compliance is set, and can later be changed, by…