Titlebook: Logics in Artificial Intelligence; 18th European Confer Sarah Gaggl,Maria Vanina Martinez,Magdalena Ortiz Conference proceedings 2023 The E

泄露

Irrigate

先行

Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysisf the attack relation, our algorithms perform significantly better than the existing approaches. The algorithms can be modified to compute other types of extensions, in particular, preferred extensions.

Insufficient

0302-9743 nstraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming)..978-3-031-43618-5978-3-031-43619-2Series ISSN 0302-9743 Series E-ISSN 1611-3349

accomplishment

glisten

nenbildung. Genauer gesagt geht es darum, herauszufinden, wie der heterogene Phänomenbereich Lernkultur überhaupt erfasst werden kann. Wenn in weiterer Folge der Entwurf eines Modells einer kohärenzorientierten Lernkultur daran anschließen soll, muss zudem auf die intendierte Zielperspektive (z.B. W

嫌恶

Mario Alvianoe herausdifferenziert, die erst im nachfolgenden Zeitraum kondensieren: Das 21. Jahrhundert ist geprägt von tiefgreifenden gesellschaftlichen, wirtschaftlichen und politischen Veränderungen und Umbrüchen. Modernisierungs-, Wandlungsund Veränderungsprozesse finden sich auf allen Ebenen der Gesellscha

灵敏

Pedro Cabalar,David Pearcewichtsbeziehungen in Modelle zu übertragen, die eine adäquate Erfassung des realen Geschehens im Zeitablauf ermöglichen. Schon früh wurden zu diesem Zweck verschiedene Möglichkeiten dynamischer Spezifikation entwickelt. Hierzu gehören Modelle mit Autokorrelationsbereinigung, verteilte Verzögerungen

表主动

Thomas Eiter,Tobias Geibinger,Johannes Oetschwichtsbeziehungen in Modelle zu übertragen, die eine adäquate Erfassung des realen Geschehens im Zeitablauf ermöglichen. Schon früh wurden zu diesem Zweck verschiedene Möglichkeiten dynamischer Spezifikation entwickelt. Hierzu gehören Modelle mit Autokorrelationsbereinigung, verteilte Verzögerungen

Host142