71 search results - page 6 / 15 » Complete Cuboidal Sets in Axiomatic Domain Theory |
96
Voted
AI
2008
Springer
15 years 17 days ago
2008
Springer
: Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper shows how to reconstruct a ranking f...
103
click to vote
KR
2004
Springer
15 years 5 months ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
88
Voted
AAAI
2007
15 years 2 months ago
2007
The automated planning community has traditionally focused on the efficient synthesis of plans given a complete domain theory. In the past several years, this line of work met wi...
108
click to vote
TYPES
1998
Springer
15 years 4 months ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...