3238 search results - page 37 / 648 » On the Computational Interpretation of Negation |
WILF
2009
Springer
14 years 4 months ago
2009
Springer
In this work we recall the first steps towards the definition of an answer set semantics for residuated logic programs with negation, and concentrate on the development of relati...
LOPSTR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
GREC
2003
Springer
14 years 3 months ago
2003
Springer
HOA
1993
14 years 1 months ago
1993
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
CIKM
2008
Springer
13 years 11 months ago
2008
Springer
Social Network Marketing techniques employ pre-existing social networks to increase brands or products awareness through word-of-mouth promotion. Full understanding of social netw...