2685 search results - page 258 / 537 » A Formal Semantics for SPKI |
173
click to vote
DALT
2005
Springer
16 years 4 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...
173
click to vote
ESWS
2004
Springer
16 years 2 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...
181
click to vote
LPNMR
2004
Springer
16 years 1 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 ...
173
Voted
PPDP
2004
Springer
16 years 1 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 ...
158
click to vote
FORMATS
2003
Springer
15 years 12 months 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...