Challenges for action theories

zbMath0953.03002MaRDI QIDQ1977406

Michael Thielscher

Publication date: 11 May 2000

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

fluent calculus; ramification problem; qualification problem; action theory

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03B70: Logic in computer science

68-02: Research exposition (monographs, survey articles) pertaining to computer science

Related Items

A description logic based situation calculus