Login / Signup

A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning.

Alfredo BurriezaEmilio Muñoz-VelascoManuel Ojeda-Aciego
Published in: IBERAMIA (2008)
Keyphrases
  • propositional dynamic logic
  • order of magnitude reasoning
  • qualitative reasoning
  • dynamic logic
  • reasoning about actions
  • data mining
  • machine learning
  • belief revision
  • conceptual design