Search

Your search keyword '"Berthold, Matti"' showing total 16 results
Start Over "Berthold, Matti"

Refine your results

more »

16 results on '"Berthold, Matti"'

1. On Forgetting in Assumption-Based Argumentation

Author

Berthold, Matti, Ulbricht, Markus, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Dodaro, Carmine, editor, Gupta, Gopal, editor, and Martinez, Maria Vanina, editor

Published
2025
Full Text
View/download PDF

2. On the Expressive Power of Assumption-Based Argumentation

Author

Berthold, Matti, Rapberger, Anna, Ulbricht, Markus, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Gaggl, Sarah, editor, Martinez, Maria Vanina, editor, and Ortiz, Magdalena, editor

Published
2023
Full Text
View/download PDF

3. A Syntactic Operator for Forgetting that Satisfies Strong Persistence

Author

Berthold, Matti, Gonçalves, Ricardo, Knorr, Matthias, and Leite, João

Subjects
Computer Science - Artificial Intelligence
Abstract

Whereas the operation of forgetting has recently seen a considerable amount of attention in the context of Answer Set Programming (ASP), most of it has focused on theoretical aspects, leaving the practical issues largely untouched. Recent studies include results about what sets of properties operators should satisfy, as well as the abstract characterization of several operators and their theoretical limits. However, no concrete operators have been investigated. In this paper, we address this issue by presenting the first concrete operator that satisfies strong persistence - a property that seems to best capture the essence of forgetting in the context of ASP - whenever this is possible, and many other important properties. The operator is syntactic, limiting the computation of the forgetting result to manipulating the rules in which the atoms to be forgotten occur, naturally yielding a forgetting result that is close to the original program. This paper is under consideration for acceptance in TPLP., Comment: Paper presented at the 35th International Conference on Logic Programming (ICLP 2019), Las Cruces, New Mexico, USA, 20-25 September 2019, 16 pages

Published
2019
Full Text
View/download PDF

4. Forgetting in Answer Set Programming with Anonymous Cycles

Author

Berthold, Matti, Gonçalves, Ricardo, Knorr, Matthias, Leite, João, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Moura Oliveira, Paulo, editor, Novais, Paulo, editor, and Reis, Luís Paulo, editor

Published
2019
Full Text
View/download PDF

8. Accessible Algorithms for Applied Argumentation

Author

Odekerken, Daphne, Borg, AnneMarie, Berthold, Matti, Odekerken, Daphne, Borg, AnneMarie, and Berthold, Matti

Abstract

Computational argumentation is a promising research area, yet there is a gap between theoretical contributions and practical applications. Bridging this gap could potentially raise interest in this topic even more. We argue that one part of the bridge could be an open-source package of implementations of argumentation algorithms, visualised in a web interface. Therefore we present a new release of PyArg, providing various new argumentation-based functionalities – including multiple generators, a learning environment, implementations of theoretical papers and a showcase of a practical application – in a new interface with improved accessibility.

Published
2023

9. ForgettingWeb

Author

Berthold, Matti, Knorr, Matthias, Odekerken, Daphne, Berthold, Matti, Knorr, Matthias, and Odekerken, Daphne

Abstract

The relatively young area of forgetting is concerned with the removal of selective information, while preserving other knowledge. This might be useful or even necessary, for example, to simplify a knowledge base or to tend legal requests. In the last few years, there has been an ample amount of research in the field, in particular with respect to logic programs, spanning from theoretical considerations to more practical applications, starting at the conceptual proposal of forgetting, to suggestions of properties that should be satisfied, followed by characterizations of abstract classes of operators that satisfy these properties, and finally the definition of concrete forgetting procedures. In this work we present novel Python implementations of all the forgetting procedures that have been proposed to date on logic programs. We provide them in a web interface, and hope to thereby give anybody who is interested a low-barrier overview of the landscape.

Published
2023

10. ForgettingWeb

Author

Sub Intelligent Systems, Intelligent Systems, Berthold, Matti, Knorr, Matthias, Odekerken, Daphne, Sub Intelligent Systems, Intelligent Systems, Berthold, Matti, Knorr, Matthias, and Odekerken, Daphne

Published
2023

11. Accessible Algorithms for Applied Argumentation

Author

Sub Intelligent Systems, Intelligent Systems, Odekerken, Daphne, Borg, AnneMarie, Berthold, Matti, Sub Intelligent Systems, Intelligent Systems, Odekerken, Daphne, Borg, AnneMarie, and Berthold, Matti

Published
2023

14. Logic Programming and Nonmonotonic Reasoning : 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings

Author

Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez, Carmine Dodaro, Gopal Gupta, and Maria Vanina Martinez

Subjects
Artificial intelligence, Computer programming, Compilers (Computer programs), Information technology—Management
Abstract

This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2024, held in Dallas, TX, USA, during October 11-14, 2024. The 27 full papers and 3 short papers included in this book were carefully reviewed and selected from 48 submissions. They deal with declarative logic programming, non-monotonic reasoning, and knowledge representation, focusing on the design and implementation of logic-based programming languages and database systems.

Published
2024

15. Logics in Artificial Intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings

Author

Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, Sarah Gaggl, Maria Vanina Martinez, and Magdalena Ortiz

Subjects
Artificial intelligence, Application software, Computers, Special purpose, Computer science, Machine theory, Computer programming
Abstract

This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023.The 41 full papers and 11 short papers included in this volume were carefully reviewed and selected from 111 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).

Published
2023

16. Progress in Artificial Intelligence : 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part II

Author

Paulo Moura Oliveira, Paulo Novais, Luís Paulo Reis, Paulo Moura Oliveira, Paulo Novais, and Luís Paulo Reis

Subjects
Artificial intelligence, Algorithms, Computers, Special purpose, Computer networks, Computer vision
Abstract

This book constitutes the refereed proceedings of the 19th EPIA Conference on Artificial Intelligence, EPIA 2019, held in Funchal, Madeira, Portugal, in September 2019. The 119 revised full papers and 6 short papers presented were carefully reviewed and selected from a total of 252 submissions. The papers are organized in 18 tracks devoted to the following topics: AIEd - Artificial Intelligence in Education, AI4G - Artificial Intelligence for Games, AIoTA - Artificial Intelligence and IoT in Agriculture, AIL - Artificial Intelligence and Law, AIM - Artificial Intelligence in Medicine, AICPDES - Artificial Intelligence in Cyber-Physical and Distributed Embedded Systems, AIPES - Artificial Intelligence in Power and Energy Systems, AITS - Artificial Intelligence in Transportation Systems, ALEA - Artificial Life and Evolutionary Algorithms, AmIA - Ambient Intelligence and Affective Environments, BAAI - Business Applications of Artificial Intelligence, GAI- General AI, IROBOT - Intelligent Robotics, KDBI - Knowledge Discovery and Business Intelligence, KRR - Knowledge Representation and Reasoning, MASTA - Multi-Agent Systems: Theory and Applications, SSM - Social Simulation and Modelling, TeMA - Text Mining and Applications.

Published
2019

Catalog

Books, media, physical & digital resources
See catalog results