2008 |
5 | EE | Chitta Baral,
Thomas Eiter,
Marcus Bjäreland,
Mutsumi Nakamura:
Maintenance goals of agents in a dynamic environment: Formulation and policy construction.
Artif. Intell. 172(12-13): 1429-1469 (2008) |
2005 |
4 | EE | Chitta Baral,
Hasan Davulcu,
Mutsumi Nakamura,
Prabhdeep Singh,
Luis Tari,
Lian Yu:
Collaborative Curation of Data from Bio-medical Texts and Abstracts and Its integration.
DILS 2005: 309-312 |
2002 |
3 | EE | Mutsumi Nakamura,
Ramez Elmasri:
Using Smodels (Declarative Logic Programming) to Verify Correctness of Certain Active Rules.
ICDE 2002: 270 |
2000 |
2 | | Mutsumi Nakamura,
Chitta Baral,
Marcus Bjäreland:
Maintainability: A Weaker Stabilizability Like Notion for High Level Control.
AAAI/IAAI 2000: 62-67 |
1 | EE | Mutsumi Nakamura,
Chitta Baral:
Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases.
Computational Logic 2000: 1210-1224 |