Knowledge compilation and theory approximation
Journal of the ACM (JACM)
Verbalization of high-level formal proofs
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Information and Computation
A Two-Variable Fragment of English
Journal of Logic, Language and Information
LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Journal of Logic, Language and Information
Precisiated natural language (PNL)
AI Magazine
Obvious properties of computer programs
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Proceedings of the 17th Amsterdam colloquium conference on Logic, language and meaning
Logics for two fragments beyond the syllogistic boundary
Fields of logic and computation
Journal of Logic, Language and Information
A System of Relational Syllogistic Incorporating Full Boolean Reasoning
Journal of Logic, Language and Information
Hi-index | 0.00 |