Sciweavers

3776 search results - page 62 / 756
» Partition-Based Logical Reasoning
Sort
View
LOPSTR
2004
Springer
14 years 3 months ago
Logical Mobility and Locality Types
Jonathan Moody
CL
2000
Springer
14 years 2 months ago
Reasoning about Duplicate Elimination with Description Logic
Vitaliy L. Khizder, David Toman, Grant E. Weddell
ECAI
2006
Springer
14 years 1 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