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

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540649601, 9783540498162

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Finite model search for equational theories (FMSET)

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

10.1007/bfb0055904 ◽

1998 ◽

pp. 84-93

Author(s):

Belaid Benhamou ◽

Laurent Henocque

Keyword(s):

Finite Model ◽

Equational Theories ◽

Download Full-text

From integrated reasoning specialists to “plug-and-play≓ reasoning components

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

10.1007/bfb0055901 ◽

1998 ◽

pp. 42-54 ◽

Author(s):

Alessandro Armando ◽

Silvio Ranise

Keyword(s):

Download Full-text

Non-clausal reasoning with propositional definite theories

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

10.1007/bfb0055921 ◽

1998 ◽

pp. 296-307 ◽

Author(s):

Zbigniew Stachniak

Download Full-text

ALLTYPES: An algebraic language and TYPE system

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

10.1007/bfb0055919 ◽

1998 ◽

pp. 270-283

Author(s):

Fritz Schwarz

Keyword(s):

Type System ◽

Algebraic Language

Download Full-text

Optimising propositional modal satisfiability for description logic subsumption

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

10.1007/bfb0055916 ◽

1998 ◽

pp. 234-246 ◽

Author(s):

Ian Horrocks ◽

Peter F. Patel-Schneider

Keyword(s):

Description Logic

Download Full-text

Reasoning about coding theory: The benefits we get from computer algebra

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

10.1007/bfb0055902 ◽

1998 ◽

pp. 55-66

Author(s):

Clemens Ballarin ◽

Lawrence C. Paulson

Keyword(s):

Computer Algebra ◽

Download Full-text

COLETTE, prototyping CSP solvers using a rule-based language

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

10.1007/bfb0055906 ◽

1998 ◽

pp. 107-119 ◽

Author(s):

Carlos Castro

Keyword(s):

Download Full-text

SoleX: A domain-independent scheme for constraint solver extension

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

10.1007/bfb0055915 ◽

1998 ◽

pp. 222-233 ◽

Author(s):

Eric Monfroy ◽

Christophe Ringeissen

Keyword(s):

Constraint Solver ◽

Domain Independent

Download Full-text

Representing and reasoning with context

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

10.1007/bfb0055900 ◽

1998 ◽

pp. 29-41 ◽

Author(s):

Richmond H. Thomason

Download Full-text

Automatic generation of epsilon-delta proofs of continuity

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

10.1007/bfb0055903 ◽

1998 ◽

pp. 67-83 ◽

Author(s):

Michael Beeson

Keyword(s):

Automatic Generation

Download Full-text