1162 search results - page 162 / 233 » Monotonic Semantic Interpretation |
94
Voted
JANCL
2007
15 years 14 days ago
2007
Logic of proofs LP introduced by S. Artemov in 1995 describes properties of proof predicate “t is a proof of F” in the propositional language extended by atoms of the form [[t...
125
Voted
NGC
2007
Springer
15 years 2 days ago
2007
Springer
Several constructive description logics,12) in which classical negation was replaced by strong negation as a component to treat negative atomic information have been proposed as in...
108
Voted
SADM
2008
15 years 1 days ago
2008
: Accurate and efficient video classification demands the fusion of multimodal information and the use of intermediate representations. Combining the two ideas into one framework, ...
107
Voted
SEMWEB
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The Web of Data is increasingly becoming an important infrastructure for such diverse sectors as entertainment, government, ecommerce and science. As a result, the robust...
126
click to vote
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...