Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Giuseppina Monterosso

dblp:202/5506 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2025
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 2 · 2 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021Theory of computation · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
2 papers
Knowledge representation and reasoning · 100%
Databases, data mining, and information retrieval
1 paper
Data models and query languages · 100%
Theoretical computer science
1 paper
Computational complexity · 100%

Topics — the 4 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning
argumentation
0.912025
Grounding Rule-Based Argumentation Using Datalog · KR 2025
Data models and query languages
datalog
0.912025
Grounding Rule-Based Argumentation Using Datalog · KR 2025
Knowledge, reasoning and agents › Knowledge representation and reasoning › argumentation
abstract argumentation
0.812024
Quantitative Reasoning over Incomplete Abstract Argumentation Frameworks · IJCAI 2024
Knowledge, reasoning and agents › Knowledge representation and reasoning › logic-based reasoning
first-order logic
0.312025
Grounding Rule-Based Argumentation Using Datalog · KR 2025

Methods — techniques the papers use, named apart from their topics

grounding · 1.7datalog engine · 1.7incomplete argumentation frameworks · 1.5
YearPublicationVenuePosition
2025 Grounding Rule-Based Argumentation Using Datalog
abstract
ASPIC+ is one of the main general frameworks for rule-based argumentation for AI. Although first-order rules are commonly used in ASPIC+ examples, most existing approaches to reason over rule-based argumentation only support propositional rules. To enable reasoning over first-order instances, a preliminary grounding step is required. As groundings can lead to an exponential increase in the size of the input theories, intelligent procedures are needed. However, there is a lack of dedicated solutions for ASPIC+. Therefore, we propose an intelligent grounding procedure that keeps the size of the grounding manageable while preserving the correctness of the reasoning process. To this end, we translate the first-order ASPIC+ instance into a Datalog program and query a Datalog engine to obtain ground substitutions to perform the grounding of rules and contraries. Additionally, we propose simplifications specific to the ASPIC+ formalism to avoid grounding of rules that have no influence on the reasoning process. Finally, we performed an empirical evaluation of a prototypical implementation to show scalability.
Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach
KR4
2024 Quantitative Reasoning over Incomplete Abstract Argumentation Frameworks
Bettina Fazzinga, Sergio Flesca, Filippo Furfaro, Giuseppina Monterosso
IJCAI4