Francesco Fuggitti

4 papers · 2020–2024 · 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 🌉 Interdisciplinary Bridge · Silver 🐣 Hot Topic Early Bird 🌈 Renaissance Researcher (5)

Venues

AAAI (2) IJCAI (2)

Top co-authors

Tathagata Chakraborti (2) Giuseppe De Giacomo (2) Alfonso Emilio Gerevini (1) Enrico Scala (1) Shirin Sohrabi (1) Sasha Rubin (1) Antonio Di Stasio (1) Jungkoo Kang (1) Luigi Bonassi (1) Michael Katz (1)

Research topics

Artificial Intelligence (4) Core AI (4) Computer Science (1) Knowledge & Reasoning (1) Mathematics & Optimization (1) Natural Language Processing (1) Foundations (1) Mathematics (1) Reasoning (1) Resources & Methods (1) Understanding (1)

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