جسجتو در بین میلیونها کتاب

دانلود نامحدود

دانلود نامحدود

ساعات پشتیبانی تلفنی

پشتیبانی از ساعت 7 تا 23

ضمانت بازگشت وجه

ضمانت بازگشت وجه

دانلود کتاب Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings (Lecture Notes in Artificial Intelligence)

برنامه نویسی منطقی و استدلال غیر یکنواخت: شانزدهمین کنفرانس بین المللی، LPNMR 2022، جنوا، ایتالیا، 5 تا 9 سپتامبر 2022، مجموعه مقالات (یادداشت های سخنرانی در هوش مصنوعی)
عنوان فارسی

برنامه نویسی منطقی و استدلال غیر یکنواخت: شانزدهمین کنفرانس بین المللی، LPNMR 2022، جنوا، ایتالیا، 5 تا 9 سپتامبر 2022، مجموعه مقالات (یادداشت های سخنرانی در هوش مصنوعی)

عنوان اصلیLogic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings (Lecture Notes in Artificial Intelligence)
ناشرSpringer
نویسندهGeorg Gottlob (editor), Daniela Inclezan (editor), Marco Maratea (editor)
ISBN 3031157060, 9783031157066
سال نشر2022
زبانEnglish
تعداد صفحات537
فرمت کتابpdf - قابل تبدیل به سایر فرمت ها
حجم فایل13 مگابایت

وضعیت : موجود

قیمت : 30,000 تومان

دانلود بلافاصله بعد از پرداخت امکان پذیر است

میانگین امتیاز:
از 6 رای

مشاهد کتاب در آمازون
توضیحات فهرست مطالب اطلاعات قبل از خربد

توضیحاتی در مورد کتاب

این کتاب مجموعه مقالات داوری شانزدهمین کنفرانس بین المللی برنامه ریزی منطقی و استدلال غیر یکنواخت، LPNMR 2022، برگزار شده در جنوا، ایتالیا، در سپتامبر 2022 است.

34 مقاله کامل و 5 مقاله کوتاه موجود در این کتاب به دقت بررسی و از بین 57 مورد ارسالی انتخاب شد. آنها در بخش های موضوعی به شرح زیر سازماندهی شدند: مشارکت های فنی. سیستم ها؛ برنامه‌ها.

گزاره‌های آماری در برنامه‌نویسی منطق احتمالی» و «محاسبه کارآمد مجموعه‌های پاسخ از طریق غیرحضوری مدول SAT و حذف راس» تحت مجوز Creative Commons Attribution 4.0 بین‌المللی از طریق link.springer.com دسترسی آزاد دارند.< br>
فصل‌های «گزاره‌های آماری در برنامه‌نویسی منطق احتمالی» و «محاسبه کارآمد مجموعه‌های پاسخ از طریق غیرحضوری ماژول SAT و حذف راس» تحت مجوز Creative Commons Attribution 4.0 بین‌المللی از طریق link.springer.com در دسترس هستند.

فهرست مطالب

Preface
Organization
Abstracts of Invited Talks
DLV Evolution from Datalog to Ontology and Stream Reasoning
Reward Machines: Formal Languages and Automata for Reinforcement Learning
Logic-Based Machine Learning: Recent Advances and Their Role in Neuro-Symbolic AI
Abstract Argumentation with Focus on Argument Claims – An Overview
Contents
Technical Contributions
Syntactic ASP Forgetting with Forks
1 Introduction
2 Background
3 The Cut Operator
4 Forgetting into Forks: The Unfolding Operator
5 Conclusions
References
Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds
1 Introduction
2 Background
3 S5 Satisfiability Checking Encodings
4 Implementation in Answer Set Programming
5 Evaluation
6 Related Work
7 Conclusion
References
Enumeration of Minimal Models and MUSes in WASP
1 Introduction
2 Preliminaries
3 Enumeration of Minimal Stable Models
4 Enumeration of MUSes
5 Experiments
6 Related Work
7 Conclusions
References
Statistical Statements in Probabilistic Logic Programming
1 Introduction
2 Background
2.1 Answer Set Programming
2.2 Probabilistic Logic Programming
2.3 Credal Semantics
2.4 Probabilistic Conditionals
3 Probabilistic Answer Set Programming for Statistical Probabilities (PASTA)
4 Inference in PASTA
5 Experiments
6 Related Work
7 Conclusions
References
A Comparative Study of Three Neural-Symbolic Approaches to Inductive Logic Programming
1 Introduction
2 Studied Neural-Symbolic Algorithms for ILP
3 A Comparison Based on Four Characteristics
3.1 Representation of Data
3.2 Language Bias
3.3 Recursion
3.4 Predicate Invention
4 Open Challenges and Conclusion
References
A Definition of Sceptical Semantics in the Constellations Approach
1 Introduction
2 The Constellations Approach
3 Related Work
4 The Grounded Semantics of a PrAF
5 Further Sceptical Semantics
6 Conclusions and Future Work
References
SHACL: A Description Logic in Disguise
1 Introduction
2 The Wedge
3 SHACL, OWL, and Description Logics
4 SHACL: The Logical Perspective
5 From Graphs to Interpretations
6 Related Work and Conclusion
References
Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strategy
1 Introduction
2 Preliminaries
2.1 Multi-shot Answer Set Programming
2.2 Diverse Solutions
3 Iterative Reworking Strategies
3.1 Problem Definition and Complexity
3.2 Reworking Methods
4 Experimental Evaluation
5 Conclusion and Future Work
References
Emotional Reasoning in an Action Language for Emotion-Aware Planning
1 Introduction
2 Related Work
3 Theoretical Background
3.1 Emotion Theories: AE and HER
3.2 Action Reasoning and Transition Systems
4 Emotional Reasoning
4.1 Emotion Decision-Graph (EDG)
4.2 Action Language Specifications
4.3 Proving Safe Emotional Change
4.4 Example Scenario: Backward Reasoning
4.5 Example Scenario: Forward Reasoning
5 Discussion
6 Conclusion and Future Work
References
Metric Temporal Answer Set Programming over Timed Traces
1 Introduction
2 Metric Temporal Logic
3 Translation into Monadic Quantified Here-and-There with Difference Constraints
4 Discussion
References
Epistemic Logic Programs: A Study of Some Properties
1 Introduction
2 Answer Set Programming and Answer Set Semantics
3 Epistemic Logic Programs and Their Properties
4 Our Observations and Proposal
5 Discussion and Conclusions
A Epistemic Logic Programs: Useful Properties
References
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring
1 Introduction
2 Background
2.1 Graph Coloring Problem
2.2 Stable Model Search
2.3 Deep Neural Networks
3 Generation of Domain-Specific Heuristics in ASP
3.1 Representation of ASP Instances
3.2 Generation of the Training Set
3.3 Generation of the Deep Learning Model
3.4 Integration of the Deep Learning Model in wasp
4 Experiment
5 Related Work
6 Conclusion
References
A Qualitative Temporal Extension of Here-and-There Logic
1 Introduction
2 Preliminaries
3 Qualitative Temporal Here-and-There Logic
4 Temporal Tableau Calculus
5 Prototypical Implementation
6 Related Work and Conclusion
References
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
1 Introduction
2 Background
3 Representing ADFs as BDDs
4 Search Space Exploitation: Profiting from BDDs
5 Preliminary Experiments
6 Conclusions
References
Arguing Correctness of ASP Programs with Aggregates
1 Introduction
2 Review: Logic Programs via the Many-Sorted Approach
2.1 Syntax of Logic Programs with Aggregates
2.2 From Rules to Many-Sorted First-Order Formulas
2.3 Semantics via the SM Operator
3 Proving the Correctness of Logic Programs
3.1 The Graph Coloring Problem
3.2 The Traveling Salesman Problem
4 Conclusions and Future Work
References
Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination
1 Introduction
2 Preliminaries
3 Translating ASP into SAT Modulo Graphs/Acyclicity
3.1 Normalization
3.2 Instrumentation with Acyclicity Constraint
3.3 Program Completion Modulo Acyclicity
4 Vertex Elimination
5 Translating SAT Modulo Acyclicity into Pure SAT
6 Translating ASP into Pure SAT
7 Experimental Evaluation
8 Discussion and Conclusion
References
IASCAR: Incremental Answer Set Counting by Anytime Refinement
1 Introduction
2 Preliminaries
3 Counting Supported Models
3.1 Counting Supported Models Under Assumptions
3.2 Compressing Counting Graphs
4 Incremental Counting by Inclusion-Exclusion
5 Preliminary Empirical Evaluation
6 Conclusion and Future Work
References
Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL
1 Introduction
2 The Description Logic EL
3 Temporal Action Theories in DLTL and Temporal Answer Sets
4 Combining Temporal Action Theories with EL Ontologies
5 Ontology Axioms as State Constraints
6 Causal Laws for Repairing Inconsistencies: Sufficient Conditions
7 Conclusions and Related Work
References
Inference to the Stable Explanations
1 Introduction
2 The Logical Framework of Defeasible Logic
3 Computational Problem and Methodology
4 Complexity Results
5 Abduction and Theory Change
6 Related Work
7 Conclusions and Future Investigations
References
Semantics for Conditional Literals via the SM Operator
1 Introduction
2 Syntax of Conditional Programs
3 Semantics via the SM Operator
4 Semantics via Infinitary Propositional Logic
5 Connecting Two Semantics of Conditional Programs
6 Arguing Correctness of the K-Coloring Problem
References
State Transition in Multi-agent Epistemic Domains Using Answer Set Programming
1 Introduction
2 Preliminaries
3 State Transition Using ASP
4 Properties of the State Transition Function
5 Example Scenarios
6 Related Literature
7 Conclusion
References
Towards Provenance in Heterogeneous Knowledge Bases
1 Introduction
2 Provenance Semirings
3 Provenance Multi-context Systems
4 Grounded Equilibria
5 Conclusions
References
Computing Smallest MUSes of Quantified Boolean Formulas
1 Introduction
2 Preliminaries
3 Smallest Strong Explanations
4 On Complexity of Computing Smallest MUSes of QBFs
5 Computing Smallest MUSes via Implicit Hitting Sets
6 Empirical Evaluation
7 Conclusions
References
Pinpointing Axioms in Ontologies via ASP
1 Introduction
2 Preliminaries
3 Reasoning Through Rules
4 Axiom Pinpointing Through ASP
5 Conclusions
References
Interlinking Logic Programs and Argumentation Frameworks
1 Introduction
2 Preliminaries
3 Linking LP and AF
3.1 From AF to LP
3.2 From LP to AF
3.3 Bidirectional Framework
4 Applications
4.1 Deductive Argumentation
4.2 Argument Aggregation
4.3 Multi-context System
4.4 Constrained Argumentation Frameworks
5 Complexity
6 Concluding Remarks
References
Gradient-Based Supported Model Computation in Vector Spaces
1 Introduction
2 Background
3 Representing Logic Programs with Matrices
3.1 Relationship Between Positive Forms and Supported Models
3.2 Matrix Encoding of Logic Programs
4 Gradient Descent for Computing Supported Models
4.1 Computing the TP Operator in Vector Spaces
4.2 Loss Function for Computing Supported Models
5 Experiments
5.1 N-negative Loops
5.2 Choose 1 Out of N
5.3 Random Programs
6 Conclusion
References
Towards Causality-Based Conflict Resolution in Answer Set Programs
1 Introduction
2 Preliminaries
3 Causality-Based Conflict Resolution
3.1 Conflicts and Inconsistency
3.2 Conflict Resolution
4 Strategies for Conflict Resolution
4.1 General Satisfaction Interdependencies
4.2 Blocking Rules Using Opposing Rules
4.3 Relevant Rule Modification
5 Related Work
6 Conclusion and Future Work
References
xASP: An Explanation Generation System for Answer Set Programming
1 Introduction
2 The xASP System
2.1 Overview of xASP
2.2 Computing Derivation Paths of a
2.3 Illustrations
3 Conclusion
References
Systems
Solving Problems in the Polynomial Hierarchy with ASP(Q)
1 Introduction
2 Answer Set Programming with Quantifiers
3 The ASP(Q) Solver
4 Modeling Hard Problems with ASP(Q)
5 Experiments
5.1 Results
6 Conclusion
References
A Practical Account into Counting Dung\'s Extensions by Dynamic Programming
1 Introduction
2 Preliminaries
3 Utilizing Treewidth for AFs
4 Preliminary Empirical Evaluation
5 Conclusion and Future Work
References
Clingraph: ASP-Based Visualization
1 Introduction
2 Clingraph
3 Case Studies
4 Related Work
5 Discussion
References
A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection
1 Introduction
2 The Encoding Selection Platform esp
2.1 Encoding Rewriting
2.2 Performance Data Collection
2.3 Encoding Candidate Selection and Feature Extraction
2.4 Machine Learning Modeling and Solving
3 Experimental Analysis
4 Conclusion and Future Work
References
QMaxSATpb: A Certified MaxSAT Solver
1 Introduction
2 Preliminaries
3 QMaxSATpb
4 Implementation and Experiments
5 Conclusion
References
Applications
Knowledge-Based Support for Adhesive Selection
1 Introduction
2 Adhesive Selection and Current Tools
3 Knowledge Base Paradigm
3.1 IDP
3.2 Interactive Consultant
4 Adhesive Selector Tool
4.1 Knowledge Acquisition
4.2 Unknown Adhesive Parameters
4.3 Interface
5 Validation
6 Lessons Learned
7 Conclusions and Future Work
References
ASP for Flexible Payroll Management
1 Introduction
2 Proposed Approach
3 Single-Shot Implementation
4 Multi-shot Implementation
5 Experimental Results and Discussion
6 Conclusion
References
Analysis of Cyclic Fault Propagation via ASP
1 Introduction
2 Preliminaries
2.1 Logic and Notation
2.2 Answer Set Programming
3 Fault Propagation Graphs
3.1 SMT-Based Encoding of Fault Propagation
4 Encoding in Disjunctive ASP
4.1 Encoding Propagations
4.2 Enforcing Causality by ASP
4.3 Enforcing Causality by ASP Modulo Acyclicity
5 Minimality of the Cut Sets
6 Experimental Evaluation
6.1 Implementation and Setup
6.2 Benchmarks
6.3 Results
7 Conclusions and Future Work
References
Learning to Rank the Distinctiveness of Behaviour in Serial Offending
1 Introduction
2 Comparative Case Analysis
3 Background
4 Domain
5 Probability Ranking
5.1 Using Fisher\'s Exact Test to Decide Example Significance
5.2 Encoding a Probability Ranking Task as a LOAS Task
6 Evaluation
7 Related Work
8 Conclusion
References
Optimising Business Process Discovery Using Answer Set Programming
1 Introduction
2 Declarative Process Discovery
3 ASP Encoding and Evaluation
4 Conclusions
References
DeduDeep: An Extensible Framework for Combining Deep Learning and ASP-Based Models
1 Introduction
2 DeduDeep: Proposed Approach
3 Results and Discussion
4 Conclusions
References
Correction to: Logic Programming and Nonmonotonic Reasoning
Correction to: G. Gottlob et al. (Eds.): Logic Programming and Nonmonotonic Reasoning, LNAI 13416, https://doi.org/10.1007/978-3-031-15707-3
Author Index

نحوه دریافت کتاب

این کتاب نسخه زبان اصلی است و ترجمه فارسی نیست.بعد از تکمیل فرایند خرید می توانید کتاب را دانلود نمایید. درصورت نیاز به تغییر فرمت کتاب به پشتیبان اطلاع دهید.

ورود به حساب کاربری

نام کاربری کلمه عبور

رمز عبور را فراموش کردی؟ کلیک کن

حساب کاربری نداری؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری آدرس ایمیل شماره موبایل کلمه عبور