3776 search results - page 329 / 756 » Partition-Based Logical Reasoning |
123
click to vote
TIME
1994
IEEE
15 years 8 months ago
1994
IEEE
The frame problem was originally de ned in the context of the situation calculus. The problem also manifests itself in more sophisticated temporal logics that can represent interv...
121
click to vote
LICS
1990
IEEE
15 years 8 months ago
1990
IEEE
This paper discusses the relevance of a form of cut elimination theorem for linear logic tensor theories to the concept of a process on a Petri net. We base our discussion on two ...
139
click to vote
ER
2006
Springer
15 years 8 months ago
2006
Springer
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...
127
click to vote
DLOG
2008
15 years 7 months ago
2008
Description Logics are a family of very expressive logics but some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DL can be dealt with t...
163
click to vote
CADE
2008
Springer
15 years 6 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...