Searching for "Belief, Provability, and Logic Programs." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Belief, provability and logic programs
by José Júlio Alferes, D. Matemática, U. Évora, Luís Moniz Pereira — 1994 — International Workshop on Logics in Artificial Intelligence, JELIA'94, volume 838 of Lecture Notes in Artificial Intelligence
…Belief, Provability, and Logic Programs José Júlio Alferes D. Matemática, U. Évora, and CRIA…
Cited by 3 (3 self) – Add To MetaCart

Showing 1 through 1.

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