Stricture
发表于 2025-3-25 07:15:21
Fabio Gadducci,Francesco Santinientwickelt...Die Arbeit wurde mit dem 2. Platz in der Kategorie “BVM/VMÖ-Nachwuchsforscher des Jahres 2009 der Deutschen Marktforschung ausgezeichnet..978-3-8349-1492-7978-3-8349-9480-6Series ISSN 2628-2062 Series E-ISSN 2628-2070
河潭
发表于 2025-3-25 11:03:59
http://reply.papertrans.cn/59/5882/588183/588183_22.png
Constitution
发表于 2025-3-25 12:23:32
http://reply.papertrans.cn/59/5882/588183/588183_23.png
Expediency
发表于 2025-3-25 16:07:15
http://reply.papertrans.cn/59/5882/588183/588183_24.png
Urea508
发表于 2025-3-25 23:28:40
https://doi.org/10.1007/978-3-030-75775-5artificial intelligence; logic; intelligent agents; argumentation; belief revision; reasoning about actio
LUDE
发表于 2025-3-26 02:03:23
http://reply.papertrans.cn/59/5882/588183/588183_26.png
博识
发表于 2025-3-26 08:15:04
http://reply.papertrans.cn/59/5882/588183/588183_27.png
软弱
发表于 2025-3-26 10:19:01
Computing Defeasible Meta-logica we just alluded to has been investigated, but not from a computational viewpoint. Our aim is to fill this gap by introducing a variant of DL, Defeasible Meta-Logic, to represent defeasible meta-theories, by proposing efficient algorithms to compute the (meta-)extensions of such theories, and by proving their computational complexity.
Affection
发表于 2025-3-26 15:48:34
http://reply.papertrans.cn/59/5882/588183/588183_29.png
MERIT
发表于 2025-3-26 18:47:15
Tractable Combinations of Theories via Samplingtion problem for the union of two theories with disjoint relational signatures. To this end, we introduce the concept of sampling for theories and show that samplings can be applied to examples which are not covered by the seminal result of Nelson and Oppen.