Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Knowledge systems and Prolog: developing expert, database, and natural language systems (2nd ed.)
Knowledge systems and Prolog: developing expert, database, and natural language systems (2nd ed.)
Types, modules and databases in the logic programming language PROTOS-L
Proceedings of the workshop on Sorts and types in artificial intelligence
The muse approach to Or-parallel Prolog
International Journal of Parallel Programming
EFTA: a database retrieval algebra for feature-terms
Data & Knowledge Engineering
Full Prolog and scheduling or-parallelism in muse
International Journal of Parallel Programming
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Creating a Software-Engineering Knowledge Base
IEEE Software
On Implementing Logic Programming Languages on a Dataflow Architecture
ESOP '88 Proceedings of the 2nd European Symposium on Programming
Higher-Order Logic Programming
Proceedings of the Third International Conference on Logic Programming
Solving ambiguities in the semantic representation of texts
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 2
| Hi-index | 0.00 |