2291 search results - page 22 / 459 » Representational Reasoning and Verification |
LILOG
1989
13 years 11 months ago
1989
This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of att...
GEOS
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Narrative descriptions about populated places are very common in ethnographies. In old articles and books on the migration history of Taiwan aborigines, for example, narr...
MICAI
2000
Springer
13 years 11 months ago
2000
Springer
We introduce the new paradigm of High-Level Non-Monotonic reasoning (HLNM). This paradigm is the consolidation of our recent results on disjunctions, sets, explicit and implicit ne...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
LPAR
2005
Springer
14 years 1 months ago
2005
Springer