Encodings for Equilibrium Logic and Logic Programs with Nested Expressions

David Pearce, Hans Tompits, Stefan Woltran. Encodings for Equilibrium Logic and Logic Programs with Nested Expressions. In Pavel Brazdil, AlĂ­pio Jorge, editors, Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings. Volume 2258 of Lecture Notes in Computer Science, pages 306-320, Springer, 2001. [doi]

Authors

David Pearce

This author has not been identified. Look up 'David Pearce' in Google

Hans Tompits

This author has not been identified. Look up 'Hans Tompits' in Google

Stefan Woltran

This author has not been identified. Look up 'Stefan Woltran' in Google