Jens Claßen
4 papers · 2015–2025 · 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 · Half
🌉
Interdisciplinary Bridge · Bronze
Top co-authors
Research topics
Keywords
first-order logic
(2)
knowledge base
(1)
temporal logic
(1)
policy synthesis
(1)
game-theoretic approach
(1)
ltlf synthesis
(1)
linear temporal logic
(1)
action theory
(1)
action language
(1)
situation calculus
(1)
temporal logic synthesis
(1)
agent programming
(1)
first-order action theories
(1)
knowledge base update
(1)
fluent predicate
(1)
agent program
(1)
nondeterministic environment
(1)
first-order progression
(1)
formal methods
(1)
first-order action theory
(1)
Papers
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
AAAI 2025
On Action Theories with Iterable First-Order Progression
AAAI 2025
First-Order Progression beyond Local-Effect and Normal Actions
IJCAI 2024
Verification of Knowledge-Based Programs over Description Logic Actions
IJCAI 2015