1638 search results - page 144 / 328 » A General Semantics for Evaluation Logic |
EDBT
2008
ACM
15 years 3 days ago
2008
ACM
In P2P systems where query initiators and information providers do not necessarily share the same ontology, semantic interoperability generally relies on ontology matching or sche...
113
click to vote
CORR
2006
Springer
14 years 10 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
88
Voted
AI
2004
Springer
14 years 10 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
115
click to vote
ATAL
2011
Springer
13 years 10 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
AIPS
2009
14 years 11 months ago
2009
Solving real-world problems using symbolic planning often requires a simplified formulation of the original problem, since certain subproblems cannot be represented at all or only...