2766 search results - page 214 / 554 » Hybridizing a Logical Framework |
139
click to vote
PPSWR
2005
Springer
15 years 10 months ago
2005
Springer
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to ...
152
click to vote
ARTS
1999
Springer
15 years 9 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
131
click to vote
ICCAD
1998
IEEE
15 years 9 months ago
1998
IEEE
Domino logic is a popular con guration for implementing high-speed circuits. An algorithm for domino logic mapping, under a parameterized library style, is presented here. Practic...
165
click to vote
ICLP
1992
Springer
15 years 8 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
129
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
Abstract. While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An ...