Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A One-Pass Tree-Shaped Tableau for Defeasible LTL - MaRDI portal

A One-Pass Tree-Shaped Tableau for Defeasible LTL

From MaRDI portal

Publication:6080283

Jump to:navigation, search

DOI10.4230/LIPICS.TIME.2021.16OpenAlexW3204581979MaRDI QIDQ6080283

Jean-François Condotta, Unnamed Author, Unnamed Author, Ivan Varzinczak

Publication date: 2 October 2023

Full work available at URL: https://hal.science/hal-03699248

zbMATH Keywords

temporal logic non-monotonic reasoning tableau calculi

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

Defeasible linear temporal logic

This page was built for publication: A One-Pass Tree-Shaped Tableau for Defeasible LTL

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6080283&oldid=35516488"