From: dawn@umiacs.umd.edu (Dawn Vance)
Newsgroups: comp.ai,comp.theory
Subject: Special Symposium Announcement
Date: 6 Oct 92 20:23:03 GMT
Followup-To: comp.ai
Organization: UMIACS, University of Maryland, College Park, MD 20742


                              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