Carmine Dodaro
9 papers · 2015–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π 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
Research topics
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