Rama Akkiraju, Pinar Keskinocak, et al.
Applied Intelligence
In this paper, we propose and formalize a rule based knowledge transaction model for mobile environments. Our model integrates the features of both mobile environments and intelligent agents. We use logic programming as a mathematic tool and formal specification method to study knowledge transaction in mobile environments. Our knowledge transaction model has the following major advantages: (1) It can be used for knowledge transaction representation, formalization and knowledge reasoning in mobile environments. (2) It is knowledge oriented and has a declarative semantics inherited from logic programming. (3) It is a formalization that can be applied to general problem domains. We show that our model can be used for knowledge transaction representation, formalization and knowledge reasoning in mobile environments. Crown Copyright © 2005.
Rama Akkiraju, Pinar Keskinocak, et al.
Applied Intelligence
Arthur Nádas
IEEE Transactions on Neural Networks
Alain Vaucher, Philippe Schwaller, et al.
AMLD EPFL 2022
Ran Iwamoto, Kyoko Ohara
ICLC 2023