Sciweavers

3624 search results - page 110 / 725
» Abstract Algebraic Logic
Sort
View
FSEN
2009
Springer
15 years 11 months ago
Automated Translation and Analysis of a ToolBus Script for Auctions
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 ...
Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. ...
RELMICS
2009
Springer
15 years 11 months ago
On the Skeleton of Stonian p-Ortholattices
Abstract. Boolean Contact Algebras (BCA) establish the algebraic counterpart of the mereotopolopy induced by the Region Connection Calculus (RCC). Similarly, Stonian p-ortholattice...
Michael Winter, Torsten Hahmann, Michael Gruninger
SIGMOD
1993
ACM
140views Database» more  SIGMOD 1993»
15 years 8 months ago
Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization
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...
Ralf Hartmut Güting
CONSTRAINTS
2010
116views more  CONSTRAINTS 2010»
15 years 2 months ago
Enabling local computation for partially ordered preferences
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...
Hélène Fargier, Emma Rollon, Nic Wil...
127
Voted
DAGSTUHL
2007
15 years 6 months ago
BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic
Abstract. In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible
Guido Governatori, Antonino Rotolo