Functional completion
From MaRDI portal
Publication:4583310
DOI10.1080/11663081.2013.798965zbMath1400.68205OpenAlexW4254098810MaRDI QIDQ4583310
Vladimir Lifschitz, Fangkai Yang
Publication date: 28 August 2018
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.2013.798965
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
- Stable models and circumscription
- Nonmonotonic causal theories
- Representing the Zoo World and the Traffic World in the language of the Causal Calculator
- On the logic of causal explanation
- Representing first-order causal theories by logic programs
- Making prolog more expressive
- Specifying norm-governed computational societies