NoMoRe: A system for non-monotonic reasoning with logic programs under answer set semantics
| Verfasserangaben: | Christian Anger, Kathrin Konczak, Thomas Linke |
|---|---|
| ISBN: | 3-540-42254-4 |
| Publikationstyp: | Wissenschaftlicher Artikel |
| Sprache: | Englisch |
| Jahr der Erstveröffentlichung: | 2002 |
| Erscheinungsjahr: | 2002 |
| Datum der Freischaltung: | 24.03.2017 |
| Quelle: | 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 |
| Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
| Name der Einrichtung zum Zeitpunkt der Publikation: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |
