1638 search results - page 133 / 328 » A General Semantics for Evaluation Logic |
97
Voted
FROCOS
2000
Springer
15 years 1 months ago
2000
Springer
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
SAC
2009
ACM
15 years 2 months ago
2009
ACM
Information systems often require combining datasets available in different formats, and geographical information systems are no exception. While semantic technologies have been u...
99
Voted
CODES
2008
IEEE
15 years 8 hour ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
79
Voted
NAACL
2010
14 years 8 months ago
2010
Open-class semantic lexicon induction is of great interest for current knowledge harvesting algorithms. We propose a general framework that uses patterns in bootstrapping fashion ...
76
Voted
LISP
2008
14 years 10 months ago
2008
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...