Complexity of matching problems
Journal of Symbolic Computation
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Constrained equational reasoning
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Algebraic reconstruction of types and effects
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Optimal unification of bound simple set-terms
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
Rewriting of rules containing set terms in a logic data language LDL
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Matching Modulo Associativity and Idempotency Is NP-Complete
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Unification Modulo Associativity and Idempotency Is NP-complete
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Complexity and Algorithms for the Matching of Bag and Set Terms
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Disunification in ACI1 Theories
Constraints
Theory and Practice of Logic Programming
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
Electronic Notes in Theoretical Computer Science (ENTCS)
θ-Subsumption Based on Object Context
Inductive Logic Programming
FLUCAP: a heuristic search planner for first-order MDPs
Journal of Artificial Intelligence Research
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Efficient instance retrieval with standard and relational path indexing
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Challenges for action theories
Challenges for action theories
Learning with feature description logics
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
When does it pay off to use sophisticated entailment engines in ILP?
ILP'10 Proceedings of the 20th international conference on Inductive logic programming
Programming with partially specified aggregates in Java
Computer Languages, Systems and Structures
Incremental integrity checking: limitations and possibilities
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Efficient integrity checking for databases with recursive views
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
Unify and merge in fluid construction grammar
EELC'06 Proceedings of the Third international conference on Emergence and Evolution of Linguistic Communication: symbol Grounding and Beyond
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms
Fundamenta Informaticae
UNIFICATION MODULO ACI + 1 + 0
Fundamenta Informaticae
Simple and efficient clause subsumption with feature vector indexing
Automated Reasoning and Mathematics
| Hi-index | 0.00 |