Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Title | Type | |||||
---|---|---|---|---|---|---|---|---|
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
6 |
| |||||||
2001 | Strong Skolemization | Unpublished/Draft | ||||||
1998 | Modal Frame Characterization by Way of Auxiliary Modalities In: Logic Journal of the IGPL [6], 875-899 | Journal Article | ||||||
1996 | Resolution-Based Calculi for Modal and Temporal Logics In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 598-612 | Proceedings Article | ||||||
1995 | A Resolution-Based Calculus for Temporal Logics Universität des Saarlandes | Thesis - PhD thesis | ||||||
1994 | How to Use Modalities and Sorts in Prolog In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378 | Proceedings Article | ||||||
1993 | First-Order Modal Logic Theorem Proving and Functional Simulation In: Proc.~13th Intern.~Joint Conference on Artificial Intelligence (IJCAI '93), 80-85 | Proceedings Article | ||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
10 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
2 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
2 |
| |||||||
1 |
| |||||||
5 |
| |||||||
1 |
|