2354 search results - page 114 / 471 » A Common-Sense Theory of Time |
ICAIL
1995
ACM
13 years 11 months ago
1995
ACM
Eisner v. Macomber, 252 U.S. 189 (1920), a corporate tax case, was the principal illustration of a theory of legal reasoning and legal argumentation proposed more than ten years a...
SIGGRAPH
1987
ACM
13 years 11 months ago
1987
ACM
Abstract: The theory of elasticity describes deformable materials such as rubber, cloth, paper, and flexible metals. We employ elasticity theory to construct differential equations...
AAAI
2008
13 years 10 months ago
2008
Grounding is the task of reducing a first-order theory to an equivalent propositional one. Typical grounders work on a sentence-by-sentence level, substituting variables by domain...
ENTCS
2008
13 years 8 months ago
2008
The type theory P corresponds to the logical framework LF. In this paper we present H, a variant of P where convertibility is not implemented by means of the customary conversion ...
FORMATS
2010
Springer
13 years 6 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...