850 search results - page 81 / 170 » A Logic Programming Language Based on Binding Algebras |
137
click to vote
DALT
2005
Springer
15 years 7 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
116
click to vote
IJCAI
1993
15 years 2 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
104
click to vote
APLAS
2004
ACM
15 years 5 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
151
click to vote
LICS
1995
IEEE
15 years 5 months ago
1995
IEEE
We present new proofs of cut elimination for intuitionistic, classical, and linear sequent calculi. In all cases the proofs proceed by three nested structural inductions, avoiding...
115
click to vote
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...