1060 search results - page 142 / 212 » Mechanized semantics |
DLOG
2004
14 years 11 months ago
2004
The last decade of basic research in the area of Description Logics (DL) has created a stable theory, efficient inference procedures, and has demonstrated a wide applicability of ...
FLAIRS
2006
14 years 11 months ago
2006
Students' natural language (NL) explanations in the domain of qualitative mechanics lie in-between unrestricted NL and the constrained NL of "proper" domain stateme...
CR
2001
14 years 11 months ago
2001
ACT n are ge. subject access ieved. In order to facilitate subject access interoperability a mechanism must be built that allows the different controlled vocabularies to communicat...
IJCAI
2001
14 years 11 months ago
2001
We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects...
TREC
2001
14 years 11 months ago
2001
We participated to the TREC-X QA main task and list task with a new system named QUANTUM, which analyzes questions with shallow parsing techniques and regular expressions. Instead...