3776 search results - page 320 / 756 » Partition-Based Logical Reasoning |
156
Voted
KR
2004
Springer
15 years 10 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
124
click to vote
ECAI
2000
Springer
15 years 9 months ago
2000
Springer
The paper presents a prototype of a system for querying the Web in natural language (French) for a limited domain. The domain knowledge, represented in description logics (DL), is ...
137
click to vote
TIME
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
150
click to vote
TPHOL
1998
IEEE
15 years 9 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
116
click to vote
LACL
1998
Springer
15 years 9 months ago
1998
Springer
In this paper we give a formal description of the parsing model that underlies the treatment of Long Distance Dependencies, Topic and Focus, Ellipsis and Quantification in, amongs...