Searching for authors named Els Laenens – 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.

Logic Programming Semantics Made Easy
by Els Laenens Dirk, Dirk Vermeir, Carlo Zaniolo — 1992 — In Proceedings of the International Conference on Automata, Languages and Programming
…We propose a new model-theoretic semantics for logic programs, called pure semantics, based on the notions of unfounded set and assumption set. The pure semantics emerges from the observation that major Iogic programming semantics have the following feature in common: given an 'intended model' M…
Add To MetaCart

Showing 1 through 1.

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