00847nam0-22002771i-450-99000048005040332120100401130825.0000048005FED01000048005(Aleph)000048005FED0100004800520020821d1972----km-y0itay50------baengrusy-------001yyComputational mathematicsworked examples and problems with elements of theoryN. V. Kopchenova, I. A. MaronMoscowMir editon1972395 p.ill.23 cmKopchenova,Nataliia Vasilevna339972Maron,Isaak A.335081ITUNINARICAUNIMARCBK99000048005040332110 B II 25211390DINELDINELComputational mathematics332426UNINA05351nam 22007455 450 991048376540332120251225173449.03-030-75775-710.1007/978-3-030-75775-5(CKB)5470000000556813(DE-He213)978-3-030-75775-5(MiAaPQ)EBC6613117(Au-PeEL)EBL6613117(OCoLC)1251447293(PPN)255881444(EXLCZ)99547000000055681320210506d2021 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierLogics in Artificial Intelligence 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings /edited by Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak1st ed. 2021.Cham :Springer International Publishing :Imprint: Springer,2021.1 online resource (XIII, 459 p. 60 illus., 36 illus. in color.) Lecture Notes in Artificial Intelligence,2945-9141 ;12678Includes index.3-030-75774-9 Graph-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.This 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).Lecture Notes in Artificial Intelligence,2945-9141 ;12678Artificial intelligenceApplication softwareComputers, Special purposeComputer scienceMachine theoryComputer programmingArtificial IntelligenceComputer and Information Systems ApplicationsSpecial Purpose and Application-Based SystemsComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheoryProgramming TechniquesArtificial intelligence.Application software.Computers, Special purpose.Computer science.Machine theory.Computer programming.Artificial Intelligence.Computer and Information Systems Applications.Special Purpose and Application-Based Systems.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.Programming Techniques.006.3Faber WolfgangMiAaPQMiAaPQMiAaPQBOOK9910483765403321Logics in Artificial Intelligence772596UNINA