scientific article; zbMATH DE number 7455722

MaRDI QIDQ5020984zbMATH OpenFDO

Authors Stefania Costantini, Lorenzo de Lauretis

Publication date 11 January 2022

Full work available at URL https://arxiv.org/abs/2009.10250, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2020.28

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• About epistemic negation and world views in epistemic logic programs
• Evaluating epistemic negation in answer set programming
• scientific article; zbMATH DE number 4195154 (Why is no real title available?)
• scientific article; zbMATH DE number 1931644 (Why is no real title available?)
• Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
• Manifold Answer-Set Programs for Meta-reasoning
• Modular nonmonotonic logic programming revisited
• Modularity aspects of disjunctive stable models
• Modularity in smodels Programs
• Multi-context systems in dynamic environments
• Negation as a resource: a novel view on answer set semantics
• Negation as a resource: a novel view on answer set semantics
• Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources
• On the existence of stable models of non-stratified logic programs
• Query answering in resource-based answer set semantics
• Reactive multi-context systems: heterogeneous reasoning in dynamic environments
• Twelve Definitions of a Stable Model

Describes a project that uses

Uses Software

• GitHub

This page was built for publication:

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