5378 search results - page 369 / 1076 » Base Logics in Argumentation |
219
Voted
PPDP
1999
Springer
15 years 12 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...
202
Voted
TIME
1998
IEEE
15 years 12 months ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
242
Voted
HIM
1997
Springer
15 years 12 months ago
1997
Springer
Classical retrieval models support content-oriented searching for documents using a set of words as data model. However, in hypertext and database applications we want to consider...
192
Voted
ICLP
2010
Springer
15 years 11 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
168
Voted
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper we describe how we applied a BIST-based approach to the test of a logic core to be included in System-on-achip (SoC) environments. The approach advantages are the ab...