8766 search results - page 619 / 1754 » Functional logic programming |
125
click to vote
GC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...
135
click to vote
AI
2002
Springer
15 years 5 months ago
2002
Springer
ko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, th...
146
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
146
click to vote
ICCD
2008
IEEE
16 years 2 months ago
2008
IEEE
- A gate level probabilistic error propagation model is presented which takes as input the Boolean function of the gate, the signal and error probabilities of the gate inputs, and ...
135
click to vote
LCTRTS
2005
Springer
15 years 10 months ago
2005
Springer
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a sy...