Virtual worlds as meeting places for formal systems

DOI10.1016/S0096-3003(99)00239-8zbMath1031.68557OpenAlexW2074383085WikidataQ127658563 ScholiaQ127658563MaRDI QIDQ1402195

Kirstie L. Bellman, Christopher Landauer

Publication date: 27 August 2003

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0096-3003(99)00239-8

zbMATH Keywords

integration of formal methodsproblem posing paradigm

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Related Items (1)

Towards an integration science. The influence of Richard Bellman on our research.

Uses Software

• OMRS

Cites Work

• On the Concepts of a Problem and Problem-Solving
• Simplification by Cooperating Decision Procedures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Virtual worlds as meeting places for formal systems