Cantitate/Preț
Produs
Total produse
Vezi coșul
Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings de Wolfgang Faber

Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings: Lecture Notes in Computer Science, cartea 12678

Editat de Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak
en Limba Engleză Paperback – 7 mai 2021
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).
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 58738 lei

Preț vechi: 73422 lei
-20% Nou

Puncte Express: 881
Preț estimativ în valută:
11245€ • 11564$ • 9329£

Carte tipărită la comandă

Livrare economică 19 februarie-05 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783030757748
ISBN-10: 3030757749
Pagini: 459
Ilustrații: XIII, 459 p. 60 illus., 36 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.66 kg
Ediția:1st ed. 2021
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Cham, Switzerland

Cuprins

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.