Login / Signup
Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship.
Tiziano Dalmonte
Charles Grellois
Nicola Olivetti
Published in:
J. Log. Comput. (2024)
Keyphrases
</>
proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
multi agent systems
inference rules
theorem prover
machine learning
nonmonotonic reasoning
learning algorithm
expert systems
expressive power
belief revision