• search hit 6 of 15
Back to Result List

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

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author:Christian Anger, Kathrin Konczak, Thomas Linke
ISBN:3-540-42254-4
Document Type:Article
Language:English
Year of first Publication:2002
Year of Completion: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 publication:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik