scientific article; zbMATH DE number 770153

zbMATH Open0826.68116MaRDI QIDQ4837953

Madhura Nirkhe, Sarit Kraus

Publication date: 27 November 1995

Title of this publication is not available (Why is that?)

zbMATH Keywords

real-time imagination

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Axiomatizing the logic of imagination 👍 👎
• A realistic involvement of formal methods 👍 👎
• Realizability of Real-Time Logics 👍 👎
• An Expressive Temporal Logic for Real Time 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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 Q4837953)