Mario Alviano
11 papers · 2015–2025 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π£ Hot Topic Early Bird π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (13) π§ Keyword Pioneer π Academic Marathon (10)
π
Cross-Pollinator
(12)
π
Renaissance Researcher
(6)
π
Keyword Champion
(2)
π
Century Club
(11)
π₯
Unstoppable
(5)
Conferences
IJCAI (11)
Top co-authors
Research topics
Keywords
answer set programming
(5)
large language model
(2)
knowledge representation
(2)
preference relation
(2)
complexity analysis
(1)
natural language
(1)
preference modeling
(1)
anytime algorithm
(1)
model optimization
(1)
structured representation
(1)
query answering
(1)
search space pruning
(1)
stable model
(1)
unsatisfiable core
(1)
interactive problem solving
(1)
model search
(1)
preference reasoning
(1)
conditional preference network
(1)
dominance testing
(1)
acyclic cp-net
(1)
Papers
ASP Chef Chats with Large Language Models
IJCAI 2025
Integrating Answer Set Programming and Large Language Models for Enhanced Structured Representation of Complex Knowledge in Natural Language
IJCAI 2025
AMO-aware Aggregates in Answer Set Programming
IJCAI 2024
On the Integration of CP-nets in ASPRIN
IJCAI 2019
Query Answering in Propositional Circumscription
IJCAI 2018
Unsatisfiable Core Shrinking for Anytime Answer Set Optimization
IJCAI 2017
On the Properties of GZ-Aggregates in Answer Set Programming
IJCAI 2016
From Non-Convex Aggregates to Monotone Aggregates in ASP
IJCAI 2016
Completion of Disjunctive Logic Programs
IJCAI 2016
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size
IJCAI 2015
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective
IJCAI 2015