1071 search results - page 103 / 215 » Modal Logics, Description Logics and Arithmetic Reasoning |
173
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
AMAI
2005
Springer
14 years 9 months ago
2005
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Our programs reason about t...
SEMWEB
2007
Springer
15 years 4 months ago
2007
Springer
Ontologies play a core role in the success of the Semantic Web as they provide a shared vocabulary for diļ¬erent resources and applications. Developing an error-free ontology is a...
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
DLOG
2010
14 years 8 months ago
2010
Abstract. A usage scenario of bio-ontologies is hypothesis testing, such as finding relationships or new subconcepts in the data linked to the ontology. Whilst validating the hypot...