000 03385nam a22005055i 4500
001 978-3-540-48451-6
003 DE-He213
005 20160624102034.0
007 cr nn 008mamaa
008 121227s1994 gw | s |||| 0|eng d
020 _a9783540484516
_9978-3-540-48451-6
024 7 _a10.1007/3-540-58095-6
_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 _aKnowledge Representation and Reasoning Under Uncertainty
_h[electronic resource] :
_bLogic at Work /
_cedited by Michael Masuch, László Pólos.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1994.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1994.
300 _aX, 242 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 ;
_v808
505 0 _aThe role of expectations in reasoning -- On logics of approximate reasoning -- Gentzen sequent calculus for possibilistic reasoning -- A model of inductive reasoning -- Automated reasoning with uncertainties -- An axiomatic approach to systems of prior distributions in inexact reasoning -- Contradiction removal semantics with explicit negation -- Logic programming for non-monotonic reasoning -- Agent oriented programming: An overview of the framework and summary of recent research -- An application of temporal logic for representation and reasoning about design -- Knowledge theoretic properties of topological spaces -- Rough logic for multi-agent systems -- A logical approach to multi-sources reasoning -- Situation theory and social structure.
520 _aThis volume is based on the International Conference Logic at Work, held in Amsterdam, The Netherlands, in December 1992. The 14 papers in this volume are selected from 86 submissions and 8 invited contributions and are all devoted to knowledge representation and reasoning under uncertainty, which are core issues of formal artificial intelligence. Nowadays, logic is not any longer mainly associated to mathematical and philosophical problems. The term applied logic has a far wider meaning, as numerous applications of logical methods, particularly in computer science, artificial intelligence, or formal linguistics, testify. As demonstrated also in this volume, a variety of non-standard logics gained increased importance for knowledge representation and reasoning under uncertainty.
650 0 _aComputer science.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aMathematical Logic and Formal Languages.
700 1 _aMasuch, Michael.
_eeditor.
700 1 _aPólos, László.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540580959
786 _dSpringer
830 0 _aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
_x0302-9743 ;
_v808
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-58095-6
942 _2EBK6479
_cEBK
999 _c35773
_d35773