Mario Alviano
11 papers · 2015–2025 · 1 venue · 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 ↓+3 more ↓ Show less ↑
๐ฃ Hot Topic Early Bird ๐ Academic Marathon ยท Half ๐ Interdisciplinary Bridge ยท Bronze ๐บ๏ธ Taxonomy Completionist (13) ๐ Keyword Champion (2)
๐
Century Club ยท Bronze
๐ฅ
Unstoppable ยท Bronze
๐
Renaissance Researcher
(5)
Venues
Top co-authors
Research topics
Machine Learning
(3)
Mathematics & Optimization
(3)
Optimization & Theory
(3)
Knowledge & Reasoning
(2)
Mathematics
(2)
Optimization
(2)
Artificial Intelligence
(1)
Computer Science
(1)
Natural Language Processing
(1)
Core AI
(1)
Foundations
(1)
Reasoning
(1)
Representation
(1)
Resources & Methods
(1)
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
Completion of Disjunctive Logic Programs
IJCAI 2016
From Non-Convex Aggregates to Monotone Aggregates in ASP
IJCAI 2016
On the Properties of GZ-Aggregates in Answer Set Programming
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