Search Results for author:
Found 2 papers, 0 papers with code
Metric Dynamic Equilibrium Logic
In temporal extensions of Answer Set Programming (ASP) based on linear-time, the behavior of dynamic systems is captured by sequences of states.
Founded World Views with Autoepistemic Equilibrium Logic
We define when a world view is founded with respect to some program and propose the foundedness property for any semantics whose world views are always founded.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
