← Authors

Carmine Dodaro

9 papers · 2015–2025 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) πŸƒ Academic Marathon (10) 🌈 Renaissance Researcher (6) πŸŒ‰ Interdisciplinary Bridge πŸ—ΊοΈ Taxonomy Completionist (12) 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (14)

Conferences

IJCAI (8) AAAI (1)

Top co-authors

Mario Alviano (4) Marco Maratea (3) Francesco Ricca (3) Alice Tarzariol (1) Bernardo Cuteri (1) Valeria Fionda (1) Simone Caruso (1) Giovanni Amendola (1) Peter SchΓΌller (1) Giuseppe Mazzotta (1)

Research topics

Optimization (1)

Keywords

answer set programming (5) knowledge representation (3) grounding bottleneck (2) constraint propagation (2) model optimization (1) quantitative reasoning (1) declarative programming (1) linear temporal logic (1) finite trace (1) search space pruning (1) stable model (1) unsatisfiable core (1) controlled natural language (1) boolean formula (1) weighted trace (1) quantitative aspect (1) aggregate compilation (1) ground-and-solve approach (1) cdcl algorithm (1) program compilation (1)

Papers

A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms IJCAI 2025
AMO-aware Aggregates in Answer Set Programming IJCAI 2024
Compilation of Aggregates in ASP Systems AAAI 2022
LTL on Weighted Finite Traces: Formal Foundations and Algorithms IJCAI 2022
Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators IJCAI 2020
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract) IJCAI 2020
Unsatisfiable Core Shrinking for Anytime Answer Set Optimization IJCAI 2017
Completion of Disjunctive Logic Programs IJCAI 2016
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size IJCAI 2015