Sciweavers

3776 search results - page 62 / 756
» Partition-Based Logical Reasoning
Sort
View
LOPSTR
2004
Springer
15 years 7 months ago
Logical Mobility and Locality Types
Jonathan Moody
CL
2000
Springer
15 years 6 months ago
Reasoning about Duplicate Elimination with Description Logic
Vitaliy L. Khizder, David Toman, Grant E. Weddell
ECAI
2006
Springer
15 years 5 months ago
Interleaving Belief Updating and Reasoning in Abductive Logic Programming
Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...
Fariba Sadri, Francesca Toni