Minimal answer computation and SOL

DOI10.1007/3-540-45757-7_21MaRDI QIDQ4708922zbMATH OpenFDO

Authors Koji Iwanuma, Katsumi Inoue

Publication date 20 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2424/24240245.htm

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• On computing minimal models
• Logic Programming
• Computing only minimal answers in disjunctive deductive databases
• On computing minimal and perfect model membership
• Computing minimal models, stable models and answer sets

Cited in

(4)

• First order LUB approximations: characterization and algorithms
• Completing causal networks by meta-level abduction
• Minimal solutions of the gleason problem
• SOLAR: a consequence finding system for advanced reasoning

This page was built for publication: Minimal answer computation and SOL

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