default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th AISC 1998: Plattsburgh, New York, USA
- Jacques Calmet, Jan A. Plaza:
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
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 - Éric 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
