Efficient interpretation of Prolog programs
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
A constraint approach to mastermind in logic programming
ACM SIGART Bulletin
A Case Study in Structure Specification: a Grid Description of Scribe
IEEE Transactions on Software Engineering
Knowledge representation for commonsense reasoning with text
Computational Linguistics
Computational Improvements in Prolog Applications by Predicate Variable Pointers
IEEE Transactions on Software Engineering
Querying of Executable Software Specifications
IEEE Transactions on Software Engineering
A versatile module system for Prolog mapped to flat prolog
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
A Flexible Framework for Dynamic and Static Slicing of Logic Programs
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Improving Functional Logic Programs by Difference-Lists
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Integrating Function Application in State-Based Planning
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
Towards Combining Inductive Logic Programming with Bayesian Networks
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
Sequence-based abstract interpretation of Prolog
Theory and Practice of Logic Programming
Rule-based workflow management for bioinformatics
The VLDB Journal — The International Journal on Very Large Data Bases
biXid: a bidirectional transformation language for XML
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Journal of Management Information Systems - Special section: Toward a theory of business process change management
Enigma 1225: Prolog-assisted solution of a puzzle using discrete mathematics
Computers & Mathematics with Applications
Rotations in the plane and Prolog
Science of Computer Programming
ASTLOG: a language for examining abstract syntax trees
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Information carrying identity proof trees
Proceedings of the 2007 ACM workshop on Privacy in electronic society
Model checking multi-agent systems with logic based Petri nets
Annals of Mathematics and Artificial Intelligence
A New Proposal for Debugging Datalog Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Parallel materialization of large ABoxes
Proceedings of the 2009 ACM symposium on Applied Computing
An Inductive Logic Programming Approach to Statistical Relational Learning
Proceedings of the 2005 conference on An Inductive Logic Programming Approach to Statistical Relational Learning
Reflection as a tool for integration: an exercise in procedural introspection
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Co-argumentation artifact for agent societies
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
An algorithm for local variable elimination in normal logic programs
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
SuperGlue: component programming with object-oriented signals
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Combining semantic web and logic programming for agent reasoning
AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
Solving a cutting-stock problem with the constraint logic programming language chip
Mathematical and Computer Modelling: An International Journal
Using XQuery for problem solving
Software—Practice & Experience
Hi-index | 0.00 |