Research output per year
Research output per year
- 10 results
Search results
-
2022
Memory-Constrained Context-Aware Reasoning
Uddin, I., Abdur, R., Ali, M. & Vinh, P. C., 22 Jan 2022, Context-Aware Systems and Applications. ICCASA 2021. Vinh, P. C. & Rakib, A. (eds.). 1 ed. Springer, Cham: Springer , p. 133-146 14 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 409).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
1 Citation (Scopus) -
2014
A logic for context-aware non-monotonic reasoning agents
Rakib, A. & Ul Haque, H. M., 2014, Human-Inspired Computing and Its Applications. Gelbukh, A., Espinoza, F. C. & Galicia-Haro, S. N. (eds.). Springer , p. 453-471 18 p. (Lecture Notes in Computer Science; vol. 8856).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
21 Citations (Scopus) -
A temporal description logic for resource-bounded rule-based context-aware agents
Rakib, A., Haque, H. M. U. & Faruqui, R. U., 10 Apr 2014, Context-Aware Systems and Applications . Vinh, P. C., Alagar, V., Vassev, E. & Khare, A. (eds.). Springer , p. 3-14 12 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
13 Citations (Scopus) -
2013
A formal approach to modelling and verifying resource-bounded context-aware agents
Rakib, A. & Faruqui, R. U., 2013, Context-Aware Systems and Applications. Vinh, P. C., Hung, N. M., Tung, N. T. & Suzuki, J. (eds.). 1 ed. Springer , p. 86-96 11 p. (Lecture Notes of the Institute for Computer Sciences; vol. 109).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
10 Citations (Scopus) -
2012
Verifying resource requirements for ontology-driven rule-based agents
Rakib, A., Faruqui, R. U. & MacCaull, W., 2012, Foundations of Information and Knowledge Systems. Springer , p. 312-331 20 p. (Lecture Notes in Computer Science; vol. 7153).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
3 Citations (Scopus) -
2011
Automated verification of resource requirements in multi-agent systems using abstraction
Alechina, N., Logan, B., Nguyen, H. N. & Rakib, A., 2011, Model Checking and Artificial Intelligence . Springer, p. 69-84 16 p. (Lecture Notes in Computer Science; vol. 6572).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
6 Citations (Scopus) -
2009
Reasoning about other agents' beliefs under bounded resources
Alechina, N., Logan, B., Nguyen, H. N. & Rakib, A., 2009, Knowledge Representation for Agents and Multi-Agent Systems. Ch. Meyer, J.-J. & Broersen, J. (eds.). 1 ed. Springer , p. 1-15 15 p. (Lecture Notes in Computer Science; vol. 5605).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
6 Citations (Scopus) -
Verifying time and communication costs of rule-based reasoners
Alechina, N., Logan, B., Nga, N. H. & Rakib, A., 2009, Model Checking and Artificial Intelligence. Peled, D. A. & Wooldridge, M. J. (eds.). 1 ed. Springer , p. 1-14 14 p. (Lecture Notes in Computer Science; vol. 5348).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
8 Citations (Scopus) -
2008
Verifying resource requirements for distributed rule-based systems
Alechina, N., Logan, B., Nga, N. H. & Rakib, A., 2008, Rule Representation, Interchange and Reasoning on the Web . Bassiliades, N., Governatori, G. & Paschke, A. (eds.). Springer , p. 31-38 8 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
1 Citation (Scopus) -
2004
Component-wise instruction-cache behavior prediction
Rakib, A., Parshin, O., Thesing, S. & Wilhelm, R., 2004, Lecture Notes in Computer Science. Wang , F. (ed.). Vol. 3299. p. 211-229 19 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
7 Citations (Scopus)