Machine-checked Verification of Cognitive Agents.

Alexander Birch Jensen

Published in: ICAART (1) (2022)

Keyphrases

cognitive agents
multi agent systems
mental states
multi agent
model checking
defeasible logic
artificial intelligence
neural network
data mining
fuzzy logic
software engineering
dynamic environments
theorem prover
complex domains
open systems