001436606 000__ 05535cam\a2200685\a\4500
001436606 001__ 1436606
001436606 003__ OCoLC
001436606 005__ 20230309004103.0
001436606 006__ m\\\\\o\\d\\\\\\\\
001436606 007__ cr\un\nnnunnun
001436606 008__ 210515s2021\\\\sz\\\\\\o\\\\\101\0\eng\d
001436606 019__ $$a1251510161$$a1252050748
001436606 020__ $$a9783030757755$$q(electronic bk.)
001436606 020__ $$a3030757757$$q(electronic bk.)
001436606 020__ $$z9783030757748$$q(print)
001436606 020__ $$z3030757749$$q(print)
001436606 0247_ $$a10.1007/978-3-030-75775-5$$2doi
001436606 035__ $$aSP(OCoLC)1251447293
001436606 040__ $$aEBLCP$$beng$$epn$$cEBLCP$$dGW5XE$$dYDX$$dOCLCO$$dEBLCP$$dOCLCF$$dOCLCO$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001436606 049__ $$aISEA
001436606 050_4 $$aQ334
001436606 08204 $$a006.3$$223
001436606 1112_ $$aJELIA (Conference)$$n(17th :$$d2021 :$$cOnline)
001436606 24510 $$aLogics in artificial intelligence :$$b17th European Conference, JELIA 2021, Virtual event, May 17-20, 2021, Proceedings /$$cWolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak (eds.).
001436606 2463_ $$aJELIA 2021
001436606 260__ $$aCham, Switzerland :$$bSpringer,$$c2021.
001436606 300__ $$a1 online resource (462 pages)
001436606 336__ $$atext$$btxt$$2rdacontent
001436606 337__ $$acomputer$$bc$$2rdamedia
001436606 338__ $$aonline resource$$bcr$$2rdacarrier
001436606 4901_ $$aLecture notes in computer science ;$$v12678
001436606 4901_ $$aLNCS sublibrary, SL 7, Artificial intelligence
001436606 4901_ $$aLecture notes in artificial intelligence
001436606 500__ $$aIncludes author index.
001436606 5050_ $$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.
001436606 506__ $$aAccess limited to authorized users.
001436606 520__ $$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).
001436606 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed May 19, 2021).
001436606 650_0 $$aArtificial intelligence$$vCongresses.
001436606 650_0 $$aLogic, Symbolic and mathematical$$vCongresses.
001436606 650_6 $$aIntelligence artificielle$$vCongrès.
001436606 650_6 $$aLogique symbolique et mathématique$$vCongrès.
001436606 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001436606 655_7 $$aConference papers and proceedings.$$2lcgft
001436606 655_7 $$aActes de congrès.$$2rvmgf
001436606 655_0 $$aElectronic books.
001436606 7001_ $$aFaber, Wolfgang,$$d1974-
001436606 7001_ $$aFriedrich, Gerhard,$$d1961-
001436606 7001_ $$aGebser, Martin.
001436606 7001_ $$aMorak, Michael.
001436606 77608 $$iPrint version:$$aFaber, Wolfgang.$$tLogics in Artificial Intelligence.$$dCham : Springer International Publishing AG, ©2021$$z9783030757748
001436606 830_0 $$aLecture notes in computer science ;$$v12678.
001436606 830_0 $$aLNCS sublibrary.$$nSL 7,$$pArtificial intelligence.
001436606 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.
001436606 852__ $$bebk
001436606 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-75775-5$$zOnline Access$$91397441.1
001436606 909CO $$ooai:library.usi.edu:1436606$$pGLOBAL_SET
001436606 980__ $$aBIB
001436606 980__ $$aEBOOK
001436606 982__ $$aEbook
001436606 983__ $$aOnline
001436606 994__ $$a92$$bISE