Deutsch
Home
Search
Browse
Submit
Sitemap
Schließen
Organizational units
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
Refine
Has Fulltext
no
(6)
Author
Schaub, Torsten H. (6)
(remove)
Year of publication
1999 (6)
(remove)
Document Type
Article
(5)
Monograph/Edited Volume
(1)
Language
English
(6)
Is part of the Bibliography
yes
(6)
Institute
Institut für Informatik und Computational Science
(6)
6
search hits
1
to
6
Export
BibTeX
CSV
RIS
XML
100
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Avoiding non-ground variables
(1999)
Brüning, Stefan
;
Schaub, Torsten H.
Query-answering in prioritized default logic
(1999)
Benhammadi, Farid
;
Nicolas, Pascal
;
Schaub, Torsten H.
The automation of reasoning with incomplete information : from semantic foundations to efficient computation
(1999)
Schaub, Torsten H.
Query-answering in prioritized default logic
(1999)
Benhammadi, Farid
;
Nicolas, Pascal
;
Schaub, Torsten H.
A voiding non-ground variables
(1999)
Brüning, Stefan
;
Schaub, Torsten H.
On bottom-up pre-processing techniques for automated default reasoning
(1999)
Linke, Thomas
;
Schaub, Torsten H.
1
to
6
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.