1864 search results - page 188 / 373 » Formal topology and domains |
165
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper deals with the roles of assumption, mathematical models, and experimental control in Pattern Recognition. In order to base the discussion on actual examples, three stud...
198
click to vote
COLLABORATION
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent ...
177
click to vote
ICLP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
138
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
132
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressi...