From owner-cse663-fa06-list@LISTSERV.BUFFALO.EDU Wed Sep 13 15:50:04 2006 Received: from ares.cse.buffalo.edu (ares.cse.Buffalo.EDU [128.205.32.79]) by castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id k8DJo4SE007248 for ; Wed, 13 Sep 2006 15:50:04 -0400 (EDT) Received: from front3.acsu.buffalo.edu (upfront.acsu.buffalo.edu [128.205.4.140]) by ares.cse.buffalo.edu (8.13.6/8.13.6) with SMTP id k8DJo1a8019504 for ; Wed, 13 Sep 2006 15:50:01 -0400 (EDT) Received: (qmail 20991 invoked from network); 13 Sep 2006 19:50:00 -0000 Received: from mailscan7.acsu.buffalo.edu (128.205.6.158) by front3.acsu.buffalo.edu with SMTP; 13 Sep 2006 19:50:00 -0000 Received: (qmail 17109 invoked from network); 13 Sep 2006 19:50:00 -0000 Received: from deliverance.acsu.buffalo.edu (128.205.7.57) by front2.acsu.buffalo.edu with SMTP; 13 Sep 2006 19:50:00 -0000 Received: (qmail 8097 invoked from network); 13 Sep 2006 19:49:44 -0000 Received: from listserv.buffalo.edu (128.205.7.35) by deliverance.acsu.buffalo.edu with SMTP; 13 Sep 2006 19:49:44 -0000 Received: by LISTSERV.BUFFALO.EDU (LISTSERV-TCP/IP release 14.5) with spool id 511445 for CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU; Wed, 13 Sep 2006 15:49:44 -0400 Delivered-To: cse663-fa06-list@listserv.buffalo.edu Received: (qmail 12104 invoked from network); 13 Sep 2006 19:49:44 -0000 Received: from mailscan8.acsu.buffalo.edu (128.205.7.55) by listserv.buffalo.edu with SMTP; 13 Sep 2006 19:49:44 -0000 Received: (qmail 1556 invoked from network); 13 Sep 2006 19:49:42 -0000 Received: from castor.cse.buffalo.edu (128.205.32.14) by smtp1.acsu.buffalo.edu with SMTP; 13 Sep 2006 19:49:42 -0000 Received: from castor.cse.Buffalo.EDU (rapaport@localhost [127.0.0.1]) by castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id k8DJngKa007242 for ; Wed, 13 Sep 2006 15:49:42 -0400 (EDT) Received: (from rapaport@localhost) by castor.cse.Buffalo.EDU (8.13.6/8.12.9/Submit) id k8DJnggw007241 for cse663-fa06-list@listserv.buffalo.edu; Wed, 13 Sep 2006 15:49:42 -0400 (EDT) X-UB-Relay: (castor.cse.buffalo.edu) X-PM-EL-Spam-Prob: : 7% Message-ID: <200609131949.k8DJnggw007241@castor.cse.Buffalo.EDU> Date: Wed, 13 Sep 2006 15:49:42 -0400 Reply-To: CSE 663 - Advanced Knowledge Representation - Fall 2006 Sender: CSE 663 - Advanced Knowledge Representation - Fall 2006 From: "William J. Rapaport" Subject: Satisfaction of a Quantified WFF & Rep'g Sents in FOL To: CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU Precedence: list List-Help: , List-Unsubscribe: List-Subscribe: List-Owner: X-UB-Relay: (castor.cse.buffalo.edu) X-DCC-Buffalo.EDU-Metrics: castor.cse.Buffalo.EDU 1336; Body=0 Fuz1=0 Fuz2=0 X-Virus-Scanned: ClamAV 0.88.3/1877/Wed Sep 13 13:30:14 2006 on ares.cse.buffalo.edu X-Virus-Status: Clean Status: R Content-Length: 1605 I mentioned one website in lecture today, and there's another that you might find helpful. Both are on the Directory of Documents, but here are the direct links: Satisfaction of a Quantified WFF http://www.cse.buffalo.edu/~rapaport/563S05/satisfaction.pdf http://www.cse.buffalo.edu/~rapaport/563S05/satisfaction/satisfaction.html (same document, 2 different formats) and Representing English Sentences in FOL http://www.cse.buffalo.edu/~rapaport/563S05/fol-translation.html Related links are at: Propositional and First-Order Logic http://www.cse.buffalo.edu/~rapaport/563S05/fol.html -Bill ------------------------------------------------------------------------ William J. Rapaport Associate Professor of Computer Science & Director of Graduate Studies Adjunct Professor of Philosophy Affiliated Faculty, Linguistics Member, Center for Cognitive Science Associate Director, SNePS Research Group (SNeRG) 201 Bell Hall (office: 214 Bell) | 716-645-3180 x 112 Dept. of Computer Science & Engineering | fax: 716-645-3464 University at Buffalo (SUNY) | rapaport@cse.buffalo.edu Buffalo, NY 14260-2000 | www.cse.buffalo.edu/~rapaport ------------------------------------------------------------------------ Comp. Sci. & Eng'g: www.cse.buffalo.edu/ Cognitive Science: www.cogsci.buffalo.edu/ SNePS Research Group: www.cse.buffalo.edu/sneps/ vocabulary research: www.cse.buffalo.edu/~rapaport/CVA/ Buffalo Restaurant Guide: www.cse.buffalo.edu/restaurant.guide/ Good Things about Buffalo: www.cse.buffalo.edu/~rapaport/buffalo.html