Searching for "Compositional Model-Theoretic Semantics for Logic Programs." – 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.

Bibliography for An Algebraic Study of Modularity in Logic Programming
by Elvira Pino — 1999
…-Verlag, 1994. [BLM92] A. Brogi, E. Lamma, P. Mello. Compositional model-theoretic semantics for logic programs…
Add To MetaCart

A Unifying View for Logic Programming with Non-Monotonic Reasoning
by Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello — 1997
… compositional model-theoretic semantics of logic programs (see also section 6). The notion of supported…
Cited by 17 (11 self) – Add To MetaCart

Showing 1 through 2.

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