Computer Science/Artificial Intelligence

Subject Classification

ACM: Computing methodologies~Artificial intelligence

AMS: Computer science / Artificial intelligence

2022

Automation of Boolos' Curious Inference in Isabelle/HOL

by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe

Dec 05

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