Lecture Notes in Computer Science - Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Latest Publications

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540438656, 9783540454700

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Inductive Synthesis of Functional Programs

Lecture Notes in Computer Science - Artificial Intelligence, Automated Reasoning, and Symbolic Computation ◽

10.1007/3-540-45470-5_6 ◽

2002 ◽

pp. 26-37

Author(s):

Emanuel Kitzelmann ◽

Ute Schmid ◽

Martin Mühlpfordt ◽

Fritz Wysotzki

Keyword(s):

Inductive Synthesis

Download Full-text

Multicontext Logic for Semigroups of Contexts

Lecture Notes in Computer Science - Artificial Intelligence, Automated Reasoning, and Symbolic Computation ◽

10.1007/3-540-45470-5_11 ◽

2002 ◽

pp. 90-101 ◽

Author(s):

Rolf Nossum ◽

Luciano Serafini

Download Full-text

Integration of Quantifier Elimination with Constraint Logic Programming

Lecture Notes in Computer Science - Artificial Intelligence, Automated Reasoning, and Symbolic Computation ◽

10.1007/3-540-45470-5_4 ◽

2002 ◽

pp. 7-11

Author(s):

Thomas Sturm

Keyword(s):

Logic Programming ◽

Quantifier Elimination ◽

Constraint Logic Programming

Download Full-text

Combining Generic and Domain Specific Reasoning by Using Contexts

Lecture Notes in Computer Science - Artificial Intelligence, Automated Reasoning, and Symbolic Computation ◽

10.1007/3-540-45470-5_27 ◽

2002 ◽

pp. 305-318

Author(s):

Silvio Ranise

Keyword(s):

Domain Specific

Download Full-text

From Numerical to Symbolic Data during the Recognition of Scenarii

Lecture Notes in Computer Science - Artificial Intelligence, Automated Reasoning, and Symbolic Computation ◽

10.1007/3-540-45470-5_16 ◽

2002 ◽

pp. 154-167 ◽

Author(s):

S. Loriette-Rougegrez

Keyword(s):

Download Full-text

Non-commutative Logic for Hand-Written Character Modeling

Lecture Notes in Computer Science - Artificial Intelligence, Automated Reasoning, and Symbolic Computation ◽

10.1007/3-540-45470-5_15 ◽

2002 ◽

pp. 136-153

Author(s):

Jacqueline Castaing

Download Full-text

A Novel Face Recognition Method

Lecture Notes in Computer Science - Artificial Intelligence, Automated Reasoning, and Symbolic Computation ◽

10.1007/3-540-45470-5_14 ◽

2002 ◽

pp. 128-135 ◽

Author(s):

Li Bai ◽

Yihui Liu

Keyword(s):

Face Recognition ◽

Recognition Method

Download Full-text

Expression Inference — Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation

Lecture Notes in Computer Science - Artificial Intelligence, Automated Reasoning, and Symbolic Computation ◽

10.1007/3-540-45470-5_13 ◽

2002 ◽

pp. 117-127 ◽

Author(s):

Andrew Hunter

Keyword(s):

Linear Coefficient ◽

Download Full-text

Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms

Lecture Notes in Computer Science - Artificial Intelligence, Automated Reasoning, and Symbolic Computation ◽

10.1007/3-540-45470-5_26 ◽

2002 ◽

pp. 290-304 ◽

Author(s):

Temur Kutsia

Download Full-text

Yacas: A Do-It-Yourself Symbolic Algebra Environment

Lecture Notes in Computer Science - Artificial Intelligence, Automated Reasoning, and Symbolic Computation ◽

10.1007/3-540-45470-5_29 ◽

2002 ◽

pp. 332-336 ◽

Author(s):

Ayal Z. Pinkus ◽

Serge Winitzki

Keyword(s):

Symbolic Algebra ◽

Download Full-text