Sciweavers

3891 search results - page 73 / 779
» A logic for strategic 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
DLOG
2007
14 years 11 days ago
Modal vs. Propositional Reasoning for model checking with Description Logics
Shoham Ben-David, Richard J. Trefler, Grant E. Wed...