1941 search results - page 115 / 389 » Reasoning about Computations Using Two-Levels of Logic |
114
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating proofs) can be used for a number of applications, such a...
113
click to vote
RML
2002
15 years 3 months ago
2002
The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the form of the DAML+OIL language whic...
140
click to vote
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
133
click to vote
ECCV
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...
118
click to vote
TLCA
2001
Springer
15 years 7 months ago
2001
Springer
We extend the modal logic of ambients described in [7] to the full ambient calculus, including name restriction. We introduce logical operators that can be used to make assertions ...