
Logical Foundations of Computer Science (in 2 Volumes)
Peter A. Fejer, Dan A. Simovici
₹4,099

Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings
by Evelina Lamma, Paola Mello
Free delivery. Nothing extra to pay at checkout.
This book contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both theoretical and practical aspects. Some papers investigate topics such as abductive reasoning and negation. Some works discuss how to enhance the expressive power of logic programming by introducing constraints, sets, and integration with functional programming.
Description supplied by the publisher.