This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998.
The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery.
Author(s): Luc De Raedt (auth.), Jacques Calmet, Jan Plaza (eds.)
Series: Lecture Notes in Computer Science 1476 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1998
Language: English
Pages: 316
Tags: Artificial Intelligence (incl. Robotics); Symbolic and Algebraic Manipulation; Mathematical Logic and Formal Languages; Algorithms
An inductive logic programming query language for database mining....Pages 1-13
Bertrand Russell, Herbrand’s theorem, and the assignment statement....Pages 14-28
Representing and reasoning with context....Pages 29-41
From integrated reasoning specialists to “plug-and-play≓ reasoning components....Pages 42-54
Reasoning about coding theory: The benefits we get from computer algebra....Pages 55-66
Automatic generation of epsilon-delta proofs of continuity....Pages 67-83
Finite model search for equational theories (FMSET)....Pages 84-93
Specification and integration of theorem provers and computer algebra systems....Pages 94-106
COLETTE, prototyping CSP solvers using a rule-based language....Pages 107-119
An evolutionary algorithm for welding task sequence ordering....Pages 120-131
Intuitionistic proof transformations and their application to constructive program synthesis....Pages 132-144
Combining algebraic computing and term-rewriting for geometry theorem proving....Pages 145-156
Cooperation between top-down and bottom-up theorem provers by subgoal clause transfer....Pages 157-169
Polymorphic call-by-value calculus based on classical proofs....Pages 170-182
Inference and verification in Medical Appropriateness Criteria using Gröbner Bases....Pages 183-194
The unification problem for one relation Thue Systems....Pages 195-208
Basic Completion with E-cycle Simplification....Pages 209-221
SoleX: A domain-independent scheme for constraint solver extension....Pages 222-233
Optimising propositional modal satisfiability for description logic subsumption....Pages 234-246
Instantiation of existentially quantified variables in inductive specification proofs....Pages 247-258
Knowledge discovery objects and queries in Distributed Knowledge Systems....Pages 259-269
ALLTYPES: An algebraic language and TYPE system....Pages 270-283
Real parametrization of algebraic curves....Pages 284-295
Non-clausal reasoning with propositional definite theories....Pages 296-307