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

Default reasoning via blocking sets

Export metadata

Additional Services

Search Google Scholar Statistics
Metadaten
Author details:Thomas Linke, Torsten H. 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
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.