From: dawn@UMIACS.UMD.EDU
Newsgroups: comp.theory
Subject: special symposium announcement
Date: 7 Oct 92 04:53:59 GMT
Reply-To: Theory-A - TheoryNet World-Wide Events <THEORY-A%NDSUVM1.BITNET@cmsa.Berkeley.EDU>,
        dawn@umiacs.umd.edu


                              SPECIAL SYMPOSIUM

The University of Maryland Institute for Advanced Computer Studies and
the Computer Science Department are organizing a symposium in honor of
Prof. Jack Minker's 65th birthday. Prof. Minker has made many significant
contributions to the fields of deductive databases, logic programming and
nonmonotonic reasoning. He has also been a dedicated worker on behalf
of the human rights of computer professionals.

The symposium is free and open to the public. It will be held in room
1112 of the A.V. Williams building on the College Park campus. If you
would like to attend or need additional information, please contact
grier@cs.umd.edu


                                 AGENDA

Logic in Databases, Knowledge Representation and Reasoning:
A Symposium in Honor of Jack Minker's 65th Birthday for Contributions to
Computer Science and Human Rights


Friday, November 6, 1992

8:15 - 8:50             Coffee, rolls

8:50 - 9:00             Greetings

Session 1 -  Nonmonotonic Reasoning

9:00 - 9:30             V. Lifschitz
                       	 "Generalization of the Closed World Assumption"
9:30 - 10:00       	W. Marek and M.Truszczynski
                        "Logic Programming and Nonmonotonic Reasoning"
10:00 - 10:30		T. Przymusinski
                       	 "A Knowledge Representation Framework Based on
 Epistemic Logic"

10:30 - 10:45   BREAK

Session 2 - Meta-Interpretation

10:45 - 11:15		R. A. Kowalski
                        "Logic Programming by  Forward Reasoning using the
 Only-If Halves of 				Definitions"
11:15 - 11:45   	D. S. Warren
                        "Using OLDT Evaluation with Meta-Interpreters"
11:45 - 12:15     	L. Henschen
                        "A Proposal for Meta-Level Control of Reasoning
 Programs"

12:15 - 1:15            LUNCH

Session 3  - Databases

1:15 - 1:45   		R. Reiter
                        "Formalizing Database Evolution in the Situation
 Calculus"
1:45 - 2:15      	R. Topor
                       	 "Incremental Evaluation of Database Queries"
2:15 - 2:45     	J. Grant and V.S. Subrahmanian
                        "The Optimistic and Cautious Semantics for Inconsistent
 Knowledge 				Bases"
2:45 - 3:15   		D. Fishman
                        "OODBMS:  Gateway to the Information World"

3:15 - 3:30             BREAK

Session 4 - Theorem Proving

3:30 - 4:00  		J. A. Robinson
                        "Parallel Reasoning"
4:00 - 4:30      	K. Furukawa
                        "Parallel Parsing by a Bottom-up Theorem Prover"
4:30 - 5:00       	H. Blair
                  	"Undecidable Single Axiom Equational Theories"

Saturday, November 7, 1992

8:15 - 8:45             Coffee, Rolls

Session 5 - Human Rights/Cognition

8:45 - 9:15     	R. Schifter
                        "Jack Minker and the Cause of Scientists in the Former
 Soviet Union"
9:15 - 9:45        	J. McCarthy
                        "Formalization of Context"
9:45 - 10:15      	D. Perlis
                        "Consciousness and Complexity: the Cognitive Quest"
10:15 - 10:45    	S. Kasif
                        "Some Observations on Common-Sense Reasoning Logic,
 Memory 			Based Reasoning"

10:45 - 11:00           BREAK

Session 6  - Human Rights/Disjunctive Theories

11:00 - 11:30  		P. Plotz
                        "Jack Minker and the Human Rights of Scientists"
11:30 - 12:00  		D. Loveland
                        ''Near-Horn Prolog and the Ancestry Family of
 Procedures"
12:00 - 12:30    	A. Rajasekar
                        "DWAM-A WAM Model Extension for Disjunctive Logic
 Programming"
12:30 - 1:00      	J. Lobo
                        "Computing the Transitive Closure in Disjunctive
 Databases"


------- End of Forwarded Message