Diaplan: a decidable diagrammatic proof system for planning in the blocks world

Authors:
K. Jon Barwise;Michael Wollowski
Affiliations:
-;-
Venue:
Diaplan: a decidable diagrammatic proof system for planning in the blocks world
Year:
1998

Citing 0
Cited 1

Non-standard Logics for Diagram Interpretation

Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams

Quantified Score

Hi-index	0.00

Visualization

Abstract