1162 search results - page 84 / 233 » Monotonic Semantic Interpretation |
APAL
2010
14 years 11 months ago
2010
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more prim...
JUCS
2007
2007
An Ontology-based Approach to Support Text Mining and Information Retrieval in the Biological Domain
14 years 11 months ago
: This paper describes an ontology-based approach aiming at helping biologists to annotate their documents and at facilitating their information retrieval task. Our approach, based...
IANDC
2010
14 years 9 months ago
2010
We give two generic proofs for cut elimination in propositional modal logics, interpreted over coalgebras. We first investigate semantic coherence conditions between the axiomati...
CORR
2011
Springer
14 years 6 months ago
2011
Springer
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for v...
PADL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...