Logic Programming and Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

57

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer-Verlag

354055727x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Free logic and infinite constraint networks

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0013048 ◽

2005 ◽

pp. 54-65

Author(s):

James Bowen ◽

Dennis Bahler

Keyword(s):

Constraint Networks

Download Full-text

On deductive planning and the frame problem

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0013045 ◽

2005 ◽

pp. 13-29 ◽

Author(s):

Steffen Hölldobler

Keyword(s):

Frame Problem ◽

Deductive Planning ◽

The Frame Problem

Download Full-text

ISAR: An interactive system for algebraic implementation proofs

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0013084 ◽

2005 ◽

pp. 451-453 ◽

Author(s):

Bernhard Bauer ◽

Rolf Hennicker

Keyword(s):

Interactive System

Download Full-text

ElipSys A parallel programming system based on logic

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0013090 ◽

2005 ◽

pp. 469-471 ◽

Author(s):

Michel Dorochevsky ◽

Liang-Liang Li ◽

Mike Reeve ◽

Kees Schuerman ◽

André Véron

Keyword(s):

Parallel Programming ◽

Programming System

Download Full-text

FRIENDLY-WAM: An interactive tool to understand the compilation of PROLOG

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0013096 ◽

2005 ◽

pp. 487-489

Author(s):

Julio García Martín ◽

Juan José Moreno-Navarro

Keyword(s):

Interactive Tool

Download Full-text

MIZ-PR: A theorem prover for polymorphic and recursive functions

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0013094 ◽

2005 ◽

pp. 481-483

Author(s):

Javier Leach ◽

Susana Nieva

Keyword(s):

Theorem Prover ◽

Recursive Functions

Download Full-text

Application of automated deduction to the search for single axioms for exponent groups

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0013055 ◽

2005 ◽

pp. 131-136 ◽

Author(s):

William McCune ◽

Larry Wos

Keyword(s):

Automated Deduction ◽

Download Full-text

Controlling redundancy in large search spaces: Argonne-style theorem proving through the years

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0013052 ◽

2005 ◽

pp. 96-106 ◽

Author(s):

Ewing L. Lusk

Keyword(s):

Theorem Proving ◽

Download Full-text

Infinite, canonical string rewriting systems generated by completion

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0013081 ◽

2005 ◽

pp. 433-444

Author(s):

Andrea Sattler-Klein

Keyword(s):

Rewriting Systems ◽

String Rewriting

Download Full-text

A procedure for automatic proof nets construction

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0013047 ◽

2005 ◽

pp. 42-53 ◽

Author(s):

Didier Galmiche ◽

Guy Perrier

Keyword(s):

Download Full-text