Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
Artificial Intelligence
Principles of artificial intelligence
Principles of artificial intelligence
A more expressive formulation of many sorted logic
Journal of Automated Reasoning
Programming in Prolog
A many-sorted calculus based on resolution and paramodulation
A many-sorted calculus based on resolution and paramodulation
A flexible graph-unification formalism and its application to natural-language processing
IBM Journal of Research and Development
A calculus for order-sorted predicate logic with sort literals
Proceedings of the workshop on Sorts and types in artificial intelligence
Knowledge representation in LILOG
Proceedings of the workshop on Sorts and types in artificial intelligence
The substitutional framework for sorted deduction: fundamental results on hybrid reasoning
Artificial Intelligence - Special issue on knowledge representation
An order-sorted logic for knowledge representation systems
Artificial Intelligence
SETHEO: a high-performance theorem prover
Journal of Automated Reasoning
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
PASCAL user manual and report
Proceedings of the Sixth International Conference on Data Engineering
Object-Oriented Representation of Depictions on the Basis of Cell Matrices
Text Understanding in LILOG, Integrating Computational Linguistics and Artificial Intelligence, Final Report on the IBM Germany LILOG-Project
A Formalism for Natural Language - STUF
Text Understanding in LILOG, Integrating Computational Linguistics and Artificial Intelligence, Final Report on the IBM Germany LILOG-Project
Integrating a Generation Component into a Natural Language Understanding System
Text Understanding in LILOG, Integrating Computational Linguistics and Artificial Intelligence, Final Report on the IBM Germany LILOG-Project
Universally Quantified Queries in Language with Order-Sorted Logics
GWAI '92 Proceedings of the 16th German Conference on Artificial Intelligence: Advances in Artificial Intelligence
DEPIC-2D: Eine Komponente zur depiktionalen Repräsentation und Verarbeitung räumlichen Wissens
GWAI '89 Proceedings of the 13th German Workshop on Artificial Intelligence
The Knowledge Representation Language LLILOG
CSL '88 Proceedings of the 2nd Workshop on Computer Science Logic
The semantics of grammar formalisms seen as computer languages
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
A logical semantics for feature structures
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Automated theorem proving: A logical basis (Fundamental studies in computer science)
An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A model elimination calculus for generalized clauses
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |