1746 search results - page 12 / 350 » A Constructive Semantics for ALC |
77
Voted
WADT
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...
CADE
2006
Springer
16 years 6 hour ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
109
click to vote
ER
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
132
click to vote
EUSFLAT
2009
14 years 9 months ago
2009
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy pr...
WEBDB
2005
Springer
15 years 5 months ago
2005
Springer
Semantic mapping is one of the important components underlying the data sharing systems. As is known, constructing and maintaining such mappings both are necessary yet extremely h...