Searching for "A Language for Programming in Logic with Finite Sets." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

{log}: A Language For Programming In Logic With Finite Sets
by Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi — 1996 — Journal of Logic Programming
…J. LOGIC PROGRAMMING 28(1):1--44 (1996) flogg: A LANGUAGE FOR PROGRAMMING IN LOGIC WITH FINITE…
Cited by 41 (27 self) – Add To MetaCart

Complexity of Query Answering in Logic Databases with Complex Values
by Evgeny Dantsin, Andrei Voronkov — 1998 — in S. Adian & A. Nerode, eds, `Logical Foundations of Computer Science. 4th International Symposium, LFCS'97
… of the body we mean the number n. A logic program is a finite set of clauses. A goal is a conjunction A 1…
Cited by 11 (5 self) – Add To MetaCart

Showing 1 through 2.

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