3738 search results - page 559 / 748 » Parametrized Logic Programming |
150
click to vote
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
118
click to vote
AIEDU
2007
15 years 3 months ago
2007
This paper describes a reflection-based approach for open learner modeling (OLM). Tutoring dialogues are used by learners to explicitly reveal their own knowledge state to themselv...
148
click to vote
DKE
2008
15 years 3 months ago
2008
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
121
click to vote
JLP
2006
15 years 3 months ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
131
click to vote
ML
2006
ACM
15 years 3 months ago
2006
ACM
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. A common way to measure performance in these domains is to use precision and recall i...