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