MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On the Computational Interpretation of Negation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Minimum Model Semantics for Logic Programs with Negation-as-Failure
by unknown authors
… accepted computational interpretation of negated atoms is negation-as-failure. Intuitively, a goal , A…
Add To MetaCart

An infinite-valued semantics for logic programs with negation
by Panos Rondogiannis, William W. Wadge — 2002 — In Proceedings of the 8th European Conference of Logics in Artificial Intelligence (JELIA 2002
… computational interpretation of negated atoms is negation-as-failure. Intuitively, a goal :A succeeds i…
Cited by 2 (0 self) – Add To MetaCart

An Infinite-Valued Semantics for Logic Programs with Negation?
by Panos Rondogiannis, William W. Wadge
… computational interpretation of negated atoms is negation-as-failure. Intuitively, a goal :A succeeds iff…
Add To MetaCart

Pocket Mathematics
by Cristian Calude, Cristian Calude, Hermann Maurer, Hermann Maurer — 1995
…(x) = 1. We can now compute the interpretations of the negation, disjunction, conjunction, according to a…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB