599 search results - page 101 / 120 » Integrating answer set programming and constraint logic prog... |
117
click to vote
JAR
2008
15 years 3 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
236
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...
129
click to vote
JWSR
2007
15 years 3 months ago
2007
: One main characteristic of virtual enterprises are short-term collaborations between business partners to provide efficient and individualized services to customers. The MOVE pro...
134
Voted
AAAI
1994
15 years 4 months ago
1994
We describe a method for learning formulas in firstorder logic using a brute-force, smallest-first search. The method is exceedingly simple. It generates all irreducible well-form...
149
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...