7075 search results - page 184 / 1415 » Models and heterogeneous reasoning |
133
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...
123
click to vote
DLOG
2003
15 years 5 months ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
144
click to vote
AAAI
1990
15 years 5 months ago
1990
A case-based reasoner can frequently benefit from using pieces of multiple previous cases in the course of solving a single problem. In our model, case pieces, called snippets, ar...
134
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
164
Voted
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
— In today’s service market the provisioning of high quality services has become a critical issue for providers as the business success of their customers is often based on the...