C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
How Formal Logic Can Fail to Be Useful for Modelling or Designing MAS.
Bruce Edmonds
Published in:
RASTA (2002)
Keyphrases
</>
formal logic
predicate logic
multi agent systems
formal methods
multiagent systems
multi agent
description logics
artificial intelligence
logic programming
data mining
low level
data model
knowledge based systems
design process
integrity constraints