Model Checking Ontology‐driven Reasoning Agents Using Strategy and Abstraction

Concurrency Computation Practice and Experience- United Kingdom

doi 10.1002/cpe.5205

Full Text

Abstract

Available in

Date

Authors

Publisher

Wiley

Related search

Ontology Transformation and Reasoning for Model-Driven Architecture

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Strategy Learning for Reasoning Agents

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Property-Driven Fence Insertion Using Reorder Bounded Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Probabilistic Model Checking and Non-Standard Multi-Objective Reasoning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Ontology Based Semantics Checking for UML Activity Model

Information Technology Journal
2012English

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

International Journal of Foundations of Computer Science
Computer Science
2003English

OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models

Journal of Applied Mathematics
Applied Mathematics
2013English

Model Checking Logics for Communicating Sequential Agents

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy