2500 search results - page 38 / 500 » Logical Semantics of Modularisation |
163
click to vote
IADIS
2004
15 years 3 months ago
2004
OWL DL, being established by W3C, is a Knowledge Representation Markup Language for the Semantic Web. OWL DL is a new synthesis of research on KRML for the Semantic Web, which nee...
129
click to vote
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
139
Voted
ENTCS
2007
15 years 2 months ago
2007
In modern functional logic languages like Curry or Toy, programs are possibly non-confluent and nonterminating rewrite systems, defining possibly non-deterministic non-strict fu...
111
click to vote
AAAI
2008
15 years 4 months ago
2008
In this paper, we propose a new approach for iterated revision in possibilistic logic by applying a one-step revision operator. We first argue that the set of KM postulates for re...
128
click to vote
NMR
2004
Springer
15 years 7 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...