4737 search results - page 596 / 948 » The LOGIC negotiation model |
224
click to vote
JELIA
2004
Springer
16 years 27 days ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
183
click to vote
ISQED
2003
IEEE
16 years 24 days ago
2003
IEEE
A structurally testable delay fault might become untestable in the functional mode of the circuit due to logic or timing constraints or both. Experimental data suggests that there...
198
click to vote
CAV
2003
Springer
16 years 23 days ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
183
click to vote
FPL
2003
Springer
16 years 23 days ago
2003
Springer
This paper introduces the notion of a software decelerator, to be used in logic-centric system architectures. Functions are offloaded from logic to a processor, accepting a speed ...
177
click to vote
AIMSA
2000
Springer
15 years 12 months ago
2000
Springer
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...