scientific article; zbMATH DE number 1950254

MaRDI QIDQ4412852zbMATH OpenFDO

Authors Marta Cialdea Mayer, Carla Limongelli

Publication date 17 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2381/23810070.htm

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Logic in artificial intelligence (68T27)

Recommendations

• AI*IA 2003: Advances in Artificial Intelligence
• scientific article; zbMATH DE number 1305704
• scientific article; zbMATH DE number 1302385
• Conformant plans and beyond: principles and complexity
• scientific article; zbMATH DE number 1189100

Cited in

(3)

• scientific article; zbMATH DE number 6519681 (Why is no real title available?)
• scientific article; zbMATH DE number 1302385 (Why is no real title available?)
• AI*IA 2003: Advances in Artificial Intelligence

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4412852)