The SCEAS System
Navigation Menu

Conferences in DBLP

Artificial Intelligence and Symbolic Computation (AISC) (aisc)
1998 (conf/aisc/1998)

  1. Luc De Raedt
    An Inductive Logic Programming Query Language for Database Mining. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:1-13 [Conf]
  2. Melvin Fitting
    Bertrand Russell, Herbrand's Theorem, and the Assignment Statement. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:14-28 [Conf]
  3. Richmond H. Thomason
    Representing and Reasoning with Context. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:29-41 [Conf]
  4. 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]
  5. 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]
  6. Michael Beeson
    Automatic Generation of Epsilon-Delta Proofs of Continuity. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:67-83 [Conf]
  7. Belaid Benhamou, Laurent Henocque
    Finite Model Search for Equational Theories (FMSET). [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:84-93 [Conf]
  8. 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]
  9. Carlos Castro
    COLETTE, Prototyping CSP Solvers Using a Rule-Based Language. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:107-119 [Conf]
  10. Martin Damsbo, Peder Thusgaard Ruhoff
    An Evolutionary Algorithm for Welding Task Sequence Ordering. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:120-131 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. Ken-etsu Fujita
    Polymorphic Call-by-Value Calculus Based on Classical Proofs. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:170-182 [Conf]
  15. 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]
  16. Christopher Lynch
    The Unification Problem for One Relation Thue Systems. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:195-208 [Conf]
  17. Christopher Lynch, Christelle Scharff
    Basic Completion with E-cycle Simplification. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:209-221 [Conf]
  18. Eric Monfroy, Christophe Ringeissen
    SoleX: A Domain-Independent Scheme for Constraint Solver Extension. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:222-233 [Conf]
  19. 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]
  20. Brigitte Pientka, Christoph Kreitz
    Instantiation of Existentially Quantified Variables in Inductive Specification Proofs. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:247-258 [Conf]
  21. 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]
  22. Fritz Schwarz
    ALLTYPES: An ALgebraic Language and TYPE System. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:270-283 [Conf]
  23. J. Rafael Sendra, Franz Winkler
    Real Parametrization of Algebraic Curves. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:284-295 [Conf]
  24. Zbigniew Stachniak
    Non-clausal Reasoning with Propositional Definite Theories. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:296-307 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002