895 search results - page 62 / 179 » A Spectrum of Applications of Automated Reasoning |
144
click to vote
CSL
1998
Springer
15 years 4 months ago
1998
Springer
What role should evaluation play in the development of natural language generation () techniques and systems? In this paper we describe what is involved in natural langua...
139
click to vote
LICS
2010
IEEE
15 years 3 months 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 ...
112
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
This paper introduces a nested sequent system for predicate logic. The system features a structural universal quantifier and a universally closed existential rule. One nice conseq...
133
Voted
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Disunification is an extension of unification to first-order formulae over syntactic equality atoms. Instead of considering only syntactic equality, I extend a disunifica...
154
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...