3032 search results - page 319 / 607 » Description Logic Rules |
123
click to vote
SGAI
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we describe a novel technique which implements a spatiotemporal model as a set of sub-models based on first order logic. These sub-models model different, typicall...
122
Voted
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
: Asynchronous circuits are often presented as a means of achieving low power operation. We investigate their suitability for low-energy applications, where long battery life and d...
125
click to vote
ISCIS
2004
Springer
15 years 9 months ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...
133
Voted
ICPADS
1996
IEEE
15 years 8 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...
140
click to vote
CSR
2008
Springer
15 years 4 months ago
2008
Springer
An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...