Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
Mikolás Janota‚ Radu Grigore and João Marques−Silva
Book Title
Logics in Artificial Intelligence − 12th European Conference‚ JELIA 2010‚ Helsinki‚ Finland‚ September 13−15‚ 2010. Proceedings
Editor
Tomi Janhunen and Ilkka Niemelä
ISBN
978−3−642−15674−8
Pages
195−207
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6341
Year
2010