scientific article; zbMATH DE number 1931664

zbMATH Open1013.68210MaRDI QIDQ4708922FDOQ4708922

Authors: Koji Iwanuma, Katsumi Inoue 

Publication date: 20 June 2003

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (4)

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

This page was built for publication:

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