LEADER 04582nam 22006855 450 001 996466193903316 005 20200701054639.0 010 $a3-540-40006-0 024 7 $a10.1007/3-540-40006-0 035 $a(CKB)3400000000100293 035 $a(SSID)ssj0000324544 035 $a(PQKBManifestationID)11240642 035 $a(PQKBTitleCode)TC0000324544 035 $a(PQKBWorkID)10305885 035 $a(PQKB)11256723 035 $a(DE-He213)978-3-540-40006-6 035 $a(MiAaPQ)EBC3072634 035 $a(PPN)15520887X 035 $a(EXLCZ)993400000000100293 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogics in Artificial Intelligence$b[electronic resource] $eEuropean Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings /$fedited by Manuel Ojeda-Aciego, Inma P. de Guzman, Gerhard Brewka, Luis M. Pereira 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (XII, 412 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1919 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-41131-3 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Talks -- ?On Being Informed?: Update Logics for Knowledge States -- Considerations on Updates of Logic Programs -- The Approach: Integrating Object Oriented Design and Formal Verification -- Semi-qualitative Reasoning about Distances: A Preliminary Report -- Regular Contributions -- Hybrid Probabilistic Logic Programs as Residuated Logic Programs -- Topo-distance: Measuring the Difference between Spatial Patterns -- An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus -- Capturing Stationary and Regular Extensions with Reiter?s Extensions -- Representing the Process Semantics in the Event Calculus -- Declarative Formalization of Strategies for Action Selection: Applications to Planning -- An Algorithmic Approach to Recover Inconsistent Knowledge-Bases -- Acceptance Without Minimality -- Reduction Theorems for Boolean Formulas Using ?-Trees -- Simultaneous Rigid Sorted Unification -- Partially Adaptive Code Trees -- On Dialogue Systems with Speech Acts, Arguments, and Counterarguments -- Credulous and Sceptical Argument Games for Preferred Semantics -- A General Approach to Multi-agent Minimal Knowledge -- A Modal Logic for Network Topologies -- Avoiding Logical Omniscience by Using Subjective Situations -- Multi-agent Logic -- New Tractable Cases in Default Reasoning from Conditional Knowledge Bases -- Monodic Epistemic Predicate Logic -- Updates plus Preferences -- A Framework for Belief Update -- A Compilation of Brewka and Eiter?s Approach to Prioritization -- A Logic for Modeling Decision Making with Dynamic Preferences. 410 0$aLecture Notes in Artificial Intelligence ;$v1919 606 $aArtificial intelligence 606 $aProgramming languages (Electronic computers) 606 $aMathematical logic 606 $aComputer programming 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 615 0$aArtificial intelligence. 615 0$aProgramming languages (Electronic computers). 615 0$aMathematical logic. 615 0$aComputer programming. 615 14$aArtificial Intelligence. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Techniques. 676 $a006.3 702 $aOjeda-Aciego$b Manuel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGuzman$b Inma P. de$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBrewka$b Gerhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPereira$b Luis M$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466193903316 996 $aLogics in Artificial Intelligence$9772596 997 $aUNISA