Untitled

First Page		Document Content
Date: 2004-07-25 11:47:49 Computational linguistics Knowledge representation Predicate logic Grammar Logic form Natural language processing Predicate First-order logic Subject Linguistics Logic Science		Untitled Add to Reading List Source URL: acl.ldc.upenn.edu Download Document from Source Website File Size: 38,02 KB Share Document on Facebook

	Version 3.0, Brief Remarks on Putnam and Realism in Mathematics* Charles Parsons Hilary Putnam has through much of his philosophical life meditated on the notion of realism, what it is, what form of realism is DocID: 1uMVT - View Document
	This form may be completed on-line or printed for hard-copy use. LOGIC AREA ACCESS/BOARD REPLACEMENT REPORT Operation Center Phone: , 8237, 5778, 5794 Pursuant to ARSD 48:02:10:09, it is necessary to submit this DocID: 1uMD6 - View Document
	Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science, Karlsruhe Institute of Technology, Germany Abstract Predicate abstraction is a form of abstract interpretation DocID: 1rSqJ - View Document
	In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract DocID: 1rsvH - View Document
	Annotating Underquantification Aurelie Herbelot University of Cambridge Cambridge, United Kingdom DocID: 1rl9f - View Document