000 04937nam a22006015i 4500
001 978-3-540-87803-2
003 DE-He213
005 20240730185007.0
007 cr nn 008mamaa
008 100301s2008 gw | s |||| 0|eng d
020 _a9783540878032
_9978-3-540-87803-2
024 7 _a10.1007/978-3-540-87803-2
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aLogics in Artificial Intelligence
_h[electronic resource] :
_b11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
_cedited by Steffen Hölldobler, Carsten Lutz, Heinrich Wansing.
250 _a1st ed. 2008.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2008.
300 _aXI, 429 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 Artificial Intelligence,
_x2945-9141 ;
_v5293
505 0 _aInvited Talks -- Justification Logic -- Voting in Combinatorial Domains: What Logic and AI Have to Say -- Regular Papers -- Strongly Equivalent Temporal Logic Programs -- Consistency Preservation and Crazy Formulas in BMS -- Propositional Clausal Defeasible Logic -- Complexity and Succinctness Issues for Linear-Time Hybrid Logics -- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders -- Normal Form Nested Programs -- A Logic for Closed-World Interaction -- Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints -- Recovering Consistency by Forgetting Inconsistency -- On the Credal Structure of Consistent Probabilities -- A Fluent Calculus Semantics for ADL with Plan Constraints -- Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks -- Query Answering in the Description Logic Horn- -- Accommodative Belief Revision -- Reasoning about Typicality in Preferential Description Logics -- Counting Complexity of Minimal Cardinality and Minimal Weight Abduction -- Uniform Interpolation by Resolution in Modal Logic -- GOAL Agents Instantiate Intention Logic -- Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials -- Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness -- Confluence Operators -- A Game-Theoretic Measure of Argument Strength for Abstract Argumentation -- A Tableau for RoBCTL -- A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in w.r.t. Hybrid TBoxes -- Extending Carin to the Description Logics of the Family -- How to Restore Compactness into Probabilistic Logics? -- Combining Modes of Reasoning: An Application of Abstract Argumentation -- Cheap Boolean Role Constructors for Description Logics -- Improved Second-Order Quantifier Elimination in Modal Logic -- Literal Projection for First-Order Logic -- Meta Level Reasoning and Default Reasoning -- Rule Calculus: Semantics, Axioms and Applications.
520 _aThis book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.
650 0 _aArtificial intelligence.
_93407
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer programming.
_94169
650 0 _aMachine theory.
_9137514
650 1 4 _aArtificial Intelligence.
_93407
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aProgramming Techniques.
_9137515
650 2 4 _aFormal Languages and Automata Theory.
_9137516
700 1 _aHölldobler, Steffen.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9137517
700 1 _aLutz, Carsten.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9137518
700 1 _aWansing, Heinrich.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9137519
710 2 _aSpringerLink (Online service)
_9137520
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540878025
776 0 8 _iPrinted edition:
_z9783540879060
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v5293
_9137521
856 4 0 _uhttps://doi.org/10.1007/978-3-540-87803-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c92595
_d92595