1059 search results - page 68 / 212 » Standard Logics Are Valuation-Nonmonotonic |
151
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology ? SUMO), and methods for making SUMO suita...
127
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
We developed an importer from both HOL 4 and HOL-light into Isabelle/HOL. The importer works by replaying proofs within Isabelle/HOL that have been recorded in HOL 4 or HOL-light a...
136
click to vote
ISVC
2007
Springer
16 years 9 days ago
2007
Springer
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...
156
click to vote
ETFA
2006
IEEE
16 years 7 days ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
166
click to vote
SAC
2006
ACM
16 years 4 days ago
2006
ACM
We present a framework and an application for semanticbased retrieval of images. Our approach adopts a two-level ontology structure in a subset of OWL-DL. In the core ontology onl...