Sciweavers

5378 search results - page 183 / 1076
» Base Logics in Argumentation
Sort
View
AAAI
2000
15 years 8 months ago
Answering Queries Using Views over Description Logics Knowledge Bases
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
AAAI
1996
15 years 8 months ago
Scaling up Logic-Based Truth Maintenance Systems via Fact Garbage Collection
Truth maintenance systems provide caches of beliefs and inferences that support explanations and search. Traditionally, the cost of using a TMS is monotonic growth in the size of ...
John O. Everett, Kenneth D. Forbus