Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Kiringa, Iluju - School of Information Technology and Engineering, University of Ottawa
Towards a General Theory of Advanced Transaction Models in the Situation Calculus
Journal of Intelligent Information Systems manuscript No. (will be inserted by the editor)
LOGICAL FOUNDATIONS OF ACTIVE DATABASES Iluju Kiringa
Simulation of Advanced Transaction Models Using Iluju Kiringa
Expressing Transactions with Savepoints as NonMarkovian Theories of Actions
!"$#%&('0)&")213)456 87 9$@BA") CEDGFIHQPRHTSUHWVBDYXa`cbedfbYgihYpqPRrtscruVBHTdfHRX&vwDGxihyUXuUPQGwr&PRFgIh
A Unifying Semantics for Active Databases Using NonMarkovian Theories of Actions
Specifying Event Logics for Active Databases Iluju Kiringa
The best method for presentation of research results in theses and papers
A Theory of Advanced Transaction Models in the Situation Calculus
Towards an Ontology for MPEG-7 Semantic Descriptions Md. Anisur Rahman, M. Anwar Hossain, Iluju Kiringa and Abdulmotaleb El Saddik
MeTaMaF: Metadata Tagging and Mapping Framework for Managing Multimedia Content
