2685 search results - page 258 / 537 » A Formal Semantics for SPKI |
196
click to vote
DALT
2005
Springer
16 years 22 days ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
189
click to vote
ESWS
2004
Springer
16 years 20 days ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
200
click to vote
LPNMR
2004
Springer
16 years 19 days ago
2004
Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...
203
click to vote
PPDP
2004
Springer
16 years 19 days ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
177
click to vote
FORMATS
2003
Springer
16 years 15 days ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...