godfrey@cs.umd.edu (Parke Godfrey) (04/04/91)
Mathematical Sciences Institute
The University of Maryland Institute for Advanced Computer Studies
The Association for Logic Programming
Xerox Webster Research Center
ADVANCE PROGRAM & REGISTRATION INFORMATION
FIRST INTERNATIONAL WORKSHOP ON
LOGIC PROGRAMMING and NON-MONOTONIC REASONING
July 22-24, 1991
Capitol Holiday Inn
Washington, DC
SCHEDULE
Monday, July 22nd
8:00 - 8:50 Registration
8:50 - 9:00 Welcome
9:00 - 10:00 Invited Talk
Vladimir Lifschitz (Univ. of Texas - Austin)
"Negation-by-Failure as a Modal Operator"
10:00 - 10:30 Coffee Break
Session I: Auto-Epistemic Logic
Session Chair: To be announced
10:30 - 11:00 "Auto-epistemic Logic and Logic Programming"
T. Przymusinski (Univ. of Texas - El Paso)
11:00 - 11:30 "Credulous and Autoepistemic Reasoning Using
Ordered Logic"
P. Geerts & D. Vermeir (Univ. of Antwerp)
11:30 - 12:00 "Computing Intersection of Autoepistemic Expansions"
W. Marek & M. Truszczynski (Univ. of Kentucky)
12:00 - 2:00 Lunch (Not Provided)
2:00 - 3:00 Invited Talk
Jeff Remmel (Univ. of California - San Diego)
"Normal Default Logic is Less Expressive Than
Stable Semantics of Logic Programs"
3:00 - 3:30 Coffee Break
Session II: Properties of Logic Programming Semantics
Session Chair:To be announced
3:30 - 4:00 "Beliefs as Stable Conjectures"
P. Bonatti (Univ. of Pisa)
4:00 - 4:30 "Dualities between Alternative Semantics for Logic
Programming and Non-Monotonic Reasoning"
C. Baral & V.S. Subrahmanian (Univ. of Maryland)
4:30 - 5:00 "Partial Models and Three Valued Logic in Logic
Programs with Negations"
C. Zaniolo (MCC) & D. Sacca (Univ. della Calabria)
5:00 - 5:15 Break
5:15 - 6:30 Rump Session
Tuesday, July 23rd
9:00 - 10:00 Invited Talk
Melvin Fitting (City University of New York)
"Approximation Logics and Well-Founded Semantics"
10:00 - 10:30 Coffee Break
Session III: Well-Founded Semantics
Session Chair:To be announced
10:30 - 11:00 "Contradiction Removal within Well-Founded Semantics"
J.N. Aparicio, L.M. Pereira, J.J. Alfreres
(Univ. of Lisbon)
11:00 - 11:30 "Well-Founded Reasoning with Classical Negation"
P.M. Dung & P. Ruamviboonsuk (Asian Inst. of Tech.)
11:30 - 12:00 "Taking Possibilities Seriously"
J. Schlipf (Univ. of Cincinnati)
12:00 - 2:00 Lunch (Not Provided)
Session IV: Theory
Session Chair:To be announced
2:00 - 2:30 "Embedding Default Logic into Modal Non-Monotonic
Logics"
M. Truszczynski (Univ. of Kentucky)
2:30 - 3:00 "Cumulative Extensions of the Stratified Semantics"
J. Dix (Univ. of Karlsruhe)
3:00 - 3:30 "Representing Sets of Rational Trees Using
Techniques of Non-Monotonic Reasoning"
M. Maher (IBM T.J. Watson Research Ctr.)
3:30 - 4:00 Coffee Break
4:00 - 5:30 Panel Discussion
Moderator: V.S. Subrahmanian
"Applications of Logic Programming & Non-Monotonic
Reasoning"
- A. Nerode (Cornell Univ.)
- P. Broome (U.S. Army)
- A. Brown (Xerox)
6:00 Banquet
Banquet Speaker: Jack Minker
University of Maryland
Wednesday, July 24th
9:00 - 10:00 Invited Talk
David S. Warren (SUNY at Stonybrook)
"Extending OLDT Resolution to Compute Well-Founded
and Stable Model Semantics of Logic Programs"
10:00 - 10:30 Coffee Break
Session V: Extensions
Session Chair:To be announced
10:30 - 11:00 "A Cumulative Inference Relation for JTMS &
Logic Programming"
G. Brewka & D. Makinson
11:00 - 11:30 "Circumscribing Embedded Implications"
L.T. McCarty (Rutgers Univ.)
11:30 - 12:00 "Belief Revision, Extended Logic Programs and
Paraconsistency"
S. Pimental (Adroit Systems, Inc.) & W. Rodi (M.I.T.)
12:00 - 2:00 Lunch (Not Provided)
Session VI: Miscellaneous
Session Chair:To be announced
2:00 - 2:30 "Explicit Definition in Epistemic Specifications"
M. Gelfond & H. Przymusinska (Univ. of Texas-El Paso)
2:30 - 3:00 "Auto-epistemic Logic of Knowledge"
G. Schwarz (Univ. of Kentucky)
3:00 - 3:30 "The Stable Semantics of Logic Programs Through
Negation as Hypothesis"
A.C. Kakas (Imperial Coll.) & P. Mancarella
(Univ. of Pisa)
3:30 CONCLUSION
*******************************************************************************
REGISTRATION FORM
Deadline June 21, 1991
Name: _______________________________________________________________
Affiliation: _______________________________________________________________
Address: _______________________________________________________________
_______________________________________________________________
Telephone: _____________________________ Fax: __________________________
E-mail: _______________________________________________________________
Dietary Restriction: Kosher ___________ Vegetarian ________________
(Banquet)
REGISTRATION DEADLINE - JUNE 21, 1991
Fee includes a banquet and a copy of the proceedings - (Except students)
Regular pre-registration fee - $100
Regular late registration fee - $150 (after June 21st)
Student pre-registration fee - $50
Student late registration fee - $75 (after June 21st)
Make check payable to the University of Maryland Foundation/LPNMR.
Mail check and registration form to: Dawn Vance
UMIACS
A.V. Williams Building
University of Maryland
College Park, MD 20742
______________________________________
HOTEL RESERVATIONS: A block of rooms is being held from Sunday, July 21st
through Wednesday, July 24th at the disounted rate of $88/single and
$108/double. Reservations received after the cut-off date of June 21, 1991
or after the room block is filled are subject to limited availability and
might not be available at the discount rate. Contact Dawn Vance at (301)
405-6722 or by e-mail, dawn@umiacs.umd.edu to receive a hotel reservation
form and other pertinent information.
AIRLINE INFORMATION: USAir has been designated as the official airline of
the workshop. Contact Dawn Vance for additional information.
STUDENT FELLOWSHIPS: Partial travel support is available for a limited
number of graduate students. Please send a 1 page letter and a copy of
your CV by electronic mail to Dawn Vance at dawn@umiacs.umd.edu by April
30th. Decisions will be made by May 15th.
PROCEEDINGS:The proceedings will be published by MIT Press and will be
available at the workshop.godfrey@cs.umd.edu (Parke Godfrey) (04/04/91)
...
Mathematical Sciences Institute
The University of Maryland Institute for Advanced Computer Studies
The Association for Logic Programming
Xerox Webster Research Center
ADVANCE PROGRAM & REGISTRATION INFORMATION
FIRST INTERNATIONAL WORKSHOP ON
LOGIC PROGRAMMING and NON-MONOTONIC REASONING
July 22-24, 1991
Capitol Holiday Inn
Washington, DC
SCHEDULE
Monday, July 22nd
8:00 - 8:50 Registration
8:50 - 9:00 Welcome
9:00 - 10:00 Invited Talk
Vladimir Lifschitz (Univ. of Texas - Austin)
"Negation-by-Failure as a Modal Operator"
10:00 - 10:30 Coffee Break
Session I: Auto-Epistemic Logic
Session Chair: To be announced
10:30 - 11:00 "Auto-epistemic Logic and Logic Programming"
T. Przymusinski (Univ. of Texas - El Paso)
11:00 - 11:30 "Credulous and Autoepistemic Reasoning Using
Ordered Logic"
P. Geerts & D. Vermeir (Univ. of Antwerp)
11:30 - 12:00 "Computing Intersection of Autoepistemic Expansions"
W. Marek & M. Truszczynski (Univ. of Kentucky)
12:00 - 2:00 Lunch (Not Provided)
2:00 - 3:00 Invited Talk
Jeff Remmel (Univ. of California - San Diego)
"Normal Default Logic is Less Expressive Than
Stable Semantics of Logic Programs"
3:00 - 3:30 Coffee Break
Session II: Properties of Logic Programming Semantics
Session Chair:To be announced
3:30 - 4:00 "Beliefs as Stable Conjectures"
P. Bonatti (Univ. of Pisa)
4:00 - 4:30 "Dualities between Alternative Semantics for Logic
Programming and Non-Monotonic Reasoning"
C. Baral & V.S. Subrahmanian (Univ. of Maryland)
4:30 - 5:00 "Partial Models and Three Valued Logic in Logic
Programs with Negations"
C. Zaniolo (MCC) & D. Sacca (Univ. della Calabria)
5:00 - 5:15 Break
5:15 - 6:30 Rump Session
Tuesday, July 23rd
9:00 - 10:00 Invited Talk
Melvin Fitting (City University of New York)
"Approximation Logics and Well-Founded Semantics"
10:00 - 10:30 Coffee Break
Session III: Well-Founded Semantics
Session Chair:To be announced
10:30 - 11:00 "Contradiction Removal within Well-Founded Semantics"
J.N. Aparicio, L.M. Pereira, J.J. Alfreres
(Univ. of Lisbon)
11:00 - 11:30 "Well-Founded Reasoning with Classical Negation"
P.M. Dung & P. Ruamviboonsuk (Asian Inst. of Tech.)
11:30 - 12:00 "Taking Possibilities Seriously"
J. Schlipf (Univ. of Cincinnati)
12:00 - 2:00 Lunch (Not Provided)
Session IV: Theory
Session Chair:To be announced
2:00 - 2:30 "Embedding Default Logic into Modal Non-Monotonic
Logics"
M. Truszczynski (Univ. of Kentucky)
2:30 - 3:00 "Cumulative Extensions of the Stratified Semantics"
J. Dix (Univ. of Karlsruhe)
3:00 - 3:30 "Representing Sets of Rational Trees Using
Techniques of Non-Monotonic Reasoning"
M. Maher (IBM T.J. Watson Research Ctr.)
3:30 - 4:00 Coffee Break
4:00 - 5:30 Panel Discussion
Moderator: V.S. Subrahmanian
"Applications of Logic Programming & Non-Monotonic
Reasoning"
- A. Nerode (Cornell Univ.)
- P. Broome (U.S. Army)
- A. Brown (Xerox)
6:00 Banquet
Banquet Speaker: Jack Minker
University of Maryland
Wednesday, July 24th
9:00 - 10:00 Invited Talk
David S. Warren (SUNY at Stonybrook)
"Extending OLDT Resolution to Compute Well-Founded
and Stable Model Semantics of Logic Programs"
10:00 - 10:30 Coffee Break
Session V: Extensions
Session Chair:To be announced
10:30 - 11:00 "A Cumulative Inference Relation for JTMS &
Logic Programming"
G. Brewka & D. Makinson
11:00 - 11:30 "Circumscribing Embedded Implications"
L.T. McCarty (Rutgers Univ.)
11:30 - 12:00 "Belief Revision, Extended Logic Programs and
Paraconsistency"
S. Pimental (Adroit Systems, Inc.) & W. Rodi (M.I.T.)
12:00 - 2:00 Lunch (Not Provided)
Session VI: Miscellaneous
Session Chair:To be announced
2:00 - 2:30 "Explicit Definition in Epistemic Specifications"
M. Gelfond & H. Przymusinska (Univ. of Texas-El Paso)
2:30 - 3:00 "Auto-epistemic Logic of Knowledge"
G. Schwarz (Univ. of Kentucky)
3:00 - 3:30 "The Stable Semantics of Logic Programs Through
Negation as Hypothesis"
A.C. Kakas (Imperial Coll.) & P. Mancarella
(Univ. of Pisa)
3:30 CONCLUSION
*******************************************************************************
REGISTRATION FORM
Deadline June 21, 1991
Name: _______________________________________________________________
Affiliation: _______________________________________________________________
Address: _______________________________________________________________
_______________________________________________________________
Telephone: _____________________________ Fax: __________________________
E-mail: _______________________________________________________________
Dietary Restriction: Kosher ___________ Vegetarian ________________
(Banquet)
REGISTRATION DEADLINE - JUNE 21, 1991
Fee includes a banquet and a copy of the proceedings - (Except students)
Regular pre-registration fee - $100
Regular late registration fee - $150 (after June 21st)
Student pre-registration fee - $50
Student late registration fee - $75 (after June 21st)
Make check payable to the University of Maryland Foundation/LPNMR.
Mail check and registration form to: Dawn Vance
UMIACS
A.V. Williams Building
University of Maryland
College Park, MD 20742
______________________________________
HOTEL RESERVATIONS: A block of rooms is being held from Sunday, July 21st
through Wednesday, July 24th at the disounted rate of $88/single and
$108/double. Reservations received after the cut-off date of June 21, 1991
or after the room block is filled are subject to limited availability and
might not be available at the discount rate. Contact Dawn Vance at (301)
405-6722 or by e-mail, dawn@umiacs.umd.edu to receive a hotel reservation
form and other pertinent information.
AIRLINE INFORMATION: USAir has been designated as the official airline of
the workshop. Contact Dawn Vance for additional information.
STUDENT FELLOWSHIPS: Partial travel support is available for a limited
number of graduate students. Please send a 1 page letter and a copy of
your CV by electronic mail to Dawn Vance at dawn@umiacs.umd.edu by April
30th. Decisions will be made by May 15th.
PROCEEDINGS:The proceedings will be published by MIT Press and will be
available at the workshop.