|
СТ |
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report |
2002 |
Pearce D., Sarsakov V., Schaub T., Tompits H., Woltran S. |
|
|
|
Lecture Notes in Computer Science |
27.08.2002 |
|
М |
The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation |
1998 |
Schaub T. |
Lecture Notes in Artificial Intelligence |
|
|
|
10.06.1998 |
|
СТ |
Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report |
1995 |
Bruning S., Schaub T. |
Lecture Notes in Computer Science |
|
|
Advances in Intelligent Computing - IPMU 94 |
26.09.1995 |
|
СТ |
Computing Queries from Prioritized Default Theories |
1994 |
Schaub T. |
|
|
|
Lecture Notes in Artificial Intelligence |
16.11.1994 |
