↓ Skip to main content
What is this page? Embed badge

Logics in Artificial Intelligence

Overview of attention for book
Cover of 'Logics in Artificial Intelligence'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Generative Datalog and Answer Set Programming – Extended Abstract
  3. Altmetric Badge
    Chapter 2 Optimal Repairs in the Description Logic $$\mathcal{E}\mathcal{L}$$ E L Revisited
  4. Altmetric Badge
    Chapter 3 Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond
  5. Altmetric Badge
    Chapter 4 Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation
  6. Altmetric Badge
    Chapter 5 Logic, Accountability and Design: Extended Abstract
  7. Altmetric Badge
    Chapter 6 Contrastive Explanations for Answer-Set Programs
  8. Altmetric Badge
    Chapter 7 Short Boolean Formulas as Explanations in Practice
  9. Altmetric Badge
    Chapter 8 A New Class of Explanations for Classifiers with Non-binary Features
  10. Altmetric Badge
    Chapter 9 Stable Normative Explanations: From Argumentation to Deontic Logic
  11. Altmetric Badge
    Chapter 10 Declarative Reasoning on Explanations Using Constraint Logic Programming
  12. Altmetric Badge
    Chapter 11 On the Expressive Power of Assumption-Based Argumentation
  13. Altmetric Badge
    Chapter 12 Weak Argumentation Semantics and Unsafe Odd Cycles: Results and a Conjecture
  14. Altmetric Badge
    Chapter 13 Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis
  15. Altmetric Badge
    Chapter 14 Reasoning in Assumption-Based Argumentation Using Tree-Decompositions
  16. Altmetric Badge
    Chapter 15 A Principle-Based Analysis of Bipolar Argumentation Semantics
  17. Altmetric Badge
    Chapter 16 Comparing Planning Domain Models Using Answer Set Programming
  18. Altmetric Badge
    Chapter 17 Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes
  19. Altmetric Badge
    Chapter 18 On Heuer’s Procedure for Verifying Strong Equivalence
  20. Altmetric Badge
    Chapter 19 Hamiltonian Cycle Reconfiguration with Answer Set Programming
  21. Altmetric Badge
    Chapter 20 Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming
  22. Altmetric Badge
    Chapter 21 Beyond $$\mathcal {ALC}_{\textsf {reg}}$$ ALC reg : Exploring Non-Regular Extensions of PDL with Description Logics Features
  23. Altmetric Badge
    Chapter 22 Non-Normal Modal Description Logics
  24. Altmetric Badge
    Chapter 23 First Steps Towards Taming Description Logics with Strings
  25. Altmetric Badge
    Chapter 24 Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver
  26. Altmetric Badge
    Chapter 25 Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite Ontologies
  27. Altmetric Badge
    Chapter 26 Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
  28. Altmetric Badge
    Chapter 27 Concept Combination in Weighted DL
  29. Altmetric Badge
    Chapter 28 How Easy it is to Know How: An Upper Bound for the Satisfiability Problem
  30. Altmetric Badge
    Chapter 29 Non-standard Modalities in Paraconsistent Gödel Logic
  31. Altmetric Badge
    Chapter 30 Base-Based Model Checking for Multi-agent only Believing
  32. Altmetric Badge
    Chapter 31 Belief Reconfiguration
  33. Altmetric Badge
    Chapter 32 Splitting Techniques for Conditional Belief Bases in the Context of c-Representations
  34. Altmetric Badge
    Chapter 33 Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases
  35. Altmetric Badge
    Chapter 34 Deontic Equilibrium Logic with eXplicit Negation
  36. Altmetric Badge
    Chapter 35 Categorical Approximation Fixpoint Theory
  37. Altmetric Badge
    Chapter 36 Deciding Subsumption in Defeasible $$\mathcal {ELI}_\bot $$ ELI ⊥ with Typicality Models
  38. Altmetric Badge
    Chapter 37 Truth and Preferences - A Game Approach for Qualitative Choice Logic
  39. Altmetric Badge
    Chapter 38 Rational Closure Extension in SPO-Representable Inductive Inference Operators
  40. Altmetric Badge
    Chapter 39 delphic : Practical DEL Planning via Possibilities
  41. Altmetric Badge
    Chapter 40 Enhancing Temporal Planning by Sequential Macro-Actions
  42. Altmetric Badge
    Chapter 41 Planning with Partial Observability by SAT
  43. Altmetric Badge
    Chapter 42 Optimal Planning with Expressive Action Languages as Constraint Optimization
  44. Altmetric Badge
    Chapter 43 Plan Selection Framework for Policy-Aware Autonomous Agents
  45. Altmetric Badge
    Chapter 44 Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals
  46. Altmetric Badge
    Chapter 45 Logics with Probabilistic Team Semantics and the Boolean Negation
  47. Altmetric Badge
    Chapter 46 Formalizing Statistical Causality via Modal Logic
  48. Altmetric Badge
    Chapter 47 Boosting Definability Bipartition Computation Using SAT Witnesses
  49. Altmetric Badge
    Chapter 48 Hybrid Modal Operators for Definite Descriptions
  50. Altmetric Badge
    Chapter 49 Data Graphs with Incomplete Information (and a Way to Complete Them)
  51. Altmetric Badge
    Chapter 50 Computing MUS-Based Inconsistency Measures
  52. Altmetric Badge
    Chapter 51 Towards Systematic Treatment of Partial Functions in Knowledge Representation
  53. Altmetric Badge
    Chapter 52 Deterministic Weighted Automata Under Partial Observability
  54. Altmetric Badge
    Chapter 53 Past-Present Temporal Programs over Finite Traces
  55. Altmetric Badge
    Chapter 54 Robust Alternating-Time Temporal Logic
  56. Altmetric Badge
    Chapter 55 The Universal Tangle for Spatial Reasoning
Attention for Chapter 19: Hamiltonian Cycle Reconfiguration with Answer Set Programming
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
1 Dimensions
Summary X Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Hamiltonian Cycle Reconfiguration with Answer Set Programming
Chapter number 19
Book title
Logics in Artificial Intelligence
Published by
Springer, Cham, January 2023
DOI 10.1007/978-3-031-43619-2_19
Book ISBNs
978-3-03-143618-5, 978-3-03-143619-2
Authors

Hirate, Takahiro, Banbara, Mutsunori, Inoue, Katsumi, Lu, Xiao-Nan, Nabeshima, Hidetomo, Schaub, Torsten, Soh, Takehide, Tamura, Naoyuki

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.