2500 search results - page 102 / 500 » Logical Semantics of Modularisation |
134
Voted
EKAW
2008
Springer
15 years 4 months ago
2008
Springer
Similarity measures play a key role in the Semantic Web perspective. Indeed, most of the ontology related operations such as ontology learning, ontology alignment, ontology ranking...
127
click to vote
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
125
click to vote
EUSFLAT
2007
15 years 4 months ago
2007
Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, li...
121
click to vote
JSYML
2000
15 years 2 months ago
2000
We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and ...
125
click to vote
IGPL
2010
15 years 6 days ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...