Decompilation: the enumeration of types and grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel Logic Programming for Problem Solving
International Journal of Parallel Programming
A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions
Journal of Automated Reasoning
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Generating Symbolic and Natural Language Partial Solutions for Inclusion in Medical Plans
AIME '01 Proceedings of the 8th Conference on AI in Medicine in Europe: Artificial Intelligence Medicine
Jelly view: a technology for arbitrarily advanced queries within RDBMS
Proceedings of the 2005 ACM symposium on Applied computing
Efficient description logic reasoning in prolog: The dlog system
Theory and Practice of Logic Programming
Scalable Web Reasoning Using Logic Programming Techniques
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
On the use of genetic programming for automated refactoring and the introduction of design patterns
Proceedings of the 12th annual conference on Genetic and evolutionary computation
Combining biometric and symbolic models for customised, automated prosthesis design
Artificial Intelligence in Medicine
Decision support tools for clinical trial design
Artificial Intelligence in Medicine
Advanced street lighting control
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
From the Publisher:What sets this book apart from others on logic programming is the breadth of its coverage. The authors have achieved a fine balance between a clear and authoritative treatment of the theory and a practical, problem-solving approach to its applications. This edition introduces major new developments in a continually evolving field and includes such topics as concurrency and equational and constraint logic programming.