3624 search results - page 110 / 725 » Abstract Algebraic Logic |
157
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
122
click to vote
RELMICS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Boolean Contact Algebras (BCA) establish the algebraic counterpart of the mereotopolopy induced by the Region Connection Calculus (RCC). Similarly, Stonian p-ortholattice...
161
click to vote
SIGMOD
1993
ACM
15 years 8 months ago
1993
ACM
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...
136
click to vote
CONSTRAINTS
2010
15 years 2 months ago
2010
Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of val...
127
Voted
DAGSTUHL
2007
15 years 6 months ago
2007
Abstract. In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible