1746 search results - page 22 / 350 » A Constructive Semantics for ALC |
115
click to vote
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
We define an Intuitionistic Conditional Logic for Access Control called CICL . The logic CICL is based on a conditional language allowing principals to be defined as arbitrary form...
102
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper analyses how general-purpose semantic hierarchies could be helpful in the construction of one-to-many mappings between the coarse-grained relational concepts a...
AAAI
1998
15 years 3 months ago
1998
The paper presents a constructive 3-valued semantics for autoepistemic logic (AEL). We introduce a derivation operator and de ne the semantics as its least xpoint. The semantics is...
COLING
2008
15 years 3 months ago
2008
We present here VISUSYN, a prototype we developed in order to study meaning construction. This software implements the model of dynamic construction of meaning proposed by Victorr...
137
Voted
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...