• search hit 68 of 960
Back to Result List

A system for non-monotonic reasoning 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-42593-4
Document Type:Article
Language:English
Year of first Publication:2001
Year of Completion:2001
Release Date:2017/03/24
Source:Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17 - 19, 2001 ; proceedings / Hrsg.: Thomas Eiter ... - Berlin [u.a.] : Springer, 2001. - (Lecture notes in computer science ; Vol. 2173 : Lecture notes in artificial intelligence). - ISBN 3-540-42593-4. - S. 406 - 410
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