The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 8 of 19
Back to Result List

NoMoRe: A system for non-monotonic reasoning with logic programs under answer set semantics

Export metadata

Additional Services

Search Google Scholar Statistics
Metadaten
Author details:Christian Anger, Kathrin Konczak, Thomas Linke
ISBN:3-540-42254-4
Publication type:Article
Language:English
Year of first publication:2002
Publication year:2002
Release date:2017/03/24
Source:Automated reasoning : first international joint conference ; proceedings / IJCAR 2001, Siena, Italy, June 18 - 23, 2001 / Hrsg.: Rajeev Gore [u.a.]. - Berlin [ u.a.] : Springer, 2002. - (Lecture notes in computer science ; 2083 : Lecture notes in artifical intelligence). - ISBN 3-540-42254-4. - S. 325 - 330
Organizational units:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science
Institution name at the time of the publication:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik
Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this. You can find our privacy policy here.