Sergio Greco
19 papers · 2013–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (24) π Academic Marathon Β· Half π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Gold π€ Dynamic Duo (14)
π
Keyword Champion
(8)
π§
Keyword Pioneer
π§¬
Topic Evolution
ποΈ
Keyword Collector
(70)
π₯
Unstoppable Β· Bronze
π
Conference Pioneer
π
Renaissance Researcher
(5)
π
Century Club Β· Bronze
Venues
Top co-authors
Research topics
Artificial Intelligence
(10)
Core AI
(10)
Knowledge & Reasoning
(8)
Reasoning
(8)
Machine Learning
(5)
Mathematics & Optimization
(3)
Optimization & Theory
(3)
Natural Language Processing
(2)
Applications
(2)
Core Methods
(2)
Mathematics
(2)
Representation
(2)
Computer Science
(1)
Bayesian & Probabilistic Β· Machine Learning
(1)
Bayesian & Probabilistic Β· Artificial Intelligence
(1)
Keywords
argumentation framework
(8)
abstract argumentation
(7)
argumentation semantics
(5)
computational complexity
(4)
knowledge representation
(4)
complexity analysis
(4)
epistemic logic
(2)
argument mining
(2)
formal argumentation
(2)
probabilistic argumentation
(2)
formal reasoning
(2)
semantic complexity
(2)
semantic analysis
(2)
large language model
(2)
incremental computation
(2)
first-order logic
(1)
probabilistic reasoning
(1)
conditional probability
(1)
formal methods
(1)
machine learning
(1)
Papers
Argument Component Segmentation with Fine-Tuned Large Language Models
EACL 2026
ARGUS: Towards End-to-End Argument Mining with Large Language Models
AAAI 2026
Conditional Probabilistic Bipolar Argumentation Framework: Explanations, Complexity and Approximation
AAAI 2026
Credulous Acceptance in High-Order Argumentation Frameworks with Necessities: An Incremental Approach (Abstract Reprint)
IJCAI 2025
Even-if Explanations: Formal Foundations, Priorities and Complexity
AAAI 2025
Featured Argumentation Framework: Semantics and Complexity
IJCAI 2025
Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework
AAAI 2024
General Epistemic Abstract Argumentation Framework: Semantics and Complexity
IJCAI 2024
Abstract Argumentation Framework with Conditional Preferences
AAAI 2023
Preferences and Constraints in Abstract Argumentation
IJCAI 2023
Incomplete Argumentation Frameworks: Properties and Complexity
AAAI 2022
On Preferences and Priority Rules in Abstract Argumentation
IJCAI 2022
Argumentation Frameworks with Strong and Weak Constraints: Semantics and Complexity
AAAI 2021
Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract)
IJCAI 2021
An Efficient Algorithm for Skeptical Preferred Acceptance in Dynamic Argumentation Frameworks
IJCAI 2019
Computing Approximate Query Answers over Inconsistent Knowledge Bases
IJCAI 2018
Efficient Computation of Extensions for Dynamic Abstract Argumentation Frameworks: An Incremental Approach
IJCAI 2017
Logic Program Termination Analysis Using Atom Sizes
IJCAI 2015
Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols
IJCAI 2013