Jens Claßen
4 papers
· 2015–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(10)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(12)
Conferences
AAAI (2)
IJCAI (2)
Top co-authors
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)