3468 search results - page 138 / 694 » An open logical framework |
104
Voted
PDP
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...
117
click to vote
AINA
2009
IEEE
15 years 6 months ago
2009
IEEE
The OSGi Alliance defines an open, modular, and scalable service delivery platform. The DPWS specification standardizes the process of consuming and exposing Web Services in a l...
103
Voted
AIML
2006
15 years 2 months ago
2006
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...
128
Voted
RULEML
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...
88
Voted
DLOG
2007
15 years 3 months ago
2007
We present a query answering technique based on notions and results from modal Correspondence Theory. It allows us to answer a wide family of conjunctive queries by polynomial redu...