Converse-PDL with regular inclusion axioms: a framework for MAS logics.

Barbara Dunin-Keplicz Linh Anh Nguyen Andrzej Szalas

Published in: J. Appl. Non Class. Logics (2011)

Keyphrases

main contribution
genetic algorithm
cooperative
multi agent
conceptual framework
propositional dynamic logic
data mining
social networks
knowledge base
multi agent systems
multiagent systems
expressive power
default logic
cognitive agents