000 03008nam a22005535i 4500
001 978-3-540-47638-2
003 DE-He213
005 20160624102025.0
007 cr nn 008mamaa
008 121227s1993 gw | s |||| 0|eng d
020 _a9783540476382
_9978-3-540-47638-2
024 7 _a10.1007/3-540-56732-1
_2doi
050 4 _aQ334-342
050 4 _aTJ210.2-211.495
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
245 1 0 _aResolution Methods for the Decision Problem
_h[electronic resource] /
_cedited by C. Fermüller, A. Leitsch, T. Tammet, N. Zamov.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1993.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1993.
300 _aXII, 236 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
_x0302-9743 ;
_v679
505 0 _aTerminology -- 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.
520 _aThis 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.
650 0 _aComputer science.
650 0 _aArtificial intelligence.
650 0 _aLogic, Symbolic and mathematical.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aMathematical Logic and Foundations.
700 1 _aFermüller, C.
_eeditor.
700 1 _aLeitsch, A.
_eeditor.
700 1 _aTammet, T.
_eeditor.
700 1 _aZamov, N.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540567325
786 _dSpringer
830 0 _aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
_x0302-9743 ;
_v679
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-56732-1
942 _2EBK6138
_cEBK
999 _c35432
_d35432