Topics of interest

The (non-exhaustive) list of topics of interest include:

  • Adequacy conditions and criteria of choice for applied logics
  • AI planning

  • Answer set programming (ASP)

  • Argumentation frameworks

  • Automated reasoning

  • Description logics

  • Dynamic Epistemic Logics

  • Formal reasoning in light of legal and ethical requirements for AI systems

  • Logic-based reasoning in combination with Learning

  • Logics for defeasible reasoning and Non-monotonic reasoning

  • Methodologies supporting the sound design of logics for Knowledge Representation

  • Methods of logic and formal reasoning (eg argumentation theory) to support explainable AI

  • Philosophical and epistemological foundations of applied logics

  • Probabilistic representation and reasoning

  • Temporal, and Deontic logics

RapidWeaver Icon

Made in RapidWeaver