LFP: a logic for linguistic descriptions and an analysis of its complexity
Computational Linguistics
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Inductive pebble games and the expressive power of datalog
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Processor networks and alternating machines
SPAA '90 Proceedings of the second annual ACM symposium on Parallel algorithms and architectures
The complexity of ordering subgoals
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Grammar induction as substructural inductive logic programming
Learning language in logic
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
New Conditions for the Existence of Least Generalizations under Relative Subsumption
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Log Auditing through Model-Checking
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
Alternation as a programming paradigm
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Inductive logic programming: yet another application of logic
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
| Hi-index | 0.00 |