Skip to content
conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Insights
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Insights
Achievements
Home
›
Keywords
›
high-level programming language
high-level programming language
1 paper
Explore in graph
Co-occurring keywords
· papers mentioning both
linear dynamic logic
(1)
dynamic logic
(1)
execution history
(1)
situation calculus
(1)
program verification
(1)
Papers
ElGolog: A High-Level Programming Language with Memory of the Execution History
AAAI 2020
<
1
>