Interoperable strategies in automated trust negotiation
CCS '01 Proceedings of the 8th ACM conference on Computer and Communications Security
ACM Transactions on Information and System Security (TISSEC)
First-Order Logic as a Constraint Programming Language
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
From answer set logic programming to circumscription via logic of GK
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Logic programming in Italy: a historical perspective
A 25-year perspective on logic programming
DC proposal: towards a framework for efficient query answering and integration of geospatial data
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
| Hi-index | 0.00 |
From the Publisher:Logic Programming was founded 25 years ago. This new text reveals the evolution of this programming paradigm since its inception and the impressively broad scope of current research in Logic Programming. The contributions to the book deal with both theoretical and practical issues. The contributors are all leading world experts in Logic Programming and their contributions were invited and refereed.