4. AISC 1998: Plattsburgh, New York, USA

@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

• Luc De Raedt:
  An Inductive Logic Programming Query Language for Database Mining. 1-13
  
• Melvin Fitting:
  Bertrand Russell, Herbrand's Theorem, and the Assignment Statement. 14-28
  
• Richmond H. Thomason:
  Representing and Reasoning with Context. 29-41
  

Regular Talks

• Alessandro Armando, Silvio Ranise:
  From Integrated Reasoning Specialists to ``Plug-and-Play'' Reasoning Components. 42-54
  
• Clemens Ballarin, Lawrence C. Paulson:
  Reasoning About Coding Theory: The Benefits We Get from Computer Algebra. 55-66
  
• Michael Beeson:
  Automatic Generation of Epsilon-Delta Proofs of Continuity. 67-83
  
• Belaid Benhamou, Laurent Henocque:
  Finite Model Search for Equational Theories (FMSET). 84-93
  
• Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann:
  Specification and Integration of Theorem Provers and Computer Algebra Systems. 94-106
  
• Carlos Castro:
  COLETTE, Prototyping CSP Solvers Using a Rule-Based Language. 107-119
  
• Martin Damsbo, Peder Thusgaard Ruhoff:
  An Evolutionary Algorithm for Welding Task Sequence Ordering. 120-131
  
• Uwe Egly, Stephan Schmitt:
  Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis. 132-144
  
• Stéphane Fèvre, Dongming Wang:
  Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving. 145-156
  
• Dirk Fuchs:
  Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer. 157-169
  
• Ken-etsu Fujita:
  Polymorphic Call-by-Value Calculus Based on Classical Proofs. 170-182
  
• Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo:
  Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases. 183-194
  
• Christopher Lynch:
  The Unification Problem for One Relation Thue Systems. 195-208
  
• Christopher Lynch, Christelle Scharff:
  Basic Completion with E-cycle Simplification. 209-221
  
• Eric Monfroy, Christophe Ringeissen:
  SoleX: A Domain-Independent Scheme for Constraint Solver Extension. 222-233
  
• Ian Horrocks, Peter F. Patel-Schneider:
  Optimising Propositional Modal Satisfiability for Description Logic Subsumption. 234-246
  
• Brigitte Pientka, Christoph Kreitz:
  Instantiation of Existentially Quantified Variables in Inductive Specification Proofs. 247-258
  
• Zbigniew W. Ras, Jiyun Zheng:
  Knowledge Discovery Objects and Queries in Distributed Knowledge Systems. 259-269
  
• Fritz Schwarz:
  ALLTYPES: An ALgebraic Language and TYPE System. 270-283
  
• J. Rafael Sendra, Franz Winkler:
  Real Parametrization of Algebraic Curves. 284-295
  
• Zbigniew Stachniak:
  Non-clausal Reasoning with Propositional Definite Theories. 296-307