LOGIC AND AI SEMINAR

Spring '95


January

  • 31 Michael Morreau
    Dept. of Philosophy, UMCP
    `` Pragmatics and Logic. Part 5''


    February

  • 07 Don Perlis
    Dept. of Computer Science, UMCP
    `` Defaults Denied: A Reply to Morreau''
  • 14 Stephan Grumbach
    University of Toronto and I.N.R.I.A.
    `` Constraint Databases''
  • 21 Jarek Gryz
    Dept. of Computer Science, UMCP
    `` Nested Defaults''
  • 28 Don Perlis
    Dept. of Computer Science, UMCP
    `` Logic for a Lifetime''


    March

  • 07 Don Perlis
    Dept. of Computer Science, UMCP
    `` An Introduction to Active Logics''
  • 14 Parke Godfrey
    Dept. of Computer Science, UMCP
    `` An Architecture (and Implementation) of a Cooperative Database System''
  • 21 Spring Break
  • 28 Shekhar Pradhan
    Dept. of Computer Science, UMCP
    `` Logic Programming with Constraints and Priorities''


    April

  • 04 Piero Bonatti
    Universita di Torino
    `` Querying Disjunctive Databases with Nonmonotonic Logics''
  • 11 Hector Levesque
    Dept. of CS, Univ. of Toronto
    `` Knowledge and Action in Cognitive Robotics''
  • 25 Carolina Ruiz
    Dept. of Computer Science, UMCP
    `` Logic Programs with Multiple Forms of Default Negation''


    May

  • 02 Jan A. Plaza
    University of Miami
    `` Soundness and Completeness versus Lifting Property''
  • 09 Louiqa Raschid
    Dept. of Information Systems, UMCP
    `` Query Reformulation in Multidatabase Systems using Semantic Knowledge''
  • 23 Chitta Baral
    University of Texas at El Paso
    `` Reasoning about Actions -- A logic programming perspective''


    This page was written by Carolina Ruiz.
    It was maintained by Betsy Klipple (klipple@cs.umd.edu).
    It is now being maintained by Active Logic Group . Send comments here.