2236 search results - page 65 / 448 » Language Independence and Language Tolerance in Logic Progra... |
181
click to vote
ICLP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
159
click to vote
ENTCS
2008
15 years 6 months ago
2008
Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are ...
200
click to vote
JAVA
2001
Springer
15 years 11 months ago
2001
Springer
CX, a network-based computational exchange, is presented. The system’s design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks, e...
202
click to vote
PLANX
2007
15 years 8 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
153
click to vote
SAC
2006
ACM
16 years 16 days ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ï¬...