3970 search results - page 349 / 794 » A Logic For Causal Reasoning |
199
click to vote
TABLEAUX
2005
Springer
16 years 9 days ago
2005
Springer
In description logics (DLs), concrete domains are used for defining concepts based on concrete qualities of their instances such as the weight, age, duration, and spatial extensio...
190
click to vote
KR
2004
Springer
16 years 5 days 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...
155
click to vote
ECAI
2000
Springer
15 years 11 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 ...
193
click to vote
TPHOL
1998
IEEE
15 years 11 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...
155
click to vote
LACL
1998
Springer
15 years 11 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...