Abduction in well-founded semantics and generalized stable models via tabled dual programs
From MaRDI portal
Publication:4819009
DOI10.1017/S1471068403001960zbMath1090.68014WikidataQ62038969 ScholiaQ62038969MaRDI QIDQ4819009
José Júlio Alferes, Terrance Swift, Luíz Moniz Pereira
Publication date: 24 September 2004
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
68N17: Logic programming
Related Items
Common-sense reasoning as proto-scientific agent activity, Abductive inference in defeasible reasoning: a model for research programmes, Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
Uses Software