1278 search results - page 79 / 256 » On the Semantics of Logic Program Composition |
ICANN
2009
Springer
14 years 3 months ago
2009
Springer
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operat...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
CCGRID
2005
IEEE
13 years 11 months ago
2005
IEEE
We introduce the Composite Endpoint Protocol (CEP) which efficiently composes a set of transmission elements to support high speed flows which exceed the capabilities of a single...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
AI
2002
Springer
13 years 8 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...