Abduction in logic programming: A new definition and an abductive procedure based on rewriting
type: Item
instance of: scholarly article
title: Abduction in logic programming: A new definition and an abductive procedure based on rewriting
zbMATH Open document ID: 0999.68092
DOI: 10.1016/S0004-3702(02)00227-8
author: Fangzhen Lin
author: Jia-Huai You
published in: Artificial Intelligence
publication date: 2002-09-09T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 1797853
zbMATH Keywords: abduction
zbMATH Keywords: answer set programming
zbMATH Keywords: rewrite systems
MaRDI profile type: Publication
cites work: An analysis of loop checking mechanisms for logic programs
cites work: On the Relationship Between Abduction and Deduction
cites work: SLDNFA: An abductive procedure for abductive logic programs
cites work: Q4385532
cites work: An argumentation-theoretic foundation for logic programming
cites work: The IFF proof procedure for abductive logic programming
cites work: Q3983043
cites work: Extending negation as failure by abduction: A three-valued stable model semantics
cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
cites work: Abductive Logic Programming
cites work: ACLP: Abductive Constraint Logic Programming
cites work: Q3997000
cites work: Abduction versus closure in causal theories.
cites work: Q4955333
cites work: Q3339245
cites work: Q4702577
cites work: Logic programs with stable model semantics as a constraint programming paradigm
cites work: Completed logic programs and their consistency
cites work: Extending and implementing the stable model semantics
cites work: A three-valued semantics for deductive databases and logic programs
full work available at URL: s0004-3702(02)00227-8
OpenAlex ID: W2046191606
description: scientific article; zbMATH DE number 1797853