kumard@sybil.cs.Buffalo.EDU (Deepak Kumar) (09/12/90)
THE 1990 WORKSHOP ON CURRENT TRENDS IN SNePS
Co-sponsored by the SNePS Research Group, Calspan Corporation
SUNY at Buffalo Graduate Group in Cognitive Science, and
SUNY at Buffalo Center for Cognitive Science
October 4 & 5, 1990
280 Park Hall
North Campus
SUNY at Buffalo
SNePS is a state-of-the-art knowledge representation and
reasoning system used for Artificial Intelligence and
Cognitive Science research. It is a propositional semantic
network based system designed by members of The SNePS
Research Group in conjunction and under the supervision
of Dr. Stuart Shapiro and Dr. William Rapaport. SNePS 2.1,
an implementation of SNePS in CommonLisp runs on several
computers and is distributed under license from The Research
Foundation of State University of New York. SNePS, in its
various incarnations, is actively being used and developed
at various AI research labs around the world. The aim of this
workshop is to assemble researchers who are (have been, or
are considering) using SNePS as a research tool for AI
modeling, those who are (have been, or are considering)
evaluating SNePS as an AI research environment, and those
who are interested in commenting on or discussing SNePS
and/or the philosophy of knowledge representation it embodies.
Attendance at the workshop will be kept small (by invitation
only) to allow for maximum possible interaction among
participants. The workshop will be held on the campus of
SUNY at Buffalo. All papers presented will be edited and
compiled into published Proceedings.
PROGRAM COMMITTEE
Michael J. Almeida (almeida@cs.psu.edu)
Penn State University
Joao P. Martins (ist_1416@ptifm.bitnet)
Technical University of Lisbon
J. Terry Nutter (nutter@vtopus.cs.vt.edu)
Virginia Polytechnic Institue
William J. Rapaport (rapaport@cs.buffalo.edu)
State University of New York at Buffalo
Stuart C. Shapiro (shapiro@cs.buffalo.edu)
State University of New York at Buffalo
Janyce Wiebe (wiebe@ai.toronto.edu)
Univetsiry of Toronto
Richard W. Wyatt (rwyatt@wcu.edu)
West Chester University
LOCAL ARRANGEMENTS AND ORGANIZATION
Syed S. Ali (syali@cs.buffalo.edu)
Hans H. Chalupsky (hans@cs.buffalo.edu)
Deepak Kumar (kumard@cs.buffalo.edu)
William J. Rapaport (rapaport@cs.buffalo.edu)
Stuart C. Shapiro (shapiro@cs.buffalo.edu)
TENTATIVE SCHEDULE
------------------
NOTE: Very few tutorial/participation spots are still available.
Send mail to kumard@cs.buffalo.edu (ASAP!) if you're interested
in participating.
October 4, 1980
8:30 - 9:00 Tutorial Registration in 216 Bell Hall
9:00 - 12:30 Tutorial on SNePS 2.1 (in 216 Bell Hall)
Topics: Representation and retrieval of Beliefs in SNePS
Inference Rules (Forward, and Backward chaining)
Belief Revision in SNePS
Natural Language Understanding in SNePS
12:30 - 2:00 Lunch
2:00 - 5:15 Technical Session (in 280 Park Hall)
2:00 - 2:25 "SNePSLOG -- A Logical Interface to SNePS"
Pedro A. de Matos & Joao P. Martins
Instituto Superior Technico, Lisbon, Portugal
2:25 - 2:50 "Cultural Literacy: Educating Cassie?"
J. M. Lammens
State University of New York at Buffalo, Buffalo, NY
2:50 - 3:15 "Intention and Action in Natural Language"
Susan M. Haller
State University of New York at Buffalo, Buffalo, NY
3:15 - 3:40 Discussion
3:40 - 4:00 Coffee Break
4:00 - 4:25 "Dealing with Huge Networks: Designing a SNePS Back-End"
J. Terry Nutter
Virginia Polytechnic Institute, Blacksburg, VA
4:25 - 4:50 "Defaults and Belief Revision"
Maria R. Cravo & Joao P. Martins
Instituto Superior Technico, Lisbon, Portugal
4:50 - 5:15 "Knowledge Representation for an Intelligent Multi-Media
Interface System"
Jeannette G. Neal
Calspan Corporation, Buffalo, NY
6:30 - ??? Reception (venue TBA)
October 5, 1990
Technical Session (in 280 Park Hall)
9:00 - 9:25 "Knowledge Representation with Structured Variables"
Syed S. Ali
State University of New York at Buffalo, Buffalo, NY
9:25 - 9:50 "Descriptions: Referential, Attributive, and Non-Designating"
Richard W. Wyatt
West Chester University, West Chester, PA
9:50 - 10:15 "Constraint Propagation for Equality Reasoning"
Anthony S. Maida
The Pennsylvania State University, University Park, PA
10:15 - 10:40 Discussion
10:40 - 11:00 Coffee Break
11:00 - 11:25 "RR -- A Formal Resource-Bounded Reasoner"
Nuno J. Mamede & Joao P. Martins
Instituto Superior Technico, Lisbon, Portugal
11:25 - 11:50 "Change and Belief Revision"
Carlos Pinto-Ferreira & Joao P. Martins
Instituto Superior Technico, Lisbon, Portugal
11:50 - 12:15 "Efficient Implementation of Non-Standard Connectives
and Quantifiers in Semantic Networks"
Joongmin Choi
State University of New York at Buffalo, Buffalo, NY
12:15 - 12:40 Discussion
12:40 - 2:00 Lunch
2:00 - 2:25 "Transportable Natural Language Front-End to Database
Management Systems"
J. Terry Nutter & Michael J. Bessasparis
Virginia Polytechnic Institute, Blacksburg, VA
2:25 - 2:50 "Symbol Grounding Paradigms - A Language Learning Perspective"
Ajaya R. Simha & B. P. Sen & James Geller
New Jersy Institute of Technology, Newark, NJ
2:50 - 3:15 "Using Conceptual Information for Translating Locative
Prepositions from English into French"
Nathalie Japkowicz & Janyce Wiebe
University of Toronto, Toronto, Canada
3:15 - 3:40 Disussion
3:40 - 4:00 Coffee Break
4:00 - 4:25 "Why do you say that.. ?"
H. Sofia Pinto & Joao P. Martins
Instituto Superior Technico, Lisbon, Portugal
4:25 - 4:50 "A Case Against Relevance"
Joao P. Martins & Maria R. Cravo
Instituto Superior Technico, Lisbon, Portugal
4:50 - 5:15 Discussion/Closing Remarks
--
"I think I know why the dog howls at the moon" - JC
kumard@cs.buffalo.EDU
kumard%cs.buffalo.edu@ubvm.bitnet
Deepak Kumar, Dept. of CS, 226 Bell Hall, SUNY@Buffalo, NY 14260.