Sign in

PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse.

Diego FigueiraSantiago FigueiraEdwin Pin Baque
Published in: LICS (2023)
Keyphrases
  • propositional dynamic logic
  • deontic logic
  • dynamic logic
  • artificial intelligence
  • learning algorithm
  • genetic algorithm
  • multimedia
  • clustering algorithm
  • multiscale
  • expert systems
  • efficient implementation