000			04849nam a22006015i 4500
001			978-3-540-87803-2
003			DE-He213
005			20240423125728.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.
650		0	_aCompilers (Computer programs).
650		0	_aComputer programming.
650		0	_aMachine theory.
650	1	4	_aArtificial Intelligence.
650	2	4	_aCompilers and Interpreters.
650	2	4	_aProgramming Techniques.
650	2	4	_aFormal Languages and Automata Theory.
700	1		_aHölldobler, Steffen. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aLutz, Carsten. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aWansing, Heinrich. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
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
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			_cSPRINGER
999			_c181099 _d181099