Mario Alviano
11 papers
· 2015–2025
· 1 conference
· across top CS/AI conferences
Achievements
π£
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
On the Integration of CP-nets in ASPRIN
IJCAI 2019
Completion of Disjunctive Logic Programs
IJCAI 2016