2395 search results - page 138 / 479 » Reasoning in Semantic Wikis |
136
click to vote
ALP
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
118
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...
130
click to vote
ENTCS
2010
15 years 4 months ago
2010
This paper gives an overview of two methods for automatically or semi-automatically generating deduction calculi from the semantic specification of a logic. One approach is based ...
274
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
155
Voted
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Magpie is a suite of tools supporting a ‘zero-cost’ approach to semantic web browsing: it avoids the need for manual annotation by automatically associating an ontolo...