FLP answer set semantics without circular justifications for general logic programs

Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, Jun Deng. FLP answer set semantics without circular justifications for general logic programs. Artificial Intelligence, 213:1-41, 2014. [doi]

Authors

Yi-Dong Shen

This author has not been identified. Look up 'Yi-Dong Shen' in Google

Kewen Wang

This author has not been identified. Look up 'Kewen Wang' in Google

Thomas Eiter

This author has not been identified. Look up 'Thomas Eiter' in Google

Michael Fink

This author has not been identified. Look up 'Michael Fink' in Google

Christoph Redl

This author has not been identified. Look up 'Christoph Redl' in Google

Thomas Krennwallner

This author has not been identified. Look up 'Thomas Krennwallner' in Google

Jun Deng

This author has not been identified. Look up 'Jun Deng' in Google