Autoepistemic logic programming
type: Item
instance of: scholarly article
title: Autoepistemic logic programming
zbMATH Open document ID: 0819.68035
DOI: 10.1007/BF00881911
author: P. A. Bonatti
published in: Journal of Automated Reasoning
publication date: 1995-02-22T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 724145
zbMATH Keywords: autoepistemic logic programming language
zbMATH Keywords: Fitting's semantics
zbMATH Keywords: Kunen's semantics
zbMATH Keywords: abductive frameworks
MaRDI profile type: Publication
cites work: Stable and extension class theory for logic programs and default logics
cites work: Autoepistemic logics as a unifying framework for the semantics of logic programs
cites work: Negation as instantiation
cites work: Q4692885
cites work: A kripke-kleene semantics for logic programs*
cites work: Negation in logic programming
cites work: Q4013778
cites work: Q3339245
cites work: The relationship between stable, supported, default and autoepistemic semantics for general logic programs
cites work: Semantical considerations on nonmonotonic logic
cites work: The well-founded semantics for general logic programs
full work available at URL: https://doi.org/10.1007/bf00881911
OpenAlex ID: W168338314
description: scientific article; zbMATH DE number 724145