Resolution Methods for the Decision Problem [electronic resource] / edited by C. Fermüller, A. Leitsch, T. Tammet, N. Zamov.

Contributor(s): Fermüller, C [editor.] | Leitsch, A [editor.] | Tammet, T [editor.] | Zamov, N [editor.] | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 679Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Description: XII, 236 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540476382Subject(s): Computer science | Artificial intelligence | Logic, Symbolic and mathematical | Computer Science | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Formal Languages | Mathematical Logic and FoundationsAdditional physical formats: Printed edition:: No titleDDC classification: 006.3 LOC classification: Q334-342TJ210.2-211.495Online resources: Click here to access online
Contents:
Terminology -- Semantic clash resolution as decision procedure -- Completeness of ordering refinements -- Semantic tree based resolution variants -- Deciding the class K by an ordering refinement -- A resolution based method for building finite models -- Applications.
In: Springer eBooksSummary: This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia), and Vienna (Austria). The authors met several times to discuss and exchange their results and finally decided to write this monograph together. Besides a unified treatment of previously published results there are many new results first presented in this volume. The monograph opens with an introduction and a chapter on terminology, followed by chapters on: - Semantic clash resolution as decision procedure, - Completeness of ordering refinements, - Semantic tree based resolution variants, - Deciding the class K by an ordering refinement, - A resolution based method for building finite models. A final chapter on applications completes the volume.
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified URL Status Date due Barcode
IMSc Library
IMSc Library
Link to resource Available EBK6138

Terminology -- Semantic clash resolution as decision procedure -- Completeness of ordering refinements -- Semantic tree based resolution variants -- Deciding the class K by an ordering refinement -- A resolution based method for building finite models -- Applications.

This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia), and Vienna (Austria). The authors met several times to discuss and exchange their results and finally decided to write this monograph together. Besides a unified treatment of previously published results there are many new results first presented in this volume. The monograph opens with an introduction and a chapter on terminology, followed by chapters on: - Semantic clash resolution as decision procedure, - Completeness of ordering refinements, - Semantic tree based resolution variants, - Deciding the class K by an ordering refinement, - A resolution based method for building finite models. A final chapter on applications completes the volume.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha