Cited By
View all- Cabalar PEiter TSoldà DMarquis POrtiz MPagnucco M(2024)Contracted temporal equilibrium logicProceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning10.24963/kr.2024/21(221-231)Online publication date: 2-Nov-2024
- Eiter TSoldà DLarson K(2024)Computational aspects of progression for temporal equilibrium logicProceedings of the Thirty-Third International Joint Conference on Artificial Intelligence10.24963/ijcai.2024/370(3342-3350)Online publication date: 3-Aug-2024
- Beck HDao-Tran MEiter T(2016)Equivalent stream reasoning programsProceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence10.5555/3060621.3060750(929-935)Online publication date: 9-Jul-2016