Antecedent
发表于 2025-3-23 09:50:19
Conditional Epistemic Planningve a language of conditional plans. Translating this language to standard DEL gives verification of both strong and weak plans via model checking. In addition to plan verification, we provide a tableau-inspired algorithm for synthesising plans, and show this algorithm to be terminating, sound and complete.
GRIPE
发表于 2025-3-23 16:35:32
The Complexity of One-Agent Refinement Modal Logicatisfiability, the latter being a well-known .-complete problem. More precisely, we establish that .-satisfiability is complete for the complexity class ., i.e., the class of problems solvable by alternating Turing machines running in single exponential time but only with a polynomial number of alternations (note that .⊆ .⊆ .).
Fantasy
发表于 2025-3-23 19:11:58
http://reply.papertrans.cn/59/5882/588182/588182_13.png
BARB
发表于 2025-3-23 23:46:21
http://reply.papertrans.cn/59/5882/588182/588182_14.png
LVAD360
发表于 2025-3-24 05:12:53
Conflict-Tolerant Semantics for Argumentation Frameworkso-one relationship between extensions and labelings of conflict-free semantics is carried on to a similar correspondence between the extended approaches for providing conflict-tolerant semantics. Thus, in our setting as well, these are essentially two points of views for the same thing.
anthropologist
发表于 2025-3-24 08:57:35
Generalized DEL-Sequents and show that these inference problems are NEXPTIME-complete. We extend our results to the cases where the accessibility relation is serial and reflexive and illustrate them with the coordinated attack problem.
EWER
发表于 2025-3-24 11:25:20
Three-Valued Logics for Incomplete Information and Epistemic Logicf modal depth 1, with modalities in front of literals), preserving all tautologies and inference rules. We study in particular, the translation of Kleene, Gödel, Łukasiewicz and Nelson logics. This work enables us to lay bare the limited expressive power of three-valued logics in uncertainty management.
Extort
发表于 2025-3-24 16:09:23
http://reply.papertrans.cn/59/5882/588182/588182_18.png
Foolproof
发表于 2025-3-24 20:20:28
http://reply.papertrans.cn/59/5882/588182/588182_19.png
concise
发表于 2025-3-25 01:06:18
978-3-642-33352-1Springer-Verlag Berlin Heidelberg 2012