MPG.eBooks - Search Results - (( computer systems implementation ) OR ( computer system implementation ))

1

Published 1996

Springer Berlin Heidelberg

Table of Contents: “... for nonmonotonic modal logics -- Design and implementation of diagnostic strategies using modal logic -- A modal...”

2

Published 1998

Springer Berlin Heidelberg

Table of Contents: “... logic -- A system for abductive learning of logic programs -- Refining action theories through abductive...”

3

Published 1997

Springer Berlin Heidelberg

Table of Contents: “... computation of the well-founded model -- Computation of non-ground disjunctive well-founded semantics...”

4

by Alferes, Jose Julio, Moniz Pereira, Luis
Published 1996

Springer Berlin Heidelberg

Subjects: “...Computer System Implementation...”