Logic programming as classical inference
type: Item
instance of: scholarly article
title: Logic programming as classical inference
published in: Journal of Applied Logic
publication date: 2015-12-18T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 6522459
zbMATH Keywords: denotational semantics of logic programs
zbMATH Keywords: contextual hypotheses
zbMATH Keywords: \(\kappa\)-structures and \(\kappa\)-formulas
zbMATH Keywords: partial \(\infty\)-interpretations
author: Éric Martin
MaRDI profile type: Publication
full work available at URL: j.jal.2015.06.003
OpenAlex ID: W1122782392
cites work: Infinitary logic and admissible sets
cites work: MOLOG: A system that extends PROLOG with modal logic
cites work: The Modal Logic of Equilibrium Models
cites work: An interpretation of default logic in minimal temporal epistemic logic
cites work: A model-theoretic analysis of knowledge
cites work: A kripke-kleene semantics for logic programs*
cites work: The alternating fixpoint of logic programs with negation
cites work: The well-founded semantics for general logic programs
cites work: Q3983043
cites work: On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics
cites work: Q4698331
cites work: Some (in)translatability results for normal logic programs and propositional theories
cites work: Unfolding partiality and disjunctions in stable model semantics
cites work: Minimal belief and negation as failure
cites work: The relationship between stable, supported, default and autoepistemic semantics for general logic programs
cites work: Autoepistemic logic
cites work: An Efficient Unification Algorithm
cites work: Q3509062
cites work: Contextual hypotheses and semantics of logic programs
cites work: Semantical considerations on nonmonotonic logic
cites work: Equilibrium logic
cites work: Logic Programming
cites work: Minimum model semantics for logic programs with negation-as-failure
cites work: Extending and implementing the stable model semantics
cites work: Strong equivalence made easy: nested expressions and weight constraints
DOI: 10.1016/J.JAL.2015.06.003
description: scientific article; zbMATH DE number 6522459