MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Declarative Semantics of Logic Programming." – sorted by Relevance.

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

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

129 documents found, showing 1 through 10. Next 10 →

ATOM

Analyzing Declarative Semantics of Logic Programs
by Dmitri Boulanger — 1997 — Proc. 12 Workshop Logische Programmierung WLP'97, Munchen
…Analyzing Declarative Semantics of Logic Programs Dmitri Boulanger GMD-FIRST, Rudower Chaussee 5…
Cited by 1 (1 self) – Add To MetaCart

A Declarative Semantics for Logic Program Refinement
by Robert Colvin, Ian Hayes, Ian Hayes, Ray Nickson, Ray Nickson, Paul Strooper, Paul Strooper — 2000
… TECHNICAL REPORT No. 00-30 A Declarative Semantics for Logic Program Renement Ian Hayes Ray Nickson y…
Add To MetaCart

On the Declarative and Procedural Semantics of Logic Programs
by Teodor C. Przymusinski — 1995 — Journal of Automated Reasoning
…On the Declarative and Procedural Semantics of Logic Programs Teodor C. Przymusinski December 15…
Cited by 57 (8 self) – Add To MetaCart

A Declarative Semantics for Typed Logic Programs
by Jian Chen — 1994
…A Declarative Semantics for Typed Logic Programs Jian Chen Department of Software Development…
Cited by 1 (1 self) – Add To MetaCart

Paraconsistent Declarative Semantics for Extended Logic Programs
by Ofer Arieli — 2002 — Annals of Mathematics and Artificial Intelligence
… / Paraconsistent declarative semantics for extended logic programs (see, e.g., [1,25,27,31,37,38,42,48] and a…
Cited by 7 (1 self) – Add To MetaCart

Extended well-founded model semantics for general logic programs
by Yong Hu, Li Yan Yuan — 1991 — Proceedings of the 8th Int. Conf. on Logic Programming, Paris
…@(email omitted); and yuan@(email omitted);) ABSTRACT We inv estigate the declarative semantics of logic programs with negation…
Cited by 9 (0 self) – Add To MetaCart

The Stable Model Semantics For Logic Programming
by Michael Gelfond, Vladimir Lifschitz — 1988
… propose a new declarative semantics for logic programs with negation. Its formulation is quite simple…
Cited by 1122 (42 self) – Add To MetaCart

Automatic Bottom-Up Analysis and Transformation of Logic Programs
by Wamberto W. Vasconcelos, Marcelo A. T. Aragão, Marcelo A. T. Arag~ao, Norbert E. Fuchs — 1996 — In LNAI
…@(email omitted); Abstract. The comparatively small size and clean declarative semantics of logic programs hide performance…
Cited by 3 (3 self) – Add To MetaCart

Towards a Logical Semantics for Pure Prolog
by Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone — 1998
… of the declarative semantics of logic programming: existence of the least Herbrand model, equivalence of the model…
Cited by 1 (0 self) – Add To MetaCart

August 2, 1993 Revised March 28, 1994
by Ed Mar Ch, Chiaki Sakama, Katsumi Inoue — 1994 — Journal of Automated Reasoning
…, the declarative semantics of logic programming and deductive databases has been studied based on the notion…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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