3658 search results - page 421 / 732 » The logic of proofs, semantically |
209
click to vote
REX
1991
15 years 10 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
166
Voted
DEXA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Mobile Ad-Hoc Networks, or MANETs, provide communication between free-roaming mobile hosts without a fixed infrastructure. These MANETs operate under conditions of limite...
211
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...
196
click to vote
AAAI
2010
15 years 8 months ago
2010
Ontology matching is the problem of determining correspondences between concepts, properties, and individuals of different heterogeneous ontologies. With this paper we present a n...
148
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. Covariant-contravariant simulation and conformance simulation are two generalizations of the simple notion of simulation which aim at capturing the fact that it is not al...