4266 search results - page 288 / 854 » A Framework for Defining Logics |
208
click to vote
FDL
2003
IEEE
16 years 1 days ago
2003
IEEE
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
210
click to vote
SBCCI
2003
ACM
16 years 9 hour ago
2003
ACM
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...
161
click to vote
ECSQARU
1999
Springer
15 years 11 months ago
1999
Springer
Intelligent agents embedded in physical environments need ity to connect, or anchor, the symbols used to perform abstract reasoning to the physical entities which these symbols ref...
200
click to vote
FSTTCS
2000
Springer
15 years 10 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
210
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying, and...