A basic logic for textual inference

AAAI Workshop - Technical Report

Volumn WS-05-05, Issue , 2005, Pages 47-51

  Bobrow, D ^a   Condoravdi, C ^a   Crouch, R ^a   Kaplan, R ^a   Karttunen, L ^a   King, T ^a   De Paiva, V ^a   Zaenen, A ^a  

^a PALO ALTO RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE REPRESENTATION FORMALISMS; LINGUISTIC INFERENCES; TEXTUAL INFERENCE LOGIC; TEXTUAL INFERENCES;

ARTIFICIAL INTELLIGENCE; CONTEXT FREE LANGUAGES; INFERENCE ENGINES; KNOWLEDGE ACQUISITION; QUERY LANGUAGES;

FORMAL LOGIC;

EID: 33646059128     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Baader, F.; Calvanese, D.; McGuiness, D.; Nardi, D.; and Patel-Schneider, P. 2003. The Description Logic Handbook. Cambridge University Press.
2. Chellas, B. F. 1980. Modal Logic: an Intorduction. Cambridge University Press.
3. Condoravdi, C.; Crouch, D.; Stolle, R.; de Paiva, V.; and Bobrow, D. 2003. Entailment, intensionality and text understanding. In Proceedings Human Language Technology Conference, Workshop on Text Meaning, Edmonton, Canada.
4. Crouch, D.; Condoravdi, C.; Stolle, R.; King, T.; de Paiva, V.; O.Everett, J.; and Bobrow, D. 2002. Scalability of redundancy detection in focused document collections. In Proceedings First International Workshop on Scalable Natural Language Understanding (ScaNaLU-2002), Heidelberg, Germany.
5. Crouch, R. 2005. Packed rewriting for mapping semantics to kr. In Proceedings Sixth International Workshop on Computational Semantics, Tilburg, The Netherlands.
6. Dalrymple, M. 2003. Lexical Functional Grammar. Syntax and Semantics, vol. 34. Academic Press.
7. Kaplan, R., and Bresnan, J. 1982. Lexical-functional grammar: A formal system for grammatical representation. In Bresnan, J., ed., The Mental Representation of Grammatical Relations. Reprinted in Dalrymple et al. (editors), Formal Issues in Lexical-Functional Grammar. CSLI, 1995.
8. Lenat, D. 1995. Cyc: A large-scale investment in knowledege infrastructure. Communications of the ACM, 38(11):33-38.
9. McCarthy, J. 1993. Notes on formalizing context. In Proc. of the 13th Joint Conference on Artificial Intelligence (IJCAI-93).