home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / ont / events / 554 < prev    next >
Encoding:
Text File  |  1992-11-17  |  1.8 KB  |  40 lines
  1. Newsgroups: ont.events
  2. Path: sparky!uunet!utcsri!torn!newshost.uwo.ca!daemon
  3. From: Kaizhong Zhang <kzhang@csd.uwo.ca>
  4. Subject: Reminder: Colloq. Wednesday, Nov. 18, 1992.
  5. Organization: Relayed-by-Sendmail
  6. Date: Tue, 17 Nov 1992 15:16:01 GMT
  7. Message-ID: <9211171516.AA00293@no26sun.csd.uwo.ca>
  8. To: 42131_3665@uwovax.uwo.ca, KIRBY@VAXR.SSCL.UWO.CA, allcs@csd.uwo.ca,
  9.         brenda@engrg.uwo.ca, creider@csd.uwo.ca, dawes@uwovax.uwo.ca,
  10.         eagleson@uwovax.uwo.ca, elmarag@uwovax.uwo.ca, grads@csd.uwo.ca,
  11.         hugh@engrg.uwo.ca, jjiang@uwovax.uwo.ca, m.kinnucan@uwo.ca,
  12.         marcu@csd.uwo.ca, ont.events@newshost.uwo.ca, tague@uwo.ca,
  13.         undergrads@gaul.csd.uwo.ca, uwo.general@newshost.uwo.ca,
  14.         wy@apmaths.uwo.ca, zakaria@csd.uwo.ca
  15. Sender: daemon@julian.uwo.ca (The Devil Himself)
  16. Lines: 22
  17.  
  18.           The University of Western Ontario
  19.             Department of Computer Science
  20.  
  21.                     COLLOQUIUM
  22.  
  23. Speaker: David Rosenblueth
  24.          Department of Computer Science
  25.          UNAM, Mexico D.F., Mexico.
  26. Title:   Magic sets with charts
  27. Time:    Wednesday, November 18 1992, at 2:00pm
  28. Place:   MC 320
  29. Abstract:
  30.    Logic programs look like context-free grammars.  This makes proof
  31.    procedures for logic programs resemble parsers for context-free
  32.    grammars.  We exploit this resemblance to show that a well-known proof
  33.    procedure for logic programs, called the ``magic-sets'' method, follows
  34.    essentially the same principle as Earley's parser.  Earley's parser
  35.    builds parse trees in a top-down manner.  There exist parsers similar
  36.    to Earley's, that build parse trees in a bottom-up way.  This suggests
  37.    using a bottom-up version of Earley's parser to devise a new proof
  38.    procedure for logic programs.  We have developed one such procedure,
  39.    which is an alternative to the magic-sets method.
  40.