1242 search results - page 41 / 249 » The Theory of Grammar Constraints |
131
click to vote
SIAMCO
2010
14 years 8 months ago
2010
In this paper, we extend fundamental notions of control theory to evolving compact subsets of the Euclidean space
118
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
107
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
113
click to vote
ARTMED
1998
15 years 1 months ago
1998
Abstract: The theory of conceptual structures serves as a common basis for natural language processing and medical concept representation. We present a PROLOG-based formalization o...
124
click to vote
CPAIOR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...