Functional completion

DOI10.1080/11663081.2013.798965MaRDI QIDQ4583310zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

reasoning about actionsnonmonotonic causal logicprogram completion

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 970632
• scientific article; zbMATH DE number 1868899
• Completion
• Functional integration
• scientific article; zbMATH DE number 938682
• Completion from an abstract perspective
• Completeness of function spaces
• On the completeness of a system of functions
• Publication:3196855
• On completing tables to satisfy functional dependencies

Cites work

• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
• Making prolog more expressive
• Nonmonotonic causal theories
• On the logic of causal explanation
• Representing first-order causal theories by logic programs
• Representing the Zoo World and the Traffic World in the language of the Causal Calculator
• Representing the language of the causal calculator in answer set programming
• Specifying norm-governed computational societies
• Stable models and circumscription

Cited in

(4)

• scientific article; zbMATH DE number 970632 (Why is no real title available?)
• Functional commitments for all functions, with transparent setup and from SIS
• First-order stable model semantics with intensional functions
• Eliminating function symbols from a nonmonotoic causal theory

Describes a project that uses

Uses Software

• Society Visualiser
• CCalc

This page was built for publication: Functional completion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583310)