Modal Logic S5 Satisfiability in Answer Set Programming

Modal logic S5 has attracted significant attention and has led to several practical applications, owing to its simplified approach to dealing with nesting modal operators. Efficient implementations for evaluating satisfiability of S5 formulas commonly rely on Skolemisation to convert them into propo...

Celý popis

Podrobná bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 21; číslo 5; s. 527 - 542
Hlavní autoři:	ALVIANO, MARIO, BATSAKIS, SOTIRIS, BARYANNIS, GEORGE
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.09.2021
Témata:	Declarative programming Logic Logic programming Mathematical programming Nesting Operators Original Article Semantics Syntax S5 modal logic Answer Set Programming Kripke semantics
ISSN:	1471-0684, 1475-3081
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!