ariel@bimacs.bitnet (Ariel J. Frank) (05/13/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 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
.......... REGISTRATION AND HOTEL ACCOMMODATIONS ........
We have reserved a block of hotel accommodations at the
Kfar Hamaccabia Hotel in Ramat Gan, a first-class hotel which also
has sports facilities available gratis for the Symposium participants.
The Symposium will take place at the University, which is a short ride,
or a half-hour walk, from the hotel. The room rate is $44 single or
$54 double (including breakfast). Reservations must be made DIRECTLY
WITH THE AGENT
Sharon Tours, Attn: Ms. Dennis, P.O.Box 2605, Ramat Gan, Israel
Tel: 972-3-738144 FAX: 972-3-724365
mentioning the Bar-Ilan Symposium.
To allow the organizers to reserve sufficient lecture room space,
please fill in and return this portion of the form to
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.
________________________________________________________________
****** PLEASE RETURN THIS FORM *********
Name: ________________________________________________________
Affiliation: _________________________________________________
Address: _____________________________________________________
Electronic mail: ____________________________________________
_____ I will attend the Bar-Ilan Symposium June 19-21, 1989ariel@bimacs.biu.ac.il (Ariel J. Frank) (01/16/91)
**** BISFAI-91 ***
Bar-Ilan Symposium
on the
Foundations of Artificial Intelligence
Bar-Ilan University
Ramat Gan, Israel
16-19 June 1991
Bar-Ilan University is pleased to announce its second Symposium on the
Foundations of Artificial Intelligence (BISFAI-91). The Symposium is
international in scope, with invited lectures by leading researchers
and contributed papers on foundations of AI. A special track on
theoretical issues in Natural Language Processing (NLP) will be held
on the opening day.
.............. CALL FOR PAPERS ..............
High quality research papers are solicited for consideration by the
program committee to be presented at the Symposium. Submissions of
extended abstracts of 4-10 pages or full papers must arrive by 1 March
1991 and should be sent in triplicate as follows:
General session: Special track on theoretical issues in NLP:
Dr. Moshe Koppel Mori Rimon
Department of Mathematics Institute of Mathematics and Computer Science
and Computer Science The Hebrew University
Bar-Ilan University Ross Building, Givat Ram
Ramat Gan, Israel, 52900 Jerusalem, Israel, 91904
(E-mail: koppel@bimacs.bitnet) (E-mail: rimon@humus.bitnet)
Decisions on presentations will be made on or before 15 April 1991.
.............. INVITED LECTURES ..............
Hans Berliner (Carnegie Mellon University)
New Perspectives on Search
Ernie Davis (Courant Institute)
Zeno's Revenge: Infinite Loops in Finite Time
Martin Golumbic (IBM Israel and Bar-Ilan University)
Mathematics in Artificial Intelligence
Monique Pavel (Univ. Paris)
Mathematics in Pattern Recognition
Stanley Peters (Stanford University)
Computationally Relevant Properties of Linguistic Systems
............ REFEREED PROCEEDINGS ...........
Selected refereed full length theory papers will be published in the
special issue of the Annals of Mathematics and Artificial
Intelligence, and application oriented papers in a volume of Advances
in Artificial Intelligence, Natural Language and Knowledge-based
Systems - II, as a permanent record of the Symposium. These should be
submitted shortly after the conclusion of the Symposium.
............ SYMPOSIUM INFORMATION ..........
This biennial event focuses on a range of topics of concern to
scholars applying quantitative, combinatorial, logical, algebraic
and algorithmic methods to AI areas as diverse as decision support,
automatic reasoning, knowledge-based systems, machine learning,
computational linguistics, computer vision, and robotics. These
include applied logicians, algorithms and complexity researchers, AI
theorists, and applications specialists using mathematical methods.
Although a small meeting is anticipated, with selected speakers and no
parallel sessions, an attempt will be made to open attendance to all
interested research scientists.
For further information on the Symposium and to receive additional
announcements, contact
Dr. Ariel Frank, BISFAI-91 Organizing Chair
Department of Mathematics and Computer Science
Bar-Ilan University, Ramat Gan, Israel, 52900
E-mail: ariel@bimacs.bitnet
Tel: 972-3-5318407/8
Fax: 972-3-5351824
Hotel accommodations will be reserved at the Kfar Hamaccabia Hotel in
Ramat Gan. The hotel has sports facilities available gratis for the
Symposium participants. The Symposium itself will take place at the
University, which is a short ride, or a half-hour walk, from the
hotel. E-mail accounts at Bar-Ilan will be available to all participants.
Sponsored by: Abraham and Sarah Gelbart Research Institute for Mathematical
Sciences, Bar-Ilan University, Israel, with support of
Ministry of Science and Technology, Jerusalem, Israel.
Symposium Chair: Martin Golumbic
Program Chair: Moshe Koppel
Organizing Chair: Ariel Frank
NL session Chair: Mori Rimon
Program Committee:
Gideon Ariely (Ministry of Science and Technology, Israel)
Yaacov Choueka (Bar-Ilan University)
Rina Dechter (Technion and UCLA)
Ariel Frank (Bar-Ilan University)
Dov Gabbay (Imperial College)
Martin Golumbic (IBM Israel Scientific Center)
Joe Halpern (IBM Almaden Research Center)
David Harel (Weizmann Institute)
Jeff Johnson (Open University, England)
Moshe Koppel (Bar-Ilan University)
Daniel Lehmann (Hebrew University)
David Makinson (France)
Jack Minker (University of Maryland)
Leora Morgenstern (IBM Watson Research Center)
Judea Pearl (UCLA)
Michael Richter (University of Kaiserslautern)
Mori Rimon (IBM Israel and Hebrew University)
Jeff Rosenschein (Hebrew University)
Uri Schild (Bar-Ilan University)
Micha Sharir (New York University and Tel Aviv University)
Stephen Smith (Carnegie Mellon University)
Jonathan Stavi (Bar-Ilan University)
=======================================================================
******** PLEASE RETURN THIS FORM ********
Dr. Ariel Frank, BISFAI-91 Organizing Chair
Department of Mathematics and Computer Science
Bar-Ilan University, Ramat Gan, Israel
(E-mail: ariel@bimacs.bitnet)
Name: ________________________________________________________
Affiliation: _________________________________________________
Address: _____________________________________________________
E-mail: _____________________________________________________
_____ I plan to attend the Bar-Ilan Symposium, June 16-19, 1991.
_____ Please send me all additional announcements.
_____ Please send me only the final announcement in May 1991.
_____ I plan to submit an abstract/paper to BISFAI-91.
--
Ariel J. Frank
Deputy Chairperson, Dept. of Mathematics and Computer Science
Bar Ilan University, Ramat Gan, Israel 52900
Tel: (972-3-) 5318407/8, Fax: (972-3-) 5351824
AMIX (Israeli UNIX user group) Chairperson
Tel: (972-3-) 715770/2, Fax: (972-3-) 5744374
BITNET: ariel@bimacs (also F68388@barilan)
INTERNET: ariel@bimacs.biu.ac.il
CSNET: ariel%bimacs.bitnet%cunyvm.cuny.edu@csnet-relay
UUCP: ...uunet!mcvax!humus!bimacs!ariel