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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540617327, 9783540707400

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Solving geometrical constraint systems using CLP based on linear constraint solver

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

10.1007/3-540-61732-9_63 ◽

1996 ◽

pp. 274-288 ◽

Cited By ~ 4

Author(s):

Denis Bouhineau

Keyword(s):

Linear Constraint ◽

Geometrical Constraint ◽

Constraint Solver ◽

Constraint Systems

Download Full-text

Combining local consistency, symbolic rewriting and interval methods

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

10.1007/3-540-61732-9_55 ◽

1996 ◽

pp. 144-159 ◽

Cited By ~ 9

Author(s):

Frédéric Benhamou ◽

Laurent Granvilliers

Keyword(s):

Interval Methods ◽

Local Consistency

Download Full-text

Compromised updates in labelled databases

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

10.1007/3-540-61732-9_50 ◽

1996 ◽

pp. 49-70 ◽

Cited By ~ 1

Author(s):

Fátima C. C. Dargam

Download Full-text

Symbolic computation and teaching

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

10.1007/3-540-61732-9_47 ◽

1996 ◽

pp. 1-20

Author(s):

Dana S. Scott

Keyword(s):

Symbolic Computation

Download Full-text

Programming by demonstration: A machine learning approach to support skill acquision for robots

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

10.1007/3-540-61732-9_52 ◽

1996 ◽

pp. 87-108 ◽

Cited By ~ 2

Author(s):

R. Dillmann ◽

H. Friedrich

Keyword(s):

Machine Learning ◽

Learning Approach ◽

Programming By Demonstration ◽

Machine Learning Approach

Download Full-text

Soundness and completeness versus lifting property

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

10.1007/3-540-61732-9_68 ◽

1996 ◽

pp. 354-364

Author(s):

Jan A. Plaza

Keyword(s):

Soundness And Completeness

Download Full-text

Towards a sheaf semantics for cooperating agents scenarios

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

10.1007/3-540-61732-9_64 ◽

1996 ◽

pp. 289-304 ◽

Cited By ~ 2

Author(s):

Viorica Sofronie

Keyword(s):

Cooperating Agents

Download Full-text

Interactive Theorem Proving and finite projective planes

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

10.1007/3-540-61732-9_61 ◽

1996 ◽

pp. 240-257 ◽

Cited By ~ 1

Author(s):

Johannes Ueberberg

Keyword(s):

Theorem Proving ◽

Interactive Theorem Proving ◽

Projective Planes ◽

Finite Projective Planes

Download Full-text

On theorem-proving in Horn theories with built-in algebras

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

10.1007/3-540-61732-9_66 ◽

1996 ◽

pp. 320-338 ◽

Cited By ~ 1

Author(s):

Nirina Andrianarivelo ◽

Wadoud Bousdira ◽

Jean -Marc Talbot

Keyword(s):

Theorem Proving ◽

Horn Theories

Download Full-text

Towards modelling the topology of homogeneous manifolds by means of symbolic computation

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

10.1007/3-540-61732-9_62 ◽

1996 ◽

pp. 258-273

Author(s):

Michael Joswig

Keyword(s):

Symbolic Computation ◽

Homogeneous Manifolds

Download Full-text

Artificial Intelligence and Symbolic Mathematical Computation - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Solving geometrical constraint systems using CLP based on linear constraint solver

Combining local consistency, symbolic rewriting and interval methods

Compromised updates in labelled databases

Symbolic computation and teaching

Programming by demonstration: A machine learning approach to support skill acquision for robots

Soundness and completeness versus lifting property

Towards a sheaf semantics for cooperating agents scenarios

Interactive Theorem Proving and finite projective planes

On theorem-proving in Horn theories with built-in algebras

Towards modelling the topology of homogeneous manifolds by means of symbolic computation

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