A Complete Axiomatization for Blocks World

DOI10.1093/logcom/13.4.581zbMath1046.68101OpenAlexW2074658933MaRDI QIDQ4434615

Yong-Mei Liu, Stephen A. Cook

Publication date: 10 November 2003

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/2c43769b6d6f977268469a8558446ec7ded4bac6

zbMATH Keywords

Ehrenfeucht-Fraïssé gamesdefinable predicates

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (3)

Progression of Decomposed Local-Effect Action Theories ⋮ On distinguishing sets of structures by first-order sentences of minimal quantifier rank ⋮ Position systems in dynamic domains

This page was built for publication: A Complete Axiomatization for Blocks World