719 search results - page 127 / 144 » An Inference Model for Semantic Entailment in Natural Langua... |
CP
2004
Springer
14 years 2 months ago
2004
Springer
Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology nee...
GI
1997
Springer
14 years 1 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
CIDR
2007
13 years 10 months ago
2007
Event processing will play an increasingly important role in constructing enterprise applications that can immediately react to business critical events. Various technologies have...
UML
2004
Springer
14 years 2 months ago
2004
Springer
Use Cases have achieved wide use as a specification tool for observable behavior of systems. However, there is still much controversy, inconsistent use, and free-flowing interpreta...
ASP
2003
Springer
14 years 2 months ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...