Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Title | Type | |||||
---|---|---|---|---|---|---|---|---|
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
7 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
3 |
| |||||||
1 |
| |||||||
1 |
| |||||||
2 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
2 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
2 |
| |||||||
1 |
| |||||||
1 |
| |||||||
3 |
| |||||||
1996 | On Computing Logic Programs In: Journal of Automated Reasoning [17], 259-289 | Journal Article | ||||||
1994 | Classical Methods in Nonmonotonic Reasoning In: Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems (ISMIS'94), 500-510 | Proceedings Article | ||||||
1994 | The Computational Value of Joint Consistency In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 50-65 | Proceedings Article | ||||||
1 |
|