Titlebook: Logics in Artificial Intelligence; 17th European Confer Wolfgang Faber,Gerhard Friedrich,Michael Morak Conference proceedings 2021 Springer

Stricture

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

河潭

Constitution

Expediency

Urea508

https://doi.org/10.1007/978-3-030-75775-5artificial intelligence; logic; intelligent agents; argumentation; belief revision; reasoning about actio

LUDE

博識(shí)

軟弱

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

MERIT

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.