307 search results - page 39 / 62 » On Hierarchical Reasoning in Combinations of Theories |
124
click to vote
CCL
1994
Springer
15 years 6 months ago
1994
Springer
We introduce a modular property of equational proofs, called modularity of normalization, for the union of term rewrite systems with shared symbols. The idea is, that every normali...
119
click to vote
LICS
2010
IEEE
15 years 8 days ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
140
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
125
Voted
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Hierarchical conditional random fields have been successfully applied to object segmentation. One reason is their ability to incorporate contextual information at different scales....
124
Voted
DALT
2005
Springer
15 years 7 months ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...