Agency and the Logic of Ability.

Published in: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications (1997)

Keyphrases

classical logic
logic programming
machine learning
artificial neural networks
multi valued
databases
real world
automated reasoning
formal theory
asynchronous circuits