Algorithms for computing X-minimal models

DOI10.1007/3-540-45402-0_24MaRDI QIDQ4798018zbMATH OpenFDO

Authors Chen Avin, Rachel Ben-Eliyahu-Zohary

Publication date 18 March 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/2173/21730322.htm

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Nonnumerical algorithms (68W05)

Recommendations

• scientific article; zbMATH DE number 5215800
• On computing minimal models
• Logic Programming
• Computing minimal models, stable models and answer sets
• An incremental algorithm for generating all minimal models

Cited in

(7)

• On computing minimal models
• An incremental algorithm for generating all minimal models
• Algorithms for Computing Minimal Conflicts
• On the Minimality of Stream X-machines
• Model enumeration in propositional circumscription via unsatisfiable core analysis
• scientific article; zbMATH DE number 5215800 (Why is no real title available?)
• Reasoning under minimal upper bounds in propositional logic

This page was built for publication: Algorithms for computing X-minimal models

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