1588 search results - page 266 / 318 » On the Logic of Constitutive Rules |
145
click to vote
ICCSA
2011
Springer
14 years 4 months ago
2011
Springer
The standardization of the design of learning games is a contradictory topic: The existence of a rich variety of domains and applications is in conflict with the desire for unifica...
115
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. The goal of this work is to type ...
WWW
2004
ACM
16 years 2 months ago
2004
ACM
This paper presents a method and a tool for designing and automatically creating an HTML web site for publishing Semantic Web content represented in RDF(S). The idea is to specify...
172
click to vote
POPL
2001
ACM
16 years 1 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
104
click to vote
CADE
2004
Springer
16 years 1 months ago
2004
Springer
Deduction modulo is a theoretical framework for reasoning modulo a congruence on propositions. Computational steps are thus removed from proofs, thus allowing a clean separatation...