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

Agents and Artificial Intelligence

Overview of attention for book
Cover of 'Agents and Artificial Intelligence'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Unified Comparative Study of Heuristic Algorithms for Double Combinatorial Auctions: Locality-Constrained Resource Allocation Problems
  3. Altmetric Badge
    Chapter 2 An Approach for Detecting and Resolving Indirect Normative Conflicts in Multi-agent Systems
  4. Altmetric Badge
    Chapter 3 Comparative Quantitative Evaluation of Distributed Methods for Explanation Generation and Validation of Floor Plan Recommendations
  5. Altmetric Badge
    Chapter 4 Population Dynamics Necessary to Avert Unpopular Norms
  6. Altmetric Badge
    Chapter 5 Modelling and Simulating Extreme Opinion Diffusion
  7. Altmetric Badge
    Chapter 6 Learning from Monte Carlo Rollouts with Opponent Models for Playing Tron
  8. Altmetric Badge
    Chapter 7 Conditional Uncertainty in Constraint Networks
  9. Altmetric Badge
    Chapter 8 Safe Deep Reinforcement Learning Hybrid Electric Vehicle Energy Management
  10. Altmetric Badge
    Chapter 9 Planning Under Uncertainty Through Goal-Driven Action Selection
  11. Altmetric Badge
    Chapter 10 Personalized Sentiment Analysis and a Framework with Attention-Based Hawkes Process Model
  12. Altmetric Badge
    Chapter 11 Using Generic Ontologies to Infer the Geographic Focus of Text
  13. Altmetric Badge
    Chapter 12 Smart Device Stealing and CANDIES
  14. Altmetric Badge
    Chapter 13 Integrated Route, Charging and Activity Planning for Whole Day Mobility with Electric Vehicles
  15. Altmetric Badge
    Chapter 14 Scalable Collaborative Filtering Based on Splitting-Merging Clustering Algorithm
  16. Altmetric Badge
    Chapter 15 Foundations of Inconsistency-Tolerant Model Checking: Logics, Translations, and Examples
  17. Altmetric Badge
    Chapter 16 Inherited Properties of $$\mathcal {FL}_0$$ Concept Similarity Measure Under Preference Profile
  18. Altmetric Badge
    Chapter 17 SEMTec: Social Emotion Mining Techniques for Analysis and Prediction of Facebook Post Reactions
  19. Altmetric Badge
    Chapter 18 Gamma-Star Canonical Forms in the Type-Theory of Acyclic Algorithms
  20. Altmetric Badge
    Chapter 19 The Application of Keirsey’s Temperament Model to Twitter Data in Portuguese
  21. Altmetric Badge
    Chapter 20 A Constraint Solving Web Service for a Handwritten Japanese Historical Kana Reprint Support System
  22. Altmetric Badge
    Chapter 21 Parameterized Mapping Distances for Semi-Structured Data
  23. Altmetric Badge
    Chapter 22 Aspectual Classifications: Use of Raters’ Associations and Co-occurrences of Verbs for Aspectual Classification in German
  24. Altmetric Badge
    Chapter 23 Linguistic Information in Word Embeddings
Attention for Chapter 15: Foundations of Inconsistency-Tolerant Model Checking: Logics, Translations, and Examples
Altmetric Badge
Summary
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
Foundations of Inconsistency-Tolerant Model Checking: Logics, Translations, and Examples
Chapter number 15
Book title
Agents and Artificial Intelligence
Published by
Springer, Cham, January 2018
DOI 10.1007/978-3-030-05453-3_15
Book ISBNs
978-3-03-005452-6, 978-3-03-005453-3
Authors

Norihiro Kamide, Kazuki Endo, Kamide, Norihiro, Endo, Kazuki

View on publisher site

This page is provided by Altmetric.