MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Logics of Programs and Their Applications" – sorted by Relevance.

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

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

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

ATOM

Constraint Logic Programming: Applications and Implementation
by Faculteit Toegepaste Wetenschappen, Prof Danny, De Schreye, Katholieke Universiteit Leuven, Katholieke Universiteit Leuven, Henk Vandecasteele — 1999
… COMPUTERWETENSCHAPPEN Celestijnenlaan 200A -- B-3001 Heverlee CONSTRAINT LOGIC PROGRAMMING: APPLICATIONS…
Add To MetaCart

A Logic Programming Application for the Analysis of Spanish Verse
by Pablo Gervas, Departmento De Inteligencia Arti Cial — 2000 — Computational Logic - CL 2000, First International Conference
…A Logic Programming Application for the Analysis of Spanish Verse Pablo Gervas Departmento de…
Cited by 2 (2 self) – Add To MetaCart

The Handbook of Parallel Constraint Logic Programming Applications
by Alexander Herold (ed.), Er Herold (ed. (ecrc — 1995
…7 November 1995 The Handbook of Parallel Constraint Logic Programming Applications Alexander Herold…
Add To MetaCart

Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
by Thomas Eiter, Georg Gottlob — 1993 — Proceedings of the International Logic Programming Symposium (ILPS
…. Miller, MIT Press, pages 266--278. Complexity Results for Disjunctive Logic Programming and Application…
Cited by 23 (2 self) – Add To MetaCart

Inference of Well-typings for Logic Programs with Application to Termination Analysis
by Maurice Bruynooghe, John Gallagher, Wouter Van Humbeeck — 2005
…Inference of Well-typings for Logic Programs with Application to Termination Analysis Maurice…
Cited by 5 (4 self) – Add To MetaCart

Learning Search-Control Heuristics for Logic Programs: Applications to Speedup Learning
by John M. Zelle — 1993
…Learning Search-Control Heuristics for Logic Programs: Applications to Speedup Learning…
Cited by 1 (0 self) – Add To MetaCart

A Compositional Proof Method of Partial Correctness for Normal Logic Programs with an application
by Gérard Ferrand, Arnaud Lallouet — 1995 — B , 12th Int. Logic Programming Symp
…A Compositional Proof Method of Partial Correctness for Normal Logic Programs with an application…
Cited by 10 (1 self) – Add To MetaCart

A new approach to pharmacophore mapping and QSAR analysis using Inductive Logic Programming
by Nathalie Marchand-geneste, Kimberly A. Watson, Björn Alsberg, Ross D. King
…1 A new approach to pharmacophore mapping and QSAR analysis using Inductive Logic Programming…
Cited by 13 (1 self) – Add To MetaCart

Signed Formula Logic Programming: Operational Semantics and Applications
by Jacques Calmet, Maria Rodriguez, James J. Lu — 1995
…. Applications to bilattice logic programming and truthmaintenance are considered. Keywords: Logic for Artificial…
Cited by 7 (0 self) – Add To MetaCart

Program Dependence Analysis of Concurrent Logic Programs and Its Applications
by Jianjun Zhao, Jingde Cheng, Kazuo Ushijima — 1996 — Proc. 1996 IEEE-CS International Conference on Parallel and Distributed Systems
…Program Dependence Analysis of Concurrent Logic Programs and Its Applications Jianjun Zhao, Jingde…
Cited by 5 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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