3468 search results - page 153 / 694 » An open logical framework |
113
click to vote
DLOG
2008
15 years 3 months ago
2008
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...
PERCOM
2004
ACM
16 years 19 days ago
2004
ACM
In this paper we show a novel middleware approach for pervasise applications that communicate via an XMLbased distributed virtual shared information space. This approach extends s...
91
Voted
ISMVL
2000
IEEE
15 years 5 months ago
2000
IEEE
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...
132
Voted
LICS
1992
IEEE
15 years 5 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...
105
click to vote
SEBD
2008
15 years 2 months ago
2008
We propose a logical framework for set preferences. Candidate sets are represented using profiles consisting of scalar features. This reduces set preferences to tuple preferences o...