An Outline of a Dynamic Theory of Frames

DOI10.1007/978-3-642-36976-6_9zbMath1385.68046OpenAlexW5540216MaRDI QIDQ4914516

Ralf Naumann

Publication date: 12 April 2013

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

Full work available at URL: https://doi.org/10.1007/978-3-642-36976-6_9

zbMATH Keywords

simulationsKripke modelscombining systemsdative alternationdynamic frame theory

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

This page was built for publication: An Outline of a Dynamic Theory of Frames