AISC'98
The Fourth International Conference
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
Theory, Implementations and Applications

Plattsburgh, NY , USA
September 16-18, 1998

	Sponsors
	Conference Goals
	Proceedings

	Special Issue of Fundamenta Informaticae
	Topics
	Schedule
	Participation of Students
	Registration
	Transportation to and from Plattsburgh
	About the Place of the Conference
	Invited Speakers
	Steering Committee
	Program Committee
	Addresses
	Stay Informed

• Sate of New York / UUP Professional Development and Quality of Working Life Committee,
• Plattsburgh State University of New York,
• College Auxiliary Services.

The aim of the conference is to provide a forum for the exchange of novel ideas and the presentation of latest solutions. Another goal is to foster personal contacts among researchers from diverse fields surrounding AI and symbolic computation. The conference is concerned with all aspects of research: theory, implementations and applications in industry and in academia. Besides invited and contributed lectures, the conference will include a poster session, a panel discussion on applications in college education and research and software demonstrations. Members of the SUNY community are especially encouraged to participate in this year's conference.

Conferences in this series are held every two years; the previous three took place in Karlsruhe (Germany), Oxford (United Kingdom) and Steyr (Austria). This time the conference has been held in USA at the Plattsburgh State University of New York. Papers submitted to the AISC conferences undergo a standard review process. Previous proceedings appeared in the Springer Verlag LNCS Series, volumes 737, 958 and 1138. This year's proceedings have been published by Springer Verlag as LNAI 1476; they are available as a hardcopy and also in an electronic format.

A special double issue of Fundamenta Informaticae, devoted to Symbolic Computation and Artificial Intelligence (Vol. 39, Nos. 1-2, 1999) contains extended versions of selected papers from AISC'98.

1. AI in Symbolic Mathematical Computing
2. Computer Algebra Systems and Term-Rewriting Systems
3. Automated Theorem Provers
4. Integration of Logical Reasoning and Computer Algebra
5. Applications in Industry and Academia
6. Foundations and Complexity of Symbolic Computation
7. Mathematical Modeling of Multi-Agent Systems
8. Programming Languages for Symbolic Computation
9. Symbolic Computation for Expert Systems and Machine Learning
10. Implementations of Symbolic Computation Systems
11. Other topics but with significant links to those above

Invited talks are 50 minutes long with an additional 10 minuts for discussion.
Contributed talks are 25 minutes long with an additional 5 minuts for discussion.
Software presentations are 30 minutes long including discussion.
Poster presentations are seminar-style, involving discussion, and are no longer than 20 minutes total.

An over-head projector will be availble as well as a laptop PC/Win95/PowerPoint with a projector connected to it.

Thanks to a grant from College Auxiliary Services, Plattsburgh State students can attend selected sessions of the conference at no cost. Faculty members are encouraged take to the conference their class or any other group of students.

Students are welcome to drive on their own and participate in any of the sessions at Valcour.

Some events can be of particular interest and the College of Arts and Sciences and CAS provide a van transportation to these events; please see www.plattsburgh.edu/aisc98/students.html

As the space in the van is limited, students who have their own transportation are asked to offer a ride to their classmates. For those who will drive on their own, here are the directions:

Intersate 87 to Exit 36
Left onto Route 22
Approximately 1 mile and just past small bridge,
left onto South Junction Road
South Junction Road to Route 9
Right onto Route 9
Valcour is approximately 1-1/2 miles on left
We mean Valcour Educational Conference Center of PSUNY (NOT the Valcour Lodge, the village of Valcour, etc.)

On-line registration is available. (Even if you use the on-line registration, please read the REGISTRATION FORM below as it may contain additional useful information.)

Alternatively you can register by

or copy/print and fill the following form and send it by e-mail, fax or letter to:

REGISTRATION FORM
Please fill the following form and specify requested numbers between square brackets.

PERSONAL DATA
Last name ...........................
First name ..........................
Title ...............................
E-mail address ......................
Fax .................................
Mailing address .....................
Web URL .............................

REGISTRATION FEE
[ ] x $225
Registration fee includes 1 banquet on Wednesday 9/16/98, 3 continental breakfasts, 3 mid-morning little somethings, 3 lunches, 3 afternoon coffee breaks, daily transportation between hotel and conference center, proceedings and other conference materials.

GUEST (ADDITIONAL) BANQUET TICKET
The banquet will be held on Wednesday, 9/16/98 at the Anthony's restaurant.
[ ] x $25. Regular [ ] or vegetarian [ ]

GUEST (ADDITIONAL) TICKETS FOR LUNCHES AT VALCOUR
[ ] x $10. Wednesday, 9/16/98. Regular [ ] or vegetarian [ ]
[ ] x $10. Thursday, 9/17/98. Regular [ ] or vegetarian [ ]
[ ] x $10. Friday, 9/18/98. Regular [ ] or vegetarian [ ]

SHUTTLE TRANSPORTATION FROM AND TO AIRPORT
[ ] x $25. Montreal/Dorval-Plattsburgh-Montreal/Dorval
Tuesday 9/15/98 [ ] 4 p.m. or [ ] 9 p.m. and
Friday 9/18/98 [ ] 4:00 p.m. or Saturday 9/19/98 [ ] 8 a.m.
[ ] x $25. Burlington-Plattsburgh-Burlington,
Tuesday 9/15/98 [ ] 4 p.m. or [ ] 9 p.m. and
Friday 9/18/98 [ ] 4:00 p.m. or Saturday 9/19/98 [ ] 8 a.m.
(Shuttles to/from Plattsburgh -- Clinton County airport will also be available. Please inquire). Please see http://www.plattsburgh.edu/cas/conferences/aisc98/aisc98.html
Please specify:
arriving flight number .................
arrival day and time ...................
departure day and time .................
There are also other ways of getting to Plattsburgh.

ROOMS AT THE VALCOUR CONFERENCE CENTER
Valcour is a most charming old-fashioned residence on Lake Champlain with beautiful views of mountains of Vermont. The conference sessions and meals (except the banquet) will be held at Valcour. As Valcour is located 7 miles from Plattsburgh, with no public transportation, persons who reside at Valcour may need a car. There are only 9 rooms at Valcour, they are non-smoking and need be rented for three days: 9/15/98 about noon till 9/18/98 about noon.
[ ] Single room with bath -- $55 per day
[ ] Double room with bath -- $65 per day
[ ] Single room with shared bath -- $50 per day
[ ] Double room with shared bath -- $60 per day
(Another recommended accommodation is at the Budgetel Baymount Inn in Plattsburgh which has several good restaurants in a walking distance. The rooms are equipped with telephone lines suitable for connecting your laptop's modem using a modular telephone jack. There is a swimming pool in the inn. Every morning and afternoon free transportation will be provided between this inn and Valcour. A single or double room with bath can be obtained at a special rate of $50 per day. Please make reservations directly with the Budgetel Baymount Inn by phones 1-800-428-3438, 1-518-562-4000 or fax 1-518-561-3234; mention that you are with AISC'98. Availability of rooms is guaranteed only until September 1, 1998.)

Paying by:
[ ] check in US$
[ ] Visa. Expiration date .............
[ ] Master Card. Expiration date .............
[ ] Discover. Expiration date .............
TOTAL AMOUNT PAID: US$.......
If sending you pay by credit card and send this form via fax or letter, please sign .................

Additional information realted to registration os available at http://www.plattsburgh.edu/cas/conferences/aisc98/aisc98.html

For information on special discounts offered to AISC'98 participants by air companies, please see http://www.plattsburgh.edu/cas/conferences/aisc98/aisc98.html.

Besides AISC'98 shuttles mentioned in the Registration section above the following means of transportation are available.

Burlington, VT -- Plattsburgh, NY

BY PLANE

Purchasing an air ticket: yourCity--BurlingtonVT--PlattsburghNY--BurlingtonVT--yourCity will cost only about $30 more than a ticket: yourCity--BurlingtonVT--yourCity. (On the other hand, a separate ticket Burlington-Plattsburgh costs $62 one way.)

RENT A CAR,

Rent a car, take a ferry. The total time will be 45-60 minutes. The ferry comes every 20 minutes. The round trip costs $30 for a car with 2 passengers.

LIMO, takes up to 10 persons for the total price of $125 one way.

Shuttle, takes up to 15 persons for total price of $125 one way. Call 1 800 689 8005

BY FOOT OR BICYCLE

These are about the only options that remain. There is no Greyhound or another bus service, no Amtrak or another train service because they cannot swim and the lake is quite deep.

Montreal (Dorval Airport) -- Plattsburgh, NY

BY BUS

Take shuttle from airport to the Greyhound bus station. The airport shuttle is inexpensive and runs every 30 min. Greyhound bus departs from Montreal at 7:00, 10:00, 12:00, 16:00, 23:30 seven days a week. The trip lasts 2 hours and costs $13 one way or $24 round trip. (If you later wish to use a Greyhound bus from Plattsburgh to Montreal the departures are at 7:00, 15:20, 16:00, 23:30.)

BY TRAIN

Take a taxi from the Dorval airport to the Amtrak station (just 3 miles, but there is no shuttle). Take Amtrak train to Plattsburgh. The trip takes about 2 hours 40 minutes and costs $11 one way. The trains from Montreal depart Monday-Friday at 10:30 and arrive in Plattsburgh at 13:10, depart Saturday-Sunday at 17:36 and arrive in Plattsburgh at 20:25 (If you later wish to use an Amtrak train, the trains from Plattsburgh depart Monday-Friday at 16:36 and arrive in Montreal at 19:20 and depart Saturday-Sunday at 12:50 and arrive in Montreal at 15:40).

RENT A CAR

Cars rented in Canada can be taken to the US. Driving from Montreal to Plattsburgh takes 1 hour.

LIMO OR SHUTTLE

Limo takes up to 10 persons for the total price of $125 one way. Shuttle, takes up to 15 persons for the total price of $125 one way. Call 1 800 689 8000

BY FOOT OR BICYCLE

These are about the only options that remain. There is no air service because Plattsburgh does not accept international flights.

Plattsburgh is a city of 20,000 located in the north-eastern corner of the State of New York. It is on Lake Champlain and enjoys beautiful views of the mountains of Vermont. Plattsburgh is just one hour of driving from Mont real's vibrant culture and exquisite restaurants.) The connection to Burlington (Vermont) is by a ferry and this half-hour trip is very scenic. To the west and south of Plattsburgh there is the Adirondack Park -- the biggest recreational area in the USA -- 6,000,000 acres of mountains, lakes and forests. Lake Placid, which was the host of the Winter Olympic Games in 1932 and 1980, is only 1 hour by car from Plattsburgh. The Olympic Authority offers many tours and attractions year round.
The Valcour Conference Center belongs to the State University of New York at Plattsburgh and it is beautifully located on Lake Champlain somewhat to the south of the city. The center provides a relaxed atmosphere and professional conference environment. This is where the meetings will be held.
Van transportation between Montreal and Plattsburgh and also between Burlington and Plattsburgh will be arranged before and after the conference. (Cars rented in Montreal may be driven to the US.) During the conference, van transportation will be available between Plattsburgh and Valcour.

	Luc De Raedt (Katholieke Universiteit Leuven, Belgium)
	Melvin Fitting (Lehman College, CUNY, USA)
	Raymond Smullyan, (Indiana University, USA)
	Richmond H. Thomason (University of Pittsburgh, USA)
	Robert Veroff (University of New Mexico - Albuquerque, USA)

	Jacques Calmet (Universitaet Karlsruhe, Germany)
	John Campbell (University College London, UK)
	Jochen Pfalzgraf (Universität Salzburg, Austria)
	Jan Plaza (SUNY/Plattsburgh, USA), Conference Chair

	Francois Arlabosse (Framatome, France)
	Bruno Buchberger (Linz, Austria)
	Gregory Butler (Montreal, Canada)
	Luigia Carlucci Aiello (Roma, Italy)
	James Cunningham (London, UK)
	John Debenham (Sydney, Australia)
	Ruediger Dillmann (Karlsruhe, Germany)
	Fausto Giunchiglia (Trento, Italy)
	Stan Klasa (Montreal, Canada)
	Alfonso Miola (Roma, Italy)
	Lin Padgham (Melbourne, Australia)
	Zbigniew W. Ras (Charlotte, USA)
	Klaus U. Schulz (Munich, Germany)
	Joerg H. Siekmann (Saarbr&uumlcken, Germany)
	Andrzej Skowron (Warsaw, Poland)
	Stanly Steinberg (Albuquerque, USA)
	Karel Stokkermans (Salzburg, Austria)
	Carolyn Talcott (Stanford, USA)
	Peder Thusgaard Ruhoff (Odense, Denmark)
	Dongming Wang (Grenoble, France)

	Up-to-date information is always available on this web page (http://www.plattsburgh.edu/aisc98/)
	Submissions and questions can be directed via e-mail to: aisc98@splava.cc.plattsburgh.edu
	Phone: (518) 564 2788
	Fax: (518) 564 3010
	Mail can be addressed to:

If you wish to receive further information about AISC'98 via e-mail please fill in the following form and submit it. (If forms are not supported by your browser, please send your request to aisc98@splava.cc.plattsburgh.edu)

Go back to:

	Sponsors
	Conference Goals
	Proceedings

	Special Issue of Fundamenta Informaticae
	Topics
	Schedule
	Participation of Students
	Registration
	Transportation to and from Plattsburgh
	About the Place of the Conference
	Invited Speakers
	Steering Committee
	Program Committee
	Addresses
	Stay Informed