Joshua question

• To: andreasg@boulder.Colorado.EDU, slug@Warbucks.AI.SRI.COM
• Subject: Joshua question
• From: pan@Athena.Pangaro.Dialnet.Symbolics.Com (Paul Pangaro)
• Date: Sat, 3 Mar 90 10:31 EST
• In-Reply-To: <9003030043.AA09886@newsigi.colorado.edu>

    Date: Fri, 2 Mar 90 17:43:44 MDT
    From: andreasg@boulder.Colorado.EDU (Andreas Girgensohn)

    Is there a Joshua mailing list?  I have a question about justifications in
    Joshua.  Is it possible that an assumption has another predication as
    justification?  E.g., I assume [x y] as long as [a b] is true.  Right now, my
    application keeps filling up the database with assumption that become obsolete
    after a while.

    Andreas Girgensohn
    andreasg@boulder.colorado.edu

The closest thing to a "Joshua mailing list" is
slug-sig-ai@ai.sri.com. I do not know whether it is listened to at
this point, after the recent Symbolics layoffs. Please try it and
let SLUG know if you get any response. Thanks.

Best,
PANgaro

• Joshua question
• From: andreasg@boulder.Colorado.EDU (Andreas Girgensohn)

• Prev: Genera 8.0 Announcement STINKS
• Next: sliders for user input.
• Index: SLUG Mailing list (1-Mar-90 to 31-May-90)
• Thread: SLUG Mailing list Index (1-Mar-90 to 31-May-90)