사건 분포 의미의 기술과 2차 술어 논리

키워드

참고문헌 (17)

1. 이경일, "온톨로지의 이해 In: 제7회 국어 정보화 아카데미 기본, 심화 강좌 강의자료집", pp.453~547 (2006), 연세대학교 언어정보연구원
2. BORILLO A., "Pendant et la specification temporelle", Cahiers de grammaire, 8 (1984)
3. BUNT H., "Semantic Underspecification: Which Technique for What Purpose? In: Computing Meanings", pp.55~85 (2007), Springer
4. BUNT H., "《The Semantics of Semantic Annotation》, the 21th Pacific Asia Conference on Language, Information and Computation, the Korean Society for Language and Information", ~ (2007)
5. CHANG Ch.-L., "Symbolic Logic and Mechanical Theorem Proving" (1973), Academic Press INC.
6. CORBLIN F., "Représentation du discours et sémantique formelle" (2002), puf
7. CORI R., "Logique mathématique" (2003), Masson
8. DAVIDSON D., "The Logical Form of Action Sentences In: Essays  on Actions and Events" (1967), Clarendon Press
9. HALMOS P.R., "Intoroduction à la théorie des ensembles" (1970), Editions Jacques Gabay
10. LEPAGE F., "Eléments de logique contemporaine" (1991), Les presses de  l'Université de Montréal
11. MANZANO M., "Extensions of First Order Logic, Cambridge" (1996), Cambridge Univ. Press
12. PINKAL M., "Logic and Lexicon" (1985), Oxford University Press
13. QUINE W. V., "From a Logical Point of View" (1953), Harper  Torchbooks
14. QUINE W. V., "Philosophy of Logic" (1970), Prentice-Hall
15. RENAUD F., "Temps, Durativité Télicité" (2005), Editions Peeters
16. ROSSBERG M., "First-Order Logic, Second-Order Logic, and Completenes s", pp.303~321 (2004), Logos Verlag
17. VERLEY X., "Logique symbolique" (1999), Ellipses

관련 논문AI추천