3238 search results - page 37 / 648 » On the Computational Interpretation of Negation |
158
click to vote
WILF
2009
Springer
16 years 21 days 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...
148
click to vote
LOPSTR
2004
Springer
15 years 11 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...
181
click to vote
HOA
1993
15 years 10 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...
186
click to vote
CIKM
2008
Springer
15 years 8 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...