Giuseppe De Giacomo
Professor of Computer Science
Studies knowledge representation, reasoning about actions, generalized planning and synthesis from temporal specifications in AI.
Giuseppe De Giacomo's lab at Oxford works on reasoning & neuro-symbolic AI, reasoning & agents and knowledge, QA & retrieval. 57 papers since 2023, 21 at top venues, mostly AAAI and IJCAI. Applications close .
At a glance
- papers, 2023–2026
- 15/ year
- at T1 venues
- 37%
- PhD students
- 0
- MS students
- 0
- alumni listed
- —
Papers by yearfrom the lab homepage, 2023–2026
- 14 papers2026 · T1 4 · collecting
- 9 papers2025 · T1 5
- 16 papers2024 · T1 8
- 18 papers2023 · T1 4
T1 venuesOtherVenues: AAAI, IJCAI, KR, ICAPS, Artificial Intelligence
Research focuspaper titles that use each topic's words
- specifications8 papers
- Reasoning & neuro-symbolic AI4 papers
- Reasoning & agents2 papers
- Knowledge, QA & retrieval0 papers
- actions0 papers
Paper list
From the lab homepage.
202614 papers
- Overlay . .A Formal Framework for Strategic Reasoning in Agentic Business Process Management (opens in a new tab)
- Information SystemsAgentic Business Process Management: A Research Manifesto (opens in a new tab)
- AAAI (T1)Best−Effort Policies for Robust Markov Decision Processes (opens in a new tab)
- Proceedings of CAVFast Obligation Translation and Synthesis (opens in a new tab)
- AAAI (T1)Good−for−MDP State Reduction for Stochastic LTL Planning (opens in a new tab)
- ICAPSIncremental LTLf Synthesis (opens in a new tab)
- LAMA/SR@FLoC . .Multi−Property Synthesis (opens in a new tab)
- KRReactive Synthesis for Golog Specifications in the Propositional Situation Calculus (opens in a new tab)
- IJCAI (T1)Semantically Labelled Automata for Multi−Task Reinforcement Learning with LTL Instructions (opens in a new tab)
- KRSpecifying Agent Strategy Spaces via LTL Synthesis (opens in a new tab)
- AAAI (T1)Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus (opens in a new tab)
- LAMA/SR@FLoC . .Symbolic Synthesis for LTLf+ Obligations (opens in a new tab)
20259 papers
- ICAPSLTLf Adaptive Synthesis for Multi−Tier Goals in Nondeterministic Domains (opens in a new tab)
- Information and ComputationLTLf synthesis under environment specifications for reachability and safety properties (opens in a new tab)
- AAAI (T1)LTLf Synthesis Under Unreliable Input (opens in a new tab)
- IJCAI (T1)LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces (opens in a new tab)
- AAAMSManaging an Agent's Changing Intentions Using LTLf Synthesis – Extended Abstract (opens in a new tab)
- IJCAI (T1)Responsibility Anticipation and Attribution in LTLf (opens in a new tab)
- Information SystemsService Composition for LTLf Task Specifications (opens in a new tab)
- AAAI (T1)Situation Calculus Temporally Lifted Abstractions for Generalized Planning (opens in a new tab)
- IJCAI (T1)Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives (opens in a new tab)
202416 papers
- AAAI (T1)Abstraction of Situation Calculus Concurrent Game Structures (opens in a new tab)
- KRAbstraction of Situation Calculus Concurrent Game Structures − Extended Abstract (opens in a new tab)
- FoIKSComposition of Stochastic Services for LTLf Goal Specifications (opens in a new tab)
- IJCAI (T1)Effective Approach to LTLf Best−Effort Synthesis in Multi−Tier Environments (opens in a new tab)
- IJCAI (T1)Lifted Planning: Recent Advances in Planning Using First−Order Representation (opens in a new tab)
- AAAI (T1)Mimicking Behaviors in Separated Domains (Abstract Reprint) (opens in a new tab)
- FMMisconceptions in Finite−Trace and Infinite−Trace Linear Temporal Logic (opens in a new tab)
- ECAIMonte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes (opens in a new tab)
- IJCAI (T1)Planning for Temporally Extended Goals in Pure−Past Linear Temporal Logic (Extended Abstract) (opens in a new tab)
- ICAPSPlanning with Object Creation (opens in a new tab)
- KRProper Linear−time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis (opens in a new tab)
- AAAI (T1)Pure−Past Action Masking (opens in a new tab)
202318 papers
- Software ImpactsA Tool for Declarative Trace Alignment via Automated Planning (opens in a new tab)
- IJCAI (T1)Abstraction of Nondeterministic Situation Calculus Action Theories (opens in a new tab)
- ACM Transactions on Management Information SystemsAI−augmented Business Process Management Systems: A Research Manifesto (opens in a new tab)
- CAiSE ForumAIDA: A Tool for Resiliency in Smart Manufacturing (opens in a new tab)
- AAAI (T1)Automata Cascades: Expressivity and Sample Complexity (opens in a new tab)
- EUMASBehavioral QLTL (opens in a new tab)
- Computers in IndustryDigital Twin Composition in Smart Manufacturing via Markov Decision Processes (opens in a new tab)
- AAAI (T1)Exploiting Multiple Abstractions in Episodic RL via Reward Shaping (opens in a new tab)
- Formal Methods in System DesignFinite−trace and Generalized−Reactivity Specifications in Temporal Synthesis (opens in a new tab)
- ECAIFOND Planning for Pure−Past Linear Temporal Logic Goals (opens in a new tab)
- KRGrounding LTLf Specifications in Image Sequences (opens in a new tab)
- ECAILTLf Best−Effort Synthesis in Nondeterministic Planning Domains (opens in a new tab)
Where alumni went
Alumni are not listed on the lab homepage.
Apply to Oxford2027-28
DPhil in Computer Science
- Round
- 2027-28 entry (January round)
- Opens
- —
- GRE
- See program page
- English
- See program page
- Fee
- See program page
Not yet confirmed for this intake.
Similar labsnearest by research summary
- CNTsinghua
Yuantao Gu
- Learning theory & optimization
- USUCLA
Cho-Jui Hsieh
- Trustworthy & safe ML
- USUT Austin
Ray Mooney
- Multilingual, translation & linguistics
- USGeorgia Tech
Jacob Abernethy
- Learning theory & optimization
- SGNUS
Vincent Y. F. Tan
- Learning theory & optimization
- USCMU
Yonatan Bisk
- Multimodal & grounded language
Your notes
Save this lab to keep notes.
Data
Some numbers could not be verified:
- The alumni list could not be found on the lab site.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Lab homepage
- Alumni
- Not collected
Tiers are venue classifications, not lab rankings.
Oxfordcloses