2920 search results - page 131 / 584 » Finite information logic |
90
Voted
ITC
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper we introduce a tool which is capable of verifying an 1149.1 test logic implementation and its compliance to the IEEE 1149.1 Standard [1][2] while providing a precise...
92
Voted
CSMR
1998
IEEE
15 years 5 months ago
1998
IEEE
AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...
107
click to vote
AIIA
1997
Springer
15 years 5 months ago
1997
Springer
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn an abductive logic program starting f...
128
Voted
AAAI
2006
15 years 2 months ago
2006
For ontologies represented as Description Logic Tboxes, optimised DL reasoners are able to detect logical errors, but there is comparatively limited support for resolving such pro...
120
click to vote
JAIR
2007
15 years 20 days ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...