Artificial Intelligence and Symbolic Mathematical Computing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540573227, 9783540480631

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The progress towards an intelligent assistant — A discussion paper

Artificial Intelligence and Symbolic Mathematical Computing - Lecture Notes in Computer Science ◽

10.1007/3-540-57322-4_7 ◽

1993 ◽

pp. 107-115 ◽

Author(s):

Greg Butler

Keyword(s):

Discussion Paper ◽

Intelligent Assistant

Download Full-text

Intelligent user interfaces for symbolic and numeric computation

Artificial Intelligence and Symbolic Mathematical Computing - Lecture Notes in Computer Science ◽

10.1007/3-540-57322-4_6 ◽

1993 ◽

pp. 96-106

Author(s):

Michael E. Clarkson

Keyword(s):

User Interfaces ◽

Intelligent User Interfaces

Download Full-text

On the topological structure of configuration spaces

Artificial Intelligence and Symbolic Mathematical Computing - Lecture Notes in Computer Science ◽

10.1007/3-540-57322-4_3 ◽

1993 ◽

pp. 50-64

Author(s):

Jürgen Sellen

Keyword(s):

Topological Structure ◽

Configuration Spaces

Download Full-text

Gentzen-style characterizations of Negation as Failure

Artificial Intelligence and Symbolic Mathematical Computing - Lecture Notes in Computer Science ◽

10.1007/3-540-57322-4_17 ◽

1993 ◽

pp. 237-261

Author(s):

Jan A. Plaza

Keyword(s):

Negation As Failure

Download Full-text

A desk-top sequent calculus machine

Artificial Intelligence and Symbolic Mathematical Computing - Lecture Notes in Computer Science ◽

10.1007/3-540-57322-4_16 ◽

1993 ◽

pp. 224-236 ◽

Author(s):

G. Cioni ◽

A. Colagrossi ◽

A. Miola

Keyword(s):

Sequent Calculus

Download Full-text

Completion and invariant theory in symbolic computation and artificial intelligence

Artificial Intelligence and Symbolic Mathematical Computing - Lecture Notes in Computer Science ◽

10.1007/3-540-57322-4_12 ◽

1993 ◽

pp. 178-187

Author(s):

Eugen E. Ardeleanu

Keyword(s):

Artificial Intelligence ◽

Symbolic Computation ◽

Invariant Theory

Download Full-text

Heuristic search strategies for Cylindrical Algebraic Decomposition

Artificial Intelligence and Symbolic Mathematical Computing - Lecture Notes in Computer Science ◽

10.1007/3-540-57322-4_10 ◽

1993 ◽

pp. 152-165

Author(s):

Hoon Hong

Keyword(s):

Heuristic Search ◽

Search Strategies ◽

Cylindrical Algebraic Decomposition

Download Full-text

A cooperative approach to query processing: Integrating historical, structural, and behavioral knowledge sources

Artificial Intelligence and Symbolic Mathematical Computing - Lecture Notes in Computer Science ◽

10.1007/3-540-57322-4_15 ◽

1993 ◽

pp. 214-223

Author(s):

Larry Kerschberg ◽

Anthony Waisanen

Keyword(s):

Query Processing ◽

Knowledge Sources ◽

Cooperative Approach

Download Full-text

Gröbner bases: Strategies and applications

Artificial Intelligence and Symbolic Mathematical Computing - Lecture Notes in Computer Science ◽

10.1007/3-540-57322-4_9 ◽

1993 ◽

pp. 133-151 ◽

Author(s):

Eric Monfroy

Keyword(s):

Gröbner Bases ◽

Download Full-text

Qualitative mathematical modelling of genetic algorithms

Artificial Intelligence and Symbolic Mathematical Computing - Lecture Notes in Computer Science ◽

10.1007/3-540-57322-4_21 ◽

1993 ◽

pp. 294-305

Author(s):

R. Garigliano ◽

D. J. Nettleton

Keyword(s):

Genetic Algorithms ◽

Mathematical Modelling

Download Full-text