Fifth International Conference
Theory, Implementations and Applications

Madrid, Spain
July 17th-19th, 2000

addlink.gif (10307 bytes) ucm.gif (27373 bytes) texas.gif (3155 bytes)

Organized by: Universidad Complutense de Madrid
and: Sociedad Matemática "Puig Adam"

NEW!!! (May, 2001)     

The proceedings of this conference have been published by Springer-Verlag in its LNAI series as volume 1930.

For details click on:

or :


Conferences in this series are held every two years. The previous four ones took place in Karlsruhe (Germany), Cambridge (United Kingdom), Steyr (Austria) and Plattsburgh (USA) -- the first three under the name "Artificial Intelligence and Symbolic Mathematical Computing (AISMC)". The conference in the year 2000 will be held in Spain. The aim of the conference is to provide a forum for the exchange of ideas and the presentation of new tools and solutions. Another goal is foster personal contacts among researchers from different fields related to AI and Symbolic Computation. The conference is concerned with all aspects of research, including theory, implementations and applications.


AISC'2000 is organized by the Universidad Complutense de Madrid (UCM), in collaboration of the Sociedad Matematica "Puig Adam''.


        Papers on other topics with strong links to those above will also be welcomed for consideration.


Rafael Puyol (President of the Univ. Complutense de Madrid)


Jacques Calmet (Univ. Karlsruhe, Germany)
John Campbell (Univ. College, London, United Kingdom)
Jochen Pfalzgraf (Univ. Salzburg, Austria)
Jan Plaza (SUNY-Plattsburgh, USA)
Eugenio Roanes-Lozano (Univ. Complutense de Madrid, Spain; Conference Chairman)



Luigia C. Aiello (Univ. La Sapienza, Roma, Italy)
Jose A. Alonso (Univ. de Sevilla, Spain)
Michael Beeson (San Jose State Univ., USA)
Bruno Buchberger (RISC-Linz, Austria)
Alan Bundy (Univ. Edimburgh, UK)
Greg Butler (Univ. Concordia, Montreal, Canada)
Frans P. Coenen (Univ. of Liverpool, UK)
Jim Cunningham (Imperial College London, UK)
Carl van Geem (LAAS-CNRS, Tolouse, France)
Fausto Giunchiglia (Univ. Trento, Italy)
Martin C. Golumbic (Bar-Ilan Univ., Israel)
Leon A. González (Univ. de Alcalá, Spain)
Anthony J. Guttman (Univ. of Melbourne, Australia)
Reiner Haehnle (Univ. Karlsruhe, Germany)
Deepak Kapur (Univ. New Mexico, USA)
Luis de Ledesma (Univ. Politécnica de Madrid, Spain)
Ursula Martin (Univ. of St. Andrews/SRI, Scottland)
José Mira (UNED, Spain)
Ewa Orlowska (Inst. Telecomunications, Warsaw, Poland)
Angel Pasqual del Pobil (Univ. Jaume I, Spain)
Juan Pazos (Univ. Politécnica de Madrid, Spain)
Zbigniew W. Ras (Univ. North Carolina, Charlotte, USA)
Tomás Recio (Univ. de Santander, Spain)
Joerg Siekmann (Univ. Saarland, Saarbruecken, Germany)
Andrzej Skowron (Warsaw Univ., Poland)
Viorica Sofronie-Stokkermans (Max Planck Institut, Germany)
Stanley Steinberg (Univ. New Mexico, USA)
Karel Stokkermans (Univ. Salzburg, Austria)
Carolyn Talcott (Stanford Univ., USA)
Rich Thomason (Univ. of Pittsburgh, USA)
Peder Thusgaard Ruhoff (Univ. of Southern Denmark, Denmark)
Enric Trillas (Univ. Politécnica de Madrid, Spain)
Dongming Wang (IMAG Grenoble, France)


Francisco J. Blanco-Silva (Purdue Univ., USA)
Martín Garbayo (Univ. Complutense de Madrid, Spain)
Mercedes Hidalgo (Univ. Complutense de Madrid, Spain)
Eugenio Roanes-Macías (Univ. Complutense de Madrid, Spain)
Lola Rodríguez (CPR Leganes)

Deadline for submission: March 20th, 2000
Communication of acceptance of papers: May 5th, 2000
(NEW) Deadline for reception of final version: June 15th, 2000


Papers submitted to the conference undergo a standard review process. Previous proceedings were published by Springer-Verlag (in their volumes LNCS 737, 958, 1138 and LNAI 1476). This year's proceedings will also be published by Springer-Verlag and will be available after the conferences.


Theoretical and applied research papers on all topics within the scope of the conference are invited. Submitted papers (in English) must not exceed 12 pages in length. The title page should contain the title, author(s) with affiliation(s), e-mail address(es), listing of keywords and abstract PLUS the topics from the list above to which the paper is related. The program committee will subject all submitted papers to a peer review. Theoretical papers will be judged on their originality and contribution to their field, and applied papers on the importance and originality of the application. Results must be unpublished. Electronic submission is strongly encouraged. Please send a postscript file (.ps or .eps) by e-mail to If electronic submission is not possible, please send four hard copies to the conference address below.


Accepted papers should be prepared in LaTeX and formatted according to the requirements of the Springer-Verlag's LNAI series (the corresponding style files can be downloaded from and are the same for the LNCS and LNAI). Please remember to send, together with the .tex files, any non-standard files that are necessary to compile the LaTeX source code.


web page:

Surface mail:
AISC 2000
Dr. Eugenio Roanes-Lozano
Departamento de Álgebra, Desp. 3517
Edificio ``La Almudena''
Universidad Complutense de Madrid
c/ Rector Royo Villanova s/n
28040 - Madrid

Phone & Fax: (+34) 91 394 62 48


Monday July 17th

10:00am-11:00am Registration
11:00am-11:30am Opening Act with Prof. José Javier Etayo representing the President of the Universidad Complutense de Madrid
11:30-noon Coffee Break
Invited Talk: "George Boole, a Forerunner of Symbolic Computation" Luis Laita
"A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design" A. Iglesias and A. Gálvez
1:30pm-3:30pm Lunch
"Composite Distributive Lattices as a Notation Domains for Mediators" Jacques Calmet, Peter Kullman and Morio Taneda
"A Proof Strategy Based on a Dual Representation" Guilherme Bittencourt and Isabel Tonin
"Some Techniques of Isomorph-Free Search" Thierry Boy-de-la-Tour
5:00pm-5:30pm Coffee Break
"Additional Comments on Conjectures, Hypotheses and Consecuences" A. Fernández Pineda, Enric Trillas and Claudio Vaucheret
"Basic Operators for Solving Constraints via Collaborations of Solvers" Carlos Castro and Eric Monfroy
"Proofs in Interactive Mathematical Documents" Olga Caprotti and Martinj Oostdijk

Tuesday July 18th

"Invited Talk: "Artificial Intelligence as Decision Tool for an Efficient Strategic and Operative Management" Mark Knoppe
"Automatic Determination of Geometric Loci" Eugenio Roanes-Macías and Eugenio Roanes-Lozano
"Solving Nonlinear Systems through Constraint Inversion and Interval Arithmetic" Martine Ceberio and Laurent Granvilliers
11:00am-11:30am Coffe Break
"Reasoning about the Elementary Functins of Complex Analysis" Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt and Stephen M. Watt
"Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra" Robert M. Corless, Mark W. Giesbrecht, Ilias Kotsireas and Stephen M. Watt
"Formalizing Rewriting in the ACL2 Theorem Prover" José Luis Ruiz-Reina, José Antonio Alonso, María José Hidalgo and Francisco Jesús Martín-Mateos
1:00pm-3:00pm Lunch
3:00pm Excursion to Toledo
time to determine Gala dinner

Wednesday July 19th

"Invited Talk: "OMDoc: Towards an Internet Standard for the Administration, Distribution and Teaching of mathematical Knowledge" Michael Kohlhase
"Negotiation Algorithms for Multi-Agent Interactions" Marco A. Arranz
10:30am-11:00am Poster Session
11:00am-11:30am Coffe Break
Hardware Demo: "Propositional Multivalued Logics with the TI-92 and TI-89 Symbolic Calculators" Eugenio Roanes-Lozano
"A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects" Jochen Pfalzgraf
12:30pm-1:30pm Business Meeting and Farewell
1:00pm-3:00pm Lunch


The conference will take place at the hotel NH Zurbano (Madrid, Spain). This is a comfortable three-stars hotel downtown. It is located at a narrow street named Zurbano, that is parallel to La Castellana street (about 80 meters from it). La Castellana is a 10 lane street, the Nort-South axis of downtown Madrid, the Prado Museum being further south. The hotel is precisely at the "latitude" of the exit from La Castellana street to the hightway to Madrid-Barajas Airport. Several single and double rooms are available at a reduced price till May 30th 2000. Both the conference-room and all other rooms have air-conditioning (see "Hotel Prices" and "Hotel Reservation and Payment" below).

Hotel NH Zurbano
Zurbano 79-81
ZIP Code: 28003 Madrid (Spain)
Phone: (+34) 91 441 45 00
Fax: (+34) 91 442 91 48 & (+34) 91 441 32 24


The registration fee includes coffee-breaks, lunches for three days at the hotel NH Zurbano and the gala dinner.
Normal registration fee: 40000 Spanish pesetas (payment should be received before June 15th).
Late registration fee: 50000 Spanish pesetas ().
Gala dinner for accompanying person: 5000 Spanish pesetas.

Remark: Payment must be made in Spanish pesetas. Just for your information, as of December 16th 1999, 1US$ correspond aproximately to 166 pesetas (i.e., 1US$ is almost equal to 1Euro). The exchange rate between the national European currencies and the Euro is fixed while the exchange rate between the US$ and the Euro depends on the finantial markets.


Please fill the following registration form and send it by e-mail or FAX to the organizers ( ; (+34) 91 394 62 48). The payment should be sent together with the registration form (see next section).


(5th Artificial Intelligence and Symbolic Computation Conferences)

Madrid, Spain (July 17th-19th 2000)


First name: Title:
Last name:
Institution (full unabbreviated name):
Mailing Address:
City, State/Province:
Zip/Postal Code:
Telephone: Telefax:
Vegetarian (y/n):

(Fill the following blanks only if it applies)

First name of acompanying person:
Last name of acompanying person:
Vegetarian (y/n):
First name of acompanying person:
Last name of acompanying person:
Vegetarian (y/n):
First name of acompanying person:
Last name of acompanying person:
Vegetarian (y/n):
Select what applies: Registration: normal / late

Amounts to be paid:

Acompanying person gala dinner: ......... persons x 5000 pesetas = ....................... pesetas
Total:........................... pesetas

Acceptable methods of payment:

Credit Card (VISA or Mastercard only)  Money order / Institutional check / Personal check
Method of payment chosen (please specify):

For Credit Card payment only, please fill:

Card Type: ....................
Number:...............-..............-..............-................     Exp. Date:........./..........
Card Holder Name (as it appears the card): .........................................
Signature (not recquired if sent by e-mail):

(For other payment methods see next section)

REGISTRATION FEE PAYMENT (registration only, not hotel payment!)

a)  If payment is made by credit card, filling the registration form is enough.
b)  If payment is made by check, please make checks payable to: Sociedad "Puig Adam"-AISC'2000 and also send by FAX a copy of it (remember to write down your name on the FAX).
c) If payment is made by money order, it should be made in favour to:
Owner of the account: Sociedad "Puig Adam"-AISC'2000
Account number: 0182-1275-11-0011503872
Bank: Banco Bilbao Vizcaya
Bank office number: 1275
Bank office address: Bravo Murillo 95, 28003-Madrid


After June 15th 2000 it is not guaranteed that registration fees can be reimbursed if attendance is cancelled (due to the fact that the organization has to make some payments that day).


We have applied for grants from official entities and private companies. If they are given (which is likely), we will be able to grant a few attendees registration fee and, in some cases, lodging; travelling will not be considered. If grants are awarded, news will be mailed to our lists of registred attendees and "interested" people. Notice that, even though we can have the confirmation that a grant is given, the money could be available close to the conference dates or even after the conference is over.

Please do not send grant requests unless the availability of money is announced.


Please check that your health insurance is valid in Spain. Registration fee doesn't include any kind of health insurance.
A cellular telephone number to contact the organizers in an emergency will be provided.


Lodging at the conference hotel (NH Zurbano) is obviously not required but it is suggested (as the conference room is in the same building and the price is very reasonable). The prices below are offered until May 30th 2000. After that date a normal fare could be applied. Moreover, availability of rooms at the NH Zurbano is not guaranteed beyond that date (although the travel agency would try to book a room there or at another hotel).

If the payment is made before May 30th 2000, the following rates apply:

Single room: 13000 ptas + 7% VAT (taxes) per night
Double room, occupied by 1 person: 15000 ptas + 7% VAT (taxes) per night
Double room, occupied by 2 persons: 15000 ptas + 7% VAT (taxes) per night

Breakfast (buffet), each person: 1800 ptas + 7% VAT (taxes) per day

The number of single rooms is limited. They will be assigned in the same order of reservations.

The reduced price is valid if arrival is July 16th or later and departure date is July 20th or sooner. If you would like an extended stay at this hotel please contact the travel agency.

HOTEL RESERVATION AND PAYMENT (hotel only, not registration payment!)

To stay at the NH Zurbano hotel at the reduced fare above, the reservation should be made through the following travel agency (not directly at the hotel, that would apply the normal fare). There are no extra expenses for booking through the travel agency but the opposite, a lower fare is obtained (we have reached an agreement with both the hotel and the travel agency to obtain a lower fare).

Travel Agency:
Viajes EuroBusiness (Viajes de Negocios y Tiempo Libre S.A.)
Address: Jorge Juan 21
ZIP Code: 28001 Madrid (Spain)
Phone: (+34) 91 435 46 86
Fax: (+34) 91 576 79 63

Payment method:

a) If payment is made by credit card (VISA, MasterCard or American Express): Please send a signed FAX with the subject "AISC2000" to the travel agency, (+34) 91 576 79 63, explicitely allowing to charge your credit card with the corresponding amount. Please include in the fax a copy of you credit card. Include in the fax your name, FAX number and e-mail address too.

b) If payment is made by check, please make the check payable to:  Viajes de Negocios y Tiempo Libre S.A. Please send a FAX with the subject "AISC2000" to the travel agency, (+34) 91 576 79 63, including a copy of the check. Include in the FAX your name, FAX number and e-mail address too.

c) If payment is made by money order, it should be made in favor to:

Owner of the account: Viajes de Negocios y Tiempo Libre S.A.
Account number: 2100-0997-69-0200316358
Bank: La Caixa
Bank office number: 0997
Bank office address: Serrano 60, 28006 Madrid (Spain)

Please send a FAX with the subject "AISC2000" to the travel agency, (+34) 91 576 79 63, including a copy of the receipt of the money order. Include in the FAX your name, FAX number and e-mail address too.


Addlink Software Cientifico
Logic Programming Associates (LPA)
Real Sociedad Matematica Española
Sociedad Matematica Puig Adam
Texas Instruments
Universidad Complutense de Madrid
Unievrsidad Complutense de Madrid - Departamento de Álgebra
Universidad Complutense de Madrid - Servicios Informaticos

addlink.gif (10307 bytes) ucm.gif (27373 bytes) texas.gif (3155 bytes)

Organized by: Universidad Complutense de Madrid
and: Sociedad Matematica "Puig Adam"


There is just one airport in Madrid (Madrid-Barajas). There are daily flights to the main US hubs and other big cities by Iberia (Spanish airlines) and various American airlines. Their arrival is normally scheduled early in the morning and departures are normally scheduled late in the morning. There are also daily direct flights to all main European airports, but their schedules don't follow any special pattern.

There are frequent connection by plane with Barcelona ("puente aereo") by Iberia and Air Europa airlines (a plane every 30-60 minutes). The flight takes about 45 minutes. There are domestic flights to most cities, but frequencies are low, except to Palma de Mallorca (Balearic Islands).

Seville is 2 hours 30 minutes from Madrid in the high-speed train AVE (a 300 km/h=185mph high quality train, similar to the French TGV and the German ICE). The connections are very frequent and there is a money back guarantee if the delay is bigger than 5 minutes.

Other turistic cities like Toledo, Avila or Segovia are within 1-1.5 hours by train, bus or car from Madrid.

There are two railway stations for long distance trains: Chamartin (in the north) and Atocha (in the south). Observe that unlike other west european countries, booking a seat is compulsory in all Spanish trains (except in commuting train). Therefore the date and hour of the trip are fixed. Quality is similar to West European trains.

Intercity buses are very inexpensive; sometimes different companies have different stations in the same city.

Renting a car is more expensive than in the US. Automatic cars are rare. All modern gasoline cars (e.g. rental cars) run on unleaded petrol only. Road signs is standard European. Generic speed limits are: 50 km/h in villages, towns and cities,90 km/h in roads without shoulders, 100 km/h in roads with shoulders, 120 km/h in highways. There are two kinds of multi-lane roads: autopistas (pay roads) and autovias (free).In roads with shoulders you will often find a slow-vehicles lane on the right when going uphill, so there are two lanes going uphill and one going downhill.

US drivers:
i) Please observe that in multi-lane roads, you should use the fast lane (the one most to the left) only for overtaking (and then return to one further right).
ii) Turning right at a red traffic light is not allowed.

Please be careful at zebra pedestrian crossings: many Spanish drivers are not careful enough.

Public city transportation is efficient and cheap. A 10 trips bus & subway (Metro) ticket costs about 4.50 US$ (there is only one fare). The Metro network is dense and easy to use. Buses are red or blue (urban services) and green (suburban services).

Taxi is much cheaper than in most European cities. There is a "taximeter" that is switched on when the passenger enters the taxi and shows the current due amount. Taxis are normally owned by the driver or a small company, but fares are absolutely fixed and equal for all taxis (in fact taximeters are controlled periodically by the local authorities). There are also fixed fees for pick-ups at the airport and railway stations, for carrying luggage, etc. (they are listed on a sticker in the windows of the rear doors). Taxis are white with a diagonal red line in the front doors. If available,   there is a small green light turned on on the roof or a "libre" (free) plate is visible through the windscreen.

Madrid is in general a safe city (for being a big one). Anyway be careful about pickpockets at touristic places or crowded places, and ask for hints in your hotel if going out late at night (after, let's say, 11pm).

Not many people speak English. Showing your taxi-driver the name and address of the hotel written on paper may be the best idea (if you don't speak Spanish).