ariel@BIMACS.BITNET (Ariel J. Frank) (05/17/89)
BISFAI-89
Bar-Ilan Symposium on the
Foundations of Artificial Intelligence
19-21 June 1989
Sponsored by the Research Institute for the Mathematical Sciences
Bar-Ilan University, Ramat Gan, Israel
with additional support from IBM Israel
Martin Golumbic, Symposium Chair Ariel Frank, Organizing Chair
Monday, June 19, 1989
09:00 AM - 09:30 AM: Registration and Opening ceremonies
09:30 AM - 10:30 AM: Invited Hour Address
Knowledge, Probability and Adversaries
Joseph Halpern, IBM Almaden Research Center
10:30 AM - 11:00 AM: Coffee Break
11:00 AM - 12:35 PM: 20 minute presentations -- Logic and Reasoning
Pattern-directed invocation with changing equalities
Yishai A. Feldman, Weizmann Institute of Science
Charles Rich, M.I.T.
Abstract Belief Logics for AI: An Approach via Knowledge Automata
Larry M. Manevitz, Courant Institute (New York) and Haifa Univ.
Computing with prototypes
L. Thorne McCarty, Rutgers University
A Distributed Algorithm for ATMS
Rina Dechter, Technion - Israel Institute of Technology
12:45 PM - 01:45 PM: Lunch
02:00 PM - 03:00 PM: Invited Hour Address
Formalized Common Sense Knowledge and Reasoning
John McCarthy, Stanford University
03:00 PM - 03:30 PM: Coffee Break
03:30 PM - 04:40 PM: 20 minute presentations -- Logic and Reasoning
All we believe fails in impossible worlds:
A possible-world semantics for a "knowing at most" operator
Shai Ben David, Yael Gafni, Technion - Israel Inst. of Tech.
Using hypersequents in proof systems for non-classical logic
Arnon Avron, Tel Aviv University
The logic of time structures: temporal and nonmonotonic features
Neil V. Murray, SUNY at Albany
Mira Balaban, Ben Gurion University
Tuesday, June 20, 1989
09:30 AM - 10:30 AM: Invited Hour Address
Recent Developments in Machine Learning Theory
Ronald Rivest, M.I.T.
10:30 AM - 11:00 AM: Coffee Break
11:00 AM - 12:35 PM: 20 minute presentations -- Learning and Reasoning
A logical framework for integrating explanation-based
learning and similarity-based learning
Moshe Koppel, Bar-Ilan University
Qualitative analysis of continuous dynamic systems by
intelligent numeric experimentation
Elisha Sacks, Princeton University
On the learnability of infinitary regular sets
Oded Maler, Amir Pnueli, Weizmann Institute of Science
Barriers, Tools, and the Qualitative Complexity of Processes
Yoram Moses and Moshe Tennenholtz, Weizmann Inst. of Science
12:45 PM - 01:45 PM: Lunch
02:00 PM - 03:00 PM: Invited Hour Address
The architecture of concepts
Johann A. Makowsky, Technion - Israel Institute of Technology
03:00 PM - 03:30 PM: Coffee Break
03:30 PM - 05:00 PM: 20 minute presentations -- Learning and Reasoning
Concept Learning via Conceptual Clustering
Yoelle S. Maarek, IBM Watson Research Center
Reconstruction of polygonal sets by constrained and
unconstrained double probing
M. Lindenbaum, A. Bruckstein, Technion - Israel Inst. of Tech.
Recovering the shape of visible surfaces from stereo shading
and texture modules
Ignatios E. Vakalis, Western Michigan University
The representation and manipulation of the algorithmic
probability measure for problem-solving
Alex Gammerman, Heriot-Watt University
Wednesday, June 21, 1989
09:30 AM - 10:30 AM: Invited Hour Address
Graphoids and the representation of dependencies
Judea Pearl, U.C.L.A.
10:30 AM - 11:00 AM: Coffee Break
11:00 AM - 12:35 PM: 20 minute presentations -
probabilistic and algorithmic aspects
Search of the best decision rules with the help
of a probabilistic estimate
Victor Brailovsky, Tel Aviv University
The whole is faster than its parts: efficient algorithm
for the small matching problem
Amihood Amir, Martin Farach, University of Maryland
Partial orders as a basis for KBS semantics
Simon P. H. Morgan, University of Exeter
John G. Gammack, Steven A. Battle, University of Bristol
A set expression based inheritance system
Ido Dagan, Alon Itai, Technion - Israel Institute of Tech.
12:45 PM - 01:45 PM: Lunch
02:00 PM - 03:10 PM: 20 minute presentations -- applications
An Incremental approach to automating software project scheduling
Ali Safavi, Carnegie Mellon University
A theoretical framework for incremental scheduling
Nicola Muscettola, Carnegie Mellon University
Towards an intelligent finite element training system
Alex Bykat, University of Tennessee at Chattanooga
03:10 PM - 03:40 PM: Coffee Break
03:40 PM - 05:00 PM: 20 minute presentations -- language
Ontology, sublanguage, and semantic networks: three keys
to formal foundations of meaning representation in natural-language
artificial intelligence (natural language processing)
Victor Raskin, Purdue University
Theory formation for interpreting an unknown language:
a domain metamodel of etruscologists' trials
Ephraim Nissan, Ben Gurion University
to be announced
Ingrid Zukerman, Australia
Dr. Ariel Frank, BISFAI-89 Organizing Chair
Department of Mathematics and Computer Science
Bar-Ilan University, Ramat Gan, ISRAEL
(email: ariel@bimacs.bitnet)
E-mail facilities will be available to all Symposium participants.