External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract)

Patrick Doherty, Jonas Kvarnström, Andrzej Szalas. Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract). In Loizos Michael, Antonis C. Kakas, editors, Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings. Volume 10021 of Lecture Notes in Computer Science, pages 536-542, 2016. [doi]

Authors

Patrick Doherty

This author has not been identified. Look up 'Patrick Doherty' in Google

Jonas Kvarnström

This author has not been identified. Look up 'Jonas Kvarnström' in Google

Andrzej Szalas

This author has not been identified. Look up 'Andrzej Szalas' in Google
runs on