← Authors

Marco Maratea

9 papers · 2018–2026 · 2 conferences · across top CS/AI conferences

Achievements

πŸŒ‰ Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) πŸƒ Academic Marathon (7) 🐝 Cross-Pollinator (12) 🌈 Renaissance Researcher (7) πŸ—ΊοΈ Taxonomy Completionist (15)

Conferences

IJCAI (5) AAAI (4)

Top co-authors

Carmine Dodaro (3) Francesco Percassi (2) Mauro Vallati (2) Martin Gebser (2) Enrico Giunchiglia (2) Francesco Doria (2) Alice Tarzariol (1) Matteo Cardellini (1) Simona Perri (1) Nicola Leone (1)

Research topics

Optimization (1)

Keywords

answer set programming (4) logic programming (2) automated reasoning (2) knowledge representation (2) traffic simulation (1) planning algorithm (1) network analysis (1) complexity analysis (1) formal methods (1) symbolic planning (1) algorithm design (1) numeric planning (1) constraint propagation (1) sat solver (1) computational complexity (1) traffic signal control (1) planning system (1) abstract dialectical framework (1) constraint solving (1) automated planning (1)

Papers

Traffic Signal Plans Explorer: A General Framework for Visualising Traffic Evolution AAAI 2026
A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint) AAAI 2026
A Domain-specific Heuristic for PDDL+-based Traffic Signal Optimisation AAAI 2026
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
Symbolic Numeric Planning with Patterns AAAI 2024
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract) IJCAI 2020
Evaluation Techniques and Systems for Answer Set Programming: a Survey IJCAI 2018
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving IJCAI 2018