Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Y | Author/Editor | Title | ||||||
---|---|---|---|---|---|---|---|---|---|
1 |
| ||||||||
2 |
| ||||||||
16 |
| ||||||||
43 |
| ||||||||
41 |
| ||||||||
37 |
| ||||||||
36 |
| ||||||||
39 |
| ||||||||
58 |
| ||||||||
48 |
| ||||||||
61 |
| ||||||||
73 |
| ||||||||
42 |
| ||||||||
64 |
| ||||||||
55 |
| ||||||||
1 |
|
| |||||||
1 |
|
| |||||||
1 |
|
| |||||||
28 |
|
| |||||||
9 |
|
| |||||||
7 |
|
| |||||||
5 |
|
| |||||||
Barth, Peter | Logic-based 0-1 Constraint Solving in Constraint Logic Programming Fachbereich Informatik, Universität des Saarlandes, Germany | ||||||||
Fehrer, Detlef | A unifying logical framework for reason maintenance Universität des Saarlandes | ||||||||
Graf, Peter | Term Indexing Universität des Saarlandes | ||||||||
Jaeger, Manfred | Default Reasoning about Probabilities Universität des Saarlandes | ||||||||
Nonnengart, Andreas | A Resolution-Based Calculus for Temporal Logics Universität des Saarlandes | ||||||||
1 |
|
| |||||||
2 |
|
| |||||||
64 |
|