884 search results - page 125 / 177 » Using Nested Logic Programs for Answer Set Programming |
145
click to vote
COMPSAC
2010
IEEE
15 years 3 days ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
113
click to vote
NMR
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
108
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Determining the evolutionary history of a given biological data is an important task in biological sciences. Given a set of quartet topologies over a set of taxa, the Maximum Quart...
112
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
123
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehen...