Marco Maratea
9 papers · 2018–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π 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
Research topics
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