Phonological analysis in typed feature systems
Computational Linguistics - Special issue on computational phonology
A unified version model for configuration management
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Reengineering of configurations based on mathematical concept analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Unification encodings of grammatical notations
Computational Linguistics
Unified versioning through feature logic
ACM Transactions on Software Engineering and Methodology (TOSEM)
An introduction to inductive logic programming and learning language in logic
Learning language in logic
Constraints and constraint solving: an introduction
Constraints in computational logics
Ordering and Path Constraints over Semistructured Data
Journal of Intelligent Information Systems
An Order-Sorted Resolution with Implicitly Negative Sorts
Proceedings of the 17th International Conference on Logic Programming
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Dominance Constraints in Context Unification
LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Improving the Refined Triggering Graph Method for Active Rules Termination Analysis
BNCOD 19 Proceedings of the 19th British National Conference on Databases: Advances in Databases
LIGHT - A Constraint Language and Compiler System for Typed-Unification Grammars
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
Retrieval of semistructured Web data
Intelligent exploration of the web
Computing with features as formulae
Computational Linguistics
Deterministic consistency checking of LP constraints
EACL '95 Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics
A complete and recursive feature theory
ACL '93 Proceedings of the 31st annual meeting on Association for Computational Linguistics
On the decidability of functional uncertainty
ACL '93 Proceedings of the 31st annual meeting on Association for Computational Linguistics
An attributive logic of set descriptions and set operations
ACL '94 Proceedings of the 32nd annual meeting on Association for Computational Linguistics
An efficient graph algorithm for dominance constraints
Journal of Algorithms - Special issue: Twelfth annual ACM-SIAM symposium on discrete algorithms
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
Constraint-Based Approach to Semistructured Data
Fundamenta Informaticae - Intelligent Systems
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Efficient parameterizable type expansion for typed feature formalisms
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Versioned objects as a basis for engineering cooperation
EG-ICE'06 Proceedings of the 13th international conference on Intelligent Computing in Engineering and Architecture
Customizable-Resources description, selection, and composition: a feature logic based approach
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Feature constraint logic and error detection in ICALL systems
LACL'05 Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics
Hybrid reasoning for web services discovery
RED'10 Proceedings of the Third international conference on Resource Discovery
Towards the uniform implementation of declarative languages
Computer Languages
Constraint-Based Approach to Semistructured Data
Fundamenta Informaticae - Intelligent Systems
Feature logic for web resources customization: Design and implementation
International Journal of Knowledge-based and Intelligent Engineering Systems
Hi-index | 0.00 |