Marco Maratea
9 papers · 2018–2026 · 2 venues · 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 ↓
π
Conference Polyglot Β· Bronze
π
Academic Marathon Β· Sprint
π
Interdisciplinary Bridge Β· Gold
πΊοΈ
Taxonomy Completionist
(14)
π
Renaissance Researcher
(6)
Top co-authors
Research topics
Knowledge & Reasoning
(6)
Reasoning
(5)
Artificial Intelligence
(3)
Machine Learning
(3)
Mathematics & Optimization
(3)
Core AI
(3)
Optimization
(3)
Optimization & Theory
(3)
Computer Science
(1)
Data Science & Analytics
(1)
Natural Language Processing
(1)
Applications
(1)
Foundations
(1)
Representation
(1)
Understanding
(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
A Domain-specific Heuristic for PDDL+-based Traffic Signal Optimisation
AAAI 2026
A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint)
AAAI 2026
Traffic Signal Plans Explorer: A General Framework for Visualising Traffic Evolution
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