Logics in Artificial Intelligence: 17th European Conference
- Length: 472 pages
- Edition: 1
- Language: English
- Publisher: Springer
- Publication Date: 2021-05-07
- ISBN-10: 3030757749
- ISBN-13: 9783030757748
- Sales Rank: #0 (See Top 100 Books)
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).
Cover Front Matter Argumentation 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– Belief Revision Conditional Descriptor Revision and Its Modelling by a CSP Trust Is All You Need: From Belief Revision to Information Revision Reasoning about Actions, Causality, and Change Computing Defeasible Meta-logic Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies An Epistemic Logic for Multi-agent Systems with Budget and Costs Epistemic Reasoning About Rationality and Bids in Auctions Constraint Satisfaction Tractable Combinations of Theories via Sampling Analyzing Unit Read-Once Refutations in Difference Constraint Systems Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques Description Logics and Ontological Reasoning 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 Non-classical Logics 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 Logic Programming and Answer Set Programming 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 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 Back Matter
Donate to keep this site alive
1. Disable the AdBlock plugin. Otherwise, you may not get any links.
2. Solve the CAPTCHA.
3. Click download link.
4. Lead to download server to download.