Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!decvax!ucbvax!ukans.CSNET!veach
From: veach@ukans.CSNET (Glenn Veach)
Newsgroups: mod.ai
Subject: AI Limericks by Henry Kautz
Message-ID: <8610060616.AA12825@ucbvax>
Date: Fri, 3-Oct-86 15:58:37 EDT
Article-I.D.: ucbvax.8610060616.AA12825
Posted: Fri Oct  3 15:58:37 1986
Date-Received: Mon, 6-Oct-86 06:13:25 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 41
Approved: ailist@sri-stripe.arpa

gleaned from the pages of CANADIAN ARTIFICIAL INTELLIGENCE
September 1986 No. 9 page 6
----------------------------------------------------------

        AI Limericks

       by Henry Kautz
   University of Rochester

	***	***

If you're dull as a napkin, don't sigh;
Make your name as a "deep" sort of guy.
  You just have to crib, see
  Any old book by Kripke
And publish in AAAI.

	***	***

A hacker who studied ontology
Was famed for his sense of frivolity.
  When his program inferred
  That Clyde is a bird
He blamed not his code but zoology.

	***	***

If your thesis is utterly vacuous
Use first-order predicate calculus.
  With sufficient formality
  The sheerist banality
Will be hailed by the critics: "Miraculous!"

If your thesis is quite indefensible
Reach for semantics intensional.
  Your committee will stammer
  Over Montague grammar
Not admitting it's incomprehensible.

	***	***