Logic Programming: New Frontiers - Rilegato

 
9780792315469: Logic Programming: New Frontiers
Rilegato
ISBN 10: 0792315464 ISBN 13: 9780792315469
Casa editrice: Kluwer Academic Pub, 1992

Sinossi

A collection of papers from the Second Conference of the Association for Logic Programming. It contains contributions from leading researchers on the theory, applications and implementations of logic programming. The work should be of interest to researchers in logic programming, Prolog programmers and computer scientists generally.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione

`Overall, I found this to be a very good collection of papers, and certainly well worth reading for anyone with an interest more in the theoretical than the practical side perhaps of Artificial Intelligence, and its applications in PROLOG.'
The Australian Computer Journal.

Contenuti

1. Metalevel and Constraint Technology in a Pure Logic Language; E. Babb, K. Rommelse. 2. A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs; P. Brna, A. Bundy, H. Pain. 3. Event Abstraction Debuggers for Layered Systems in Prolog; A. Casson. 4. Extending the Integrity Maintenance Capability in Deductive Databases; S.K. Das, M.H. Williams. 5. Construction of CLP Programs; Y. Deville, P. van Hentenryck. 6. Some Control Engineering Applications of Prolog; P.W. Grant, C.P. Jobling, C. Rezvani. 7. GAP: An Experiment in Model Oriented Programming; K. Harrison. 8. Using Prolog to Animate Mathematics; R. Knott. 9. Term-Encodable Description Spaces; C. Mellish. 10. Logic, Language, and the Quest for Intelligence; C. Moss. 11. A Model for OR-Parallel Prolog Execution Using Graph Reduction; S.M.S. Syed-Mustaffa. 12. Reconciling Systems and Deductive Capacities in Knowledge Based Systems using Logic Programing; H. Taylor. 13. The Wivenhoe Computational Model: In Search of More Parallelisms; J. Wang, S. Lavington.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Kluwer Academic Pub
Data di pubblicazione
1992
Lingua
Inglese
ISBN 10 
0792315464
ISBN 13 
9780792315469
Rilegatura
Copertina rigida
Numero di pagine
300
Redattore
Brough D. R.
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9789401051316: Logic Programming New Frontiers

Edizione in evidenza

ISBN 10:  9401051313 ISBN 13:  9789401051316
Casa editrice: Springer, 2012
Brossura