Thinking takes time: a modal active-logic for reasoning IN time

Authors:
Madhura Nirkhe;Sarit Kraus;Donald Perlis
Affiliations:
Univ. of Maryland, College Park;Univ. of Maryland, College Park;Univ. of Maryland, College Park
Venue:
Thinking takes time: a modal active-logic for reasoning IN time
Year:
1994

Citing 0
Cited 2

A Complete and Decidable Logic for Resource-Bounded Agents

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Epistemic Logic for Rule-Based Agents

Journal of Logic, Language and Information

Quantified Score

Hi-index	0.00

Visualization

Abstract