1 option
Logics in Artificial Intelligence : 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings / edited by Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- Lecture notes in computer science. Lecture notes in artificial intelligence ; 12678
- Lecture Notes in Artificial Intelligence ; 12678
- Language:
- English
- Subjects (All):
- Artificial 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.
- Local Subjects:
- 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.
- Physical Description:
- 1 online resource (XIII, 459 pages) : 60 illustrations, 36 illustrations in color.
- Edition:
- 1st ed. 2021.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2021.
- System Details:
- text file PDF
- Summary:
- 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).
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-030-75775-5
- 9783030757755
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.