Madhura Nirkhe

Statistics

Publications

Citations

H-Index

Active since

1994

Affiliations

University of Maryland, College Park(Current)

Madhura Nirkhe is an author at University of Maryland, College Park specializing in temporal logic, knowledge representation, and automated reasoning.

Publications per year

1994–1999

Publications

Active Logics: A Unified Formal Approach to Episodic Reasoning

Jennifer J. Elgot-Drapkin, Sarit Kraus, Michael J. Miller et al. · Digital Repository at the University of Maryland (University of Maryland College Park) · 1999 · 53 citations · Full text

Computing, Computer Science, Formal Methods +10

How to (plan to) meet a deadline between now and then

Madhura Nirkhe · Journal of Logic and Computation · 1997 · 19 citations

Computing, Autonomous Systems, Diagnostic Reasoning +11

Time-situated reasoning within tight deadlines and realistic space and computation bounds

Madhura Nirkhe · National Conference on Artificial Intelligence · 1994 · 14 citations

Computing, Autonomous Systems, Computer Science +15

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

Madhura Nirkhe, Sarit Kraus, Donald Perlis · Digital Repository at the University of Maryland (University of Maryland College Park) · 1994 · 10 citations · Full text

Humanities, Computer Science, Philosophy +14

1–4 of 4