Francesco Fuggitti
4 papers · 2020–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🐝 Cross-Pollinator (11) 🌈 Renaissance Researcher (5)
🐣
Hot Topic Early Bird
Conferences
AAAI (2)
IJCAI (2)
Top co-authors
Keywords
linear temporal logic
(2)
temporal logic
(2)
automated planning
(2)
natural language understanding
(1)
formal methods
(1)
plan selection
(1)
formal language
(1)
classical planning
(1)
goal recognition
(1)
finite trace
(1)
deterministic finite automaton
(1)
non-markovian domain
(1)
large language model
(1)
decision making
(1)
action landmark
(1)
sequential decision making
(1)
semantic parsing
(1)
Papers
Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction
AAAI 2024
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract)
IJCAI 2024
NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas
AAAI 2023
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces
IJCAI 2020