يعرض 1 - 10 نتائج من 212 نتيجة بحث عن '"Alviano, Mario"', وقت الاستعلام: 0.86s تنقيح النتائج
  1. 1
    تقرير
    Explanations for Answer Set Programming

    المؤلفون: Alviano, Mario, Trieu, Ly Ly, Son, Tran Cao, Balduccini, Marcello

    المصدر: EPTCS 385, 2023, pp. 27-40

    مصطلحات موضوعية: Computer Science - Artificial Intelligence

    URL الوصول: http://arxiv.org/abs/2308.15879

    أضف إلى المفضلة
  2. 2
    تقرير
    Rethinking Answer Set Programming Templates

    المؤلفون: Alviano, Mario, Ianni, Giovambattista, Pacenza, Francesco, Zangari, Jessica

    مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Computer Science - Software Engineering, D.1.6, D.2.2, D.2.3, D.2.5, D.2.13, I.2.4, I.2.5

    URL الوصول: http://arxiv.org/abs/2307.06382

    أضف إلى المفضلة
  3. 3
    تقرير
    A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality

    المؤلفون: Alviano, Mario, Bartoli, Francesco, Botta, Marco, Esposito, Roberto, Giordano, Laura, Dupré, Daniele Theseider

    مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Computer Science - Neural and Evolutionary Computing, I.2.4

    URL الوصول: http://arxiv.org/abs/2305.00304

    أضف إلى المفضلة
  4. 4
    تقرير
    Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality

    المؤلفون: Alviano, Mario, Giordano, Laura, Dupré, Daniele Theseider

    مصطلحات موضوعية: Computer Science - Artificial Intelligence, 68T27, I.2.4

    URL الوصول: http://arxiv.org/abs/2303.04534

    أضف إلى المفضلة
  5. 5
    تقرير
    Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation

    المؤلفون: Alviano, Mario, Giordano, Laura, Dupré, Daniele Theseider

    مصطلحات موضوعية: Computer Science - Artificial Intelligence, I.2.4

    URL الوصول: http://arxiv.org/abs/2212.07523

    أضف إلى المفضلة
  6. 6
    تقرير
    Generative Datalog with Stable Negation

    المؤلفون: Alviano, Mario, Lanzinger, Matthias, Morak, Michael, Pieris, Andreas

    مصطلحات موضوعية: Computer Science - Databases

    URL الوصول: http://arxiv.org/abs/2206.12247

    أضف إلى المفضلة
  7. 7
    تقرير
    ValAsp: a tool for data validation in Answer Set Programming

    المؤلفون: Alviano, Mario, Dodaro, Carmine, Zamayla, Arnel

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence

    URL الوصول: http://arxiv.org/abs/2202.09626

    أضف إلى المفضلة
  8. 8
    تقرير
    Aggregate Semantics for Propositional Answer Set Programs

    المؤلفون: Alviano, Mario, Faber, Wolfgang, Gebser, Martin

    مصطلحات موضوعية: Computer Science - Artificial Intelligence, 68T30, I.2.4

    URL الوصول: http://arxiv.org/abs/2109.08662

    أضف إلى المفضلة
  9. 9
    تقرير
    The pyglaf argumentation reasoner (ICCMA2021)

    المؤلفون: Alviano, Mario

    مصطلحات موضوعية: Computer Science - Artificial Intelligence, 68T30, I.2.4

    URL الوصول: http://arxiv.org/abs/2109.03162

    أضف إلى المفضلة
  10. 10
    تقرير
    Modal Logic S5 Satisfiability in Answer Set Programming

    المؤلفون: Alviano, Mario, Batsakis, Sotiris, Baryannis, George

    المصدر: Theory and Practice of Logic Programming 21 (2021) 527-542

    مصطلحات موضوعية: Computer Science - Artificial Intelligence

    URL الوصول: http://arxiv.org/abs/2108.04194

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء