3776 search results - page 486 / 756 » Partition-Based Logical Reasoning |
135
click to vote
IEEEHPCS
2010
15 years 28 days 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...
113
click to vote
DLOG
2008
15 years 4 months ago
2008
We identify the complexity of (finite model) reasoning in the DL SROIQ to be N2ExpTime-complete. We also prove that (finite model) reasoning in the DL SR--a fragment of SROIQ witho...
133
click to vote
AAAI
1994
15 years 3 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
127
click to vote
KR
1992
Springer
15 years 6 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
113
click to vote
ICAIL
2007
ACM
15 years 6 months ago
2007
ACM
Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of expr...