Defeasible linear temporal logic.

Anasse Chafik Fahima Cheikh Alili Jean-François Condotta Ivan Varzinczak

Published in: J. Appl. Non Class. Logics (2023)

Keyphrases

domain specific
linear temporal logic
temporal logic
defeasible logic
model checking
bounded model checking
general purpose
deontic logic
default logic
probability distribution
belief revision
classical planning
legal reasoning