Suggested Topics within your search.
Showing 1 - 9 results of 9 for search '"reason"', query time: 0.02s Refine Results
  1. 1
    Data-Driven Fault Detection and Reasoning for Industrial Monitoring
    by Wang, Jing
    Published 2022
    Subjects: “…Fault reasoning…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  2. 2
    Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
    Published 2021
    Subjects: “…model-based reasoning…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  3. 3
    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
    Published 2021
    Subjects: “… Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  4. 4
    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
    Published 2020
    Subjects: “…Automated and Formal Reasoning…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  5. 5
    Expert Systems
    Published 2010
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  6. 6
    Practical Applications of Agent-Based Technology
    Published 2012
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  7. 7
    Intelligent Systems
    Published 2012
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  8. 8
    Swarm Robotics : from Biology to Robotics
    Published 2010
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  9. 9
    Knowledge Graphs and Big Data Processing
    Published 2020
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search