Generating inference-rich discourse through revisions of RST-Trees
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Adaptation of declaratively represented methods in proof planning
Annals of Mathematics and Artificial Intelligence
Argumentation in Explanations to Logical Problems
ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I
Proof Development with Omega-MEGA: sqrt(2) Is Irrational
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Presenting Mathematical Concepts as an Example for Inference-Rich Domains
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
Logical methods for computational intelligence
The Knowledge Engineering Review
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 1
A task-oriented agent-based mechanism for mathematical assistant systems
Web Intelligence and Agent Systems
A proof markup language for semantic web services
Information Systems - Special issue: The semantic web and web services
Types for Proofs and Programs
Mathematical domain reasoning tasks in natural language tutorial dialog on proofs
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Proof verbalization as an application of NLG
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Assertion application in theorem proving and proof planning
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Planning reference choices for argumentative texts
INLG '94 Proceedings of the Seventh International Workshop on Natural Language Generation
Interactive Theorem Proving with Tasks
Electronic Notes in Theoretical Computer Science (ENTCS)
Presenting inequations in mathematical proofs
Information Sciences: an International Journal
A proof markup language for Semantic Web services
Information Systems
Explaining answers from the Semantic Web: the Inference Web approach
Web Semantics: Science, Services and Agents on the World Wide Web
Natural language dialog with a tutor system for mathematical proofs
Proceedings of the 2005 joint Chinese-German conference on Cognitive systems
Justification oriented proofs in OWL
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
A generic modular data structure for proof attempts alternating on ideas and granularity
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
European collaboration on automated reasoning
AI Communications - ECAI 2012 Turing and Anniversary Track
Hi-index | 0.00 |