Login / Signup

Building a responsibility model using modal logic - towards Accountability, Aapability and Commitment concepts.

Christophe FeltusMichaël Petit
Published in: AICCSA (2009)
Keyphrases
  • modal logic
  • mathematical model
  • computational model
  • high level
  • prior knowledge
  • statistical model
  • experimental data
  • probabilistic model
  • case based reasoning
  • fixed point
  • temporal logic