C
omputer
S
cience/
A
rtificial
I
ntelligence
Subject Classification
ACM:
Computing methodologies~Artificial intelligence
AMS:
Computer science / Artificial intelligence
2020
Verified SAT-Based AI Planning
by
Mohammad Abdulaziz
and
Friedrich Kurz
Oct 29
AI Planning Languages Semantics
by
Mohammad Abdulaziz
and
Peter Lammich
Oct 29