4. AISC 1998:
Plattsburgh,
New York,
USA
Jacques Calmet, Jan A. Plaza (Eds.):
Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings.
Lecture Notes in Computer Science 1476 Springer 1998, ISBN 3-540-64960-3 BibTeX
@proceedings{DBLP:conf/aisc/1998,
editor = {Jacques Calmet and
Jan A. Plaza},
title = {Artificial Intelligence and Symbolic Computation, International
Conference AISC'98, Plattsburgh, New York, USA, September 16-18,
1998, Proceedings},
booktitle = {AISC},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1476},
year = {1998},
isbn = {3-540-64960-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talks
Regular Talks
- Alessandro Armando, Silvio Ranise:
From Integrated Reasoning Specialists to ``Plug-and-Play'' Reasoning Components.
42-54
Electronic Edition (Springer LINK) BibTeX
- Clemens Ballarin, Lawrence C. Paulson:
Reasoning About Coding Theory: The Benefits We Get from Computer Algebra.
55-66
Electronic Edition (Springer LINK) BibTeX
- Michael Beeson:
Automatic Generation of Epsilon-Delta Proofs of Continuity.
67-83
Electronic Edition (Springer LINK) BibTeX
- Belaid Benhamou, Laurent Henocque:
Finite Model Search for Equational Theories (FMSET).
84-93
Electronic Edition (Springer LINK) BibTeX
- Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann:
Specification and Integration of Theorem Provers and Computer Algebra Systems.
94-106
Electronic Edition (Springer LINK) BibTeX
- Carlos Castro:
COLETTE, Prototyping CSP Solvers Using a Rule-Based Language.
107-119
Electronic Edition (Springer LINK) BibTeX
- Martin Damsbo, Peder Thusgaard Ruhoff:
An Evolutionary Algorithm for Welding Task Sequence Ordering.
120-131
Electronic Edition (Springer LINK) BibTeX
- Uwe Egly, Stephan Schmitt:
Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis.
132-144
Electronic Edition (Springer LINK) BibTeX
- Stéphane Fèvre, Dongming Wang:
Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving.
145-156
Electronic Edition (Springer LINK) BibTeX
- Dirk Fuchs:
Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer.
157-169
Electronic Edition (Springer LINK) BibTeX
- Ken-etsu Fujita:
Polymorphic Call-by-Value Calculus Based on Classical Proofs.
170-182
Electronic Edition (Springer LINK) BibTeX
- Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo:
Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases.
183-194
Electronic Edition (Springer LINK) BibTeX
- Christopher Lynch:
The Unification Problem for One Relation Thue Systems.
195-208
Electronic Edition (Springer LINK) BibTeX
- Christopher Lynch, Christelle Scharff:
Basic Completion with E-cycle Simplification.
209-221
Electronic Edition (Springer LINK) BibTeX
- Eric Monfroy, Christophe Ringeissen:
SoleX: A Domain-Independent Scheme for Constraint Solver Extension.
222-233
Electronic Edition (Springer LINK) BibTeX
- Ian Horrocks, Peter F. Patel-Schneider:
Optimising Propositional Modal Satisfiability for Description Logic Subsumption.
234-246
Electronic Edition (Springer LINK) BibTeX
- Brigitte Pientka, Christoph Kreitz:
Instantiation of Existentially Quantified Variables in Inductive Specification Proofs.
247-258
Electronic Edition (Springer LINK) BibTeX
- Zbigniew W. Ras, Jiyun Zheng:
Knowledge Discovery Objects and Queries in Distributed Knowledge Systems.
259-269
Electronic Edition (Springer LINK) BibTeX
- Fritz Schwarz:
ALLTYPES: An ALgebraic Language and TYPE System.
270-283
Electronic Edition (Springer LINK) BibTeX
- J. Rafael Sendra, Franz Winkler:
Real Parametrization of Algebraic Curves.
284-295
Electronic Edition (Springer LINK) BibTeX
- Zbigniew Stachniak:
Non-clausal Reasoning with Propositional Definite Theories.
296-307
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 22:57:30 2009
by Michael Ley (ley@uni-trier.de)