1746 search results - page 124 / 350 » A Constructive Semantics for ALC |
151
Voted
IJCAI
2007
15 years 6 months ago
2007
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
120
click to vote
AIML
2004
15 years 6 months ago
2004
This paper aims to examine Horty's proposal of utilitarian deontic logic [7]. It will focus on his dominance operators by way of simplified semantics. An axiomatization of the...
168
click to vote
AI
2011
Springer
14 years 11 months ago
2011
Springer
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programmi...
143
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
Programming language design benefits from constructs for extending the syntax and semantics of a host language. While C’s stringbased macros empower programmers to introduce no...
151
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
We present a Semantic Web application that we call CS AKTive Space1 . The application exploits a wide range of semantically heterogeneous and distributed content relating to Compu...