4126 search results - page 561 / 826 » Set based logic programming |
124
Voted
SAS
1993
Springer
15 years 7 months ago
1993
Springer
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...
133
Voted
VLDB
1990
ACM
15 years 7 months ago
1990
ACM
A probabilistic learning model for vague queries and missing or imprecise information in databases is described. Instead of retrieving only a set of answers, our approach yields a...
124
click to vote
AUSAI
2007
Springer
15 years 7 months ago
2007
Springer
Planning as satisfiability is a powerful approach to solving domain independent planning problems. In this paper, we consider a relaxed semantics for plans with parallel operator a...
154
click to vote
ICCTA
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we propose a placement method for islandstyle FPGAs, based on fast yet very good initial placement followed by refinement using ultra-low temperature Simulated Anne...
119
Voted
CCIA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper, we describe a novel agent architecture for normative multiagent systems which is based on multi-context systems. It models the three modalities of Rao and ...