147 search results - page 28 / 30 » Reasoning with Sets of Defaults in Default Logic |
AI
2004
Springer
13 years 7 months ago
2004
Springer
We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL...
FPGA
1997
ACM
13 years 11 months ago
1997
ACM
Programmable logic architectures increase in capacity before commercial circuits are designed for them, yielding a distinct problem for FPGA vendors: how to test and evaluate the ...
IJCAI
1989
13 years 8 months ago
1989
This paper presents an approach to temporal reasoning in which prediction is deduction but explanation is abduction. It is argued that all causal laws should be expressed in the n...
OR
2006
Springer
13 years 7 months ago
2006
Springer
Given that contractor plays a critical role in any construction project, contractor selection constitutes key decision for public authorities. Prequalification, i.e. the eliminati...
AINA
2011
IEEE
12 years 11 months ago
2011
IEEE
—Mobile devices with two network interfaces (WiFi and 3G) are already commercially available. Pointto-point communications such as Infrared and Bluetooth are also readily used. I...