LEADER 07510nam 22008295 450 001 996199683003316 005 20200702211540.0 010 $a3-319-11558-8 024 7 $a10.1007/978-3-319-11558-0 035 $a(CKB)3710000000249771 035 $a(SSID)ssj0001354186 035 $a(PQKBManifestationID)11800178 035 $a(PQKBTitleCode)TC0001354186 035 $a(PQKBWorkID)11342262 035 $a(PQKB)10206877 035 $a(DE-He213)978-3-319-11558-0 035 $a(MiAaPQ)EBC6287821 035 $a(MiAaPQ)EBC5594942 035 $a(Au-PeEL)EBL5594942 035 $a(OCoLC)891728334 035 $a(PPN)181352036 035 $a(EXLCZ)993710000000249771 100 $a20140916d2014 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogics in Artificial Intelligence$b[electronic resource] $e14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings /$fedited by Eduardo Fermé, Joao Leite 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XVI, 704 p. 88 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v8761 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-11557-X 327 $aQuery Answering over Description Logic Ontologies -- Tools for the Investigation of Substructural and Paraconsistent Logics -- Non-classical Planning with a Classical Planner: The Power of Transformations -- Opportunities for Argument-Centric Persuasion in Behaviour Change -- The Fuzzy Description Logic G-FL0 with Greatest Fixed-Point Semantics -- Tight Complexity Bounds for Reasoning in the Description Logic BEL -- Relevant Closure: A New Form of Defeasible Reasoning for Description Logics -- Error-Tolerant Reasoning in the Description Logic EL -- Sub-propositional Fragments of the Interval Temporal Logic of Allen?s Relations -- SAT Modulo Graphs: Acyclicity -- Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations of Possibilistic Keys -- Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information -- LEG Networks for Ranking Functions -- Logics for Approximating Implication Problems of Saturated Conditional Independence -- Non-Classical Logics Finitary S5-Theories -- Efficient Program Transformers for Translating LCC to PDL -- On the Expressiveness of the Interval Logic of Allen?s Relations over Finite and Discrete Linear Orders -- Only-Knowing a la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report -- Answer-Set Programming A Complexity Assessment for Queries Involving Sufficient and Necessary Causes -- Inductive Learning of Answer Set Programs -- Stable Models of Fuzzy Propositional Formulas -- A Free Logic for Stable Models with Partial Intensional Functions -- Constructive Models for Contraction with Intransitive Plausibility Indifference -- Four Floors for the Theory of Theory Change: The Case of Imperfect Discrimination -- Revisiting Postulates for Inconsistency Measures -- A Translation-Based Approach for Revision of Argumentation Frameworks -- Dealing with Inconsistency in ASP and DL Preserving Strong Equivalence while Forgetting -- Computing Repairs for Inconsistent DL-programs over EL Ontologies -- A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases -- Modular Paracoherent Answer Sets -- Action Theories over Generalized Databases with Equality Constraints -- A Dynamic View of Active Integrity Constraints -- Similarity Orders from Causal Equations -- Verification of Context-Sensitive Knowledge and Action Bases -- System Descriptions System aspmt2smt: Computing ASPMT Theories by SMT Solvers -- A Library of Anti-unification Algorithms -- The D-FLAT System for Dynamic Programming on Tree Decompositions -- ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance -- Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search -- Short Papers -- Probabilistic Abstract Dialectical Frameworks -- Argumentative Aggregation of Individual Opinions -- Measuring Dissimilarity between Judgment Sets -- Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario -- Reasoning about Dynamic Normative Systems -- A Modal Logic of Knowledge, Belief, and Estimation -- A Logic for Belief Contraction -- Logic Foundations of the OCL Modelling Language -- Constraint-Based Algorithm for Computing Temporal Invariants -- Answer Set Solver Backdoors -- Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem -- Revisiting Reductants in the Multi-adjoint Logic Programming Framework. 330 $aThis book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. They are organized in topical sections named: description logics; automated reasoning; logics for uncertain reasoning; non-classical logics; answer-set programming; belief revision; dealing with inconsistency in ASP and DL; reason about actions and causality; system descriptions; short system descriptions; and short papers. The book also contains 4 full paper invited talks. 410 0$aLecture Notes in Artificial Intelligence ;$v8761 606 $aArtificial intelligence 606 $aMathematical logic 606 $aComputer logic 606 $aComputer programming 606 $aInformation storage and retrieval 606 $aDatabase management 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aComputer programming. 615 0$aInformation storage and retrieval. 615 0$aDatabase management. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Techniques. 615 24$aInformation Storage and Retrieval. 615 24$aDatabase Management. 676 $a006.3 702 $aFermé$b Eduardo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLeite$b Joao$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996199683003316 996 $aLogics in Artificial Intelligence$9772596 997 $aUNISA