Results 301 to 310 of about 430,787 (365)

Annotated Evidential Linear-time Temporal Logic

open access: yesProcedia Computer Science
Yotaro Nakayama   +2 more
openaire   +1 more source

Defeasible linear temporal logic

open access: yesJournal of Applied Non-Classical Logics, 2023
After the seminal work of Kraus, Lehmann and Magidor (formally known as the KLM approach) on conditionals and preferential models, many aspects of defeasibility in more complex formalisms have been studied in recent years.
Anasse Chafik   +3 more
semanticscholar   +4 more sources

Home - About - Disclaimer - Privacy