Default reasoning via blocking sets
Author details: | Thomas Linke, Torsten SchaubORCiDGND |
---|---|
Publication type: | Article |
Language: | English |
Year of first publication: | 1999 |
Publication year: | 1999 |
Release date: | 2017/03/24 |
Source: | Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR ï99 ; proceedings / Hrsg.: Michael Gelfond ... - Berlin [u.a.] : Springer, 1999. - (Lecture notes in computer science ; 1730 : Lecture notes in atificial intelligence). - S. 247 - 261 |
Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Mathematik |