极大痛苦 发表于 2025-3-28 15:56:58

Yuyi Zhong,Quang-Trung Ta,Siau-Cheng Khood the resulting logic . allows us to describe a set of rule-based reasoning agents with bound on time, memory and communication. The set of rules which are used to model the systems is derived from OWL 2 RL ontologies. We provide an axiomatization of the logic and prove it is sound and complete. We
页: 1 2 3 4 [5]
查看完整版本: Titlebook: Alhambra und die Schönheit der Symmetrie; Zum Umgang mit entde Nicole Weber-Krpoun Book 2024 Der/die Herausgeber bzw. der/die Autor(en), ex