Sciweavers

1419 search results - page 56 / 284
» Notes on Formalizing Context
Sort
View
96
Voted
AOSE
2005
Springer
15 years 6 months ago
Operational Modelling of Agent Autonomy: Theoretical Aspects and a Formal Language
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...
Gerhard Weiß, Felix A. Fischer, Matthias Nic...
113
Voted
OTM
2005
Springer
15 years 6 months ago
Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
Jingtao Yang, Corina Cîrstea, Peter Henderso...
126
Voted
COOPIS
2002
IEEE
15 years 5 months ago
Formal Ontology Engineering in the DOGMA Approach
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
Mustafa Jarrar, Robert Meersman
100
Voted
AISB
1994
Springer
15 years 4 months ago
Formal Memetic Algorithms
Abstract. A formal, representation-independent form of a memetic algorithm-a genetic algorithm incorporating local search--is introduced. A generalisedform of N-point crossover is ...
Nicholas J. Radcliffe, Patrick D. Surry
108
Voted
FOIS
2006
15 years 2 months ago
Formalizing Ontology Alignment and its Operations with Category Theory
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the te...
Antoine Zimmermann, Markus Krötzsch, Jé...