1027 search results - page 110 / 206 » Representing and Reasoning with Operational Semantics |
87
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Using category theoretic notions, in particular diagrams and their colimits, we provide a common semantic backbone for various notions of modularity in structured ontologies, and o...
127
click to vote
AMAI
2004
Springer
15 years 18 days ago
2004
Springer
We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents...
98
Voted
CAI
1998
Springer
15 years 13 days ago
1998
Springer
Abstract. Imaging is a class of non-Bayesian methods for the revision of probability density functions originally proposed as a semantics for conditional logic. Two of these revisi...
120
Voted
EPIA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. As software systems become bigger and more complex, software developers need to cope with a growing amount of information and knowledge. The knowledge generated during th...
112
click to vote
ECOOP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...