LEADER 05351nam 22007455 450 001 9910483765403321 005 20251225173449.0 010 $a3-030-75775-7 024 7 $a10.1007/978-3-030-75775-5 035 $a(CKB)5470000000556813 035 $a(DE-He213)978-3-030-75775-5 035 $a(MiAaPQ)EBC6613117 035 $a(Au-PeEL)EBL6613117 035 $a(OCoLC)1251447293 035 $a(PPN)255881444 035 $a(EXLCZ)995470000000556813 100 $a20210506d2021 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogics in Artificial Intelligence $e17th European Conference, JELIA 2021, Virtual Event, May 17?20, 2021, Proceedings /$fedited by Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (XIII, 459 p. 60 illus., 36 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v12678 300 $aIncludes index. 311 08$a3-030-75774-9 327 $aGraph-Classes of Argumentation Frameworks with Collective Attacks -- Introducing a Tool for Concurrent Argumentation -- Probabilistic Argumentation: an Approach Based on Conditional Probability ? a Preliminary Report -- Conditional Descriptor Revision and its Implementation by a CSP -- Trust is All You Need: From Belief Revision to Information Revision -- Computing Defeasible Meta-Logic -- Syntax Splitting for Iterated Contractions, Ignorations, and Revisions Using Selection Strategies -- An Epistemic Logic for Multi-Agent Systems with Budget and Costs -- Epistemic Reasoning About Rationality and Bids in Auction -- Tractable Combinations of Theories via Sampling -- Analyzing Refutability of Difference Constraint Systems in Selected Refutation Systems -- Residuation for Lexicographic Orders -- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment -- An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics -- ReAD: AD-Based Modular Ontology Classification -- Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model -- A Computationally Grounded Logic of Graded Belief -- Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic Over the Reals -- An Epistemic Probabilistic Logic With Conditional Probabilities -- On Syntactic Forgetting under Uniform Equivalence -- Solving a Multi-Resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP -- Tractable Reasoning Using Logic Programs with Intensional Concepts -- Estimating Grounding Sizes of Logic Programs under Answer Set Semantics and System Predictor -- Testing in ASP: Revisited Language and Programming Environment -- An Abstract View on Optimizations in SAT and ASP -- Model Reconciliation in Logic Programs -- Lazy Stream Manipulation in Prolog via Backtracking: the Case of 2P-Kt -- Transforming Gringo Rules Into Formulas in a Natural Way -- DualGrounder: Lazy Instantiation via Clingo Multi-Shot Framework -- A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem. 330 $aThis book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The 27 full papers and 3 short papers included in this volume were carefully reviewed and selected from 68 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming). 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v12678 606 $aArtificial intelligence 606 $aApplication software 606 $aComputers, Special purpose 606 $aComputer science 606 $aMachine theory 606 $aComputer programming 606 $aArtificial Intelligence 606 $aComputer and Information Systems Applications 606 $aSpecial Purpose and Application-Based Systems 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aProgramming Techniques 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aComputers, Special purpose. 615 0$aComputer science. 615 0$aMachine theory. 615 0$aComputer programming. 615 14$aArtificial Intelligence. 615 24$aComputer and Information Systems Applications. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aProgramming Techniques. 676 $a006.3 702 $aFaber$b Wolfgang 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483765403321 996 $aLogics in Artificial Intelligence$9772596 997 $aUNINA