Verification of Multiple Agent Knowledge-Based Systems

International Journal of Intelligent Systems - United States
doi 10.1002/1098-111x(200103)16:3<361::aid-int1012>3.0.co;2-h
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Wiley

Related search

Verification of Agent-Based Artifact Systems

Journal of Artificial Intelligence Research
Artificial Intelligence
2014English

Validation and Verification of Knowledge-Based Systems: Report on EUROVAV99

Knowledge Engineering Review
Artificial IntelligenceSoftware
2000English

The VERIFICATION OF TEMPORAL KNOWLEDGE BASED SYSTEMS - A Case-Study on Power-Systems

2007English

A User Agent for Multiple Computer-Based Message Systems.

English

Towards a Meta-Modeling and Verification Approach of Multi-Agent Systems Based on the Agent Petri Net Formalism

International Journal of Information Technology and Computer Science
2019English

Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Hybrid Agent Based Virtual Organization for Studying Knowledge Evolution in Social Systems

Artificial Intelligence Research
2012English

Evaluating Adversarial Attacks Against Multiple Fact Verification Systems

2019English

Knowledge-Based Systems

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy