Functional and constraint logic programming
Constraints in computational logics
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Propagation Completeness of Reactive Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
A Partial Evaluation Framework for Curry Programs
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Efficient Negation Using Abstract Interpretation
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
A Novel Implementation of the Extended Andorra Model
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Reexecution-Based Analysis of Logic Programs with Delay Declarations
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
AI '02 Proceedings of the 15th Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
A computational treatment of lexical rules in HPSG as covariation in lexical entries
Computational Linguistics
EACL '99 Proceedings of the ninth conference on European chapter of the Association for Computational Linguistics
Interleaving universal principles and relational constraints over typed feature logic
ACL '98 Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics
A semantic-head-driven generation algorithm for unification-based formalisms
ACL '89 Proceedings of the 27th annual meeting on Association for Computational Linguistics
Automated inversion of logic grammars for generation
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
The witness properties and the semantics of the Prolog cut
Theory and Practice of Logic Programming
How to invert a natural language parser into an efficient generator: an algorithm for logic grammars
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 2
Termination of simply moded logic programs with dynamic scheduling
ACM Transactions on Computational Logic (TOCL)
Inferring non-suspension conditions for logic programs with dynamic scheduling
ACM Transactions on Computational Logic (TOCL)
Towards Ludics Programming: Interactive Proof Search
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A declarative specification and semantics for visual languages
Journal of Visual Languages and Computing
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
Incremental, approximate planning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Theory and Practice of Logic Programming - Prolog Systems
A pearl on SAT solving in prolog
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
A pearl on SAT and SMT solving in Prolog
Theoretical Computer Science
Control Generation by Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Declarative diagnosis of floundering in prolog
ACSC '12 Proceedings of the Thirty-fifth Australasian Computer Science Conference - Volume 122
Theory propagation and rational-trees
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Hi-index | 0.00 |