126 search results - page 17 / 26 » Using Description Logic for Reasoning about Diagrammatical N... |
DLOG
2007
13 years 10 months ago
2007
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w...
AGENTS
1998
Springer
14 years 21 days ago
1998
Springer
Which agent architectures are capable of justifying descriptions in terms of the `higher level' mental concepts applicable to human beings? We propose a new kind of architect...
TABLEAUX
2000
Springer
14 years 12 hour ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
IEEEHPCS
2010
13 years 7 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
AI
2007
Springer
13 years 8 months ago
2007
Springer
Although reasoning about what is the case has been the historic focus of logic, reasoning about what should be done is an equally important capacity for an intelligent agent. Reas...