Functional completion

DOI10.1080/11663081.2013.798965zbMATH Open1400.68205OpenAlexW4254098810MaRDI QIDQ4583310FDOQ4583310

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

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

zbMATH Keywords

reasoning about actionsnonmonotonic causal logicprogram completion

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• Title not available (Why is that?)
• 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

Uses Software

• CCalc
• Society Visualiser

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)