CODE 发表于 2025-3-23 10:40:34

http://reply.papertrans.cn/59/5880/587926/587926_11.png

不规则的跳动 发表于 2025-3-23 16:23:25

The Scientific Contribution of Marek Sergotesearch domains, such as artificial intelligence, computational logic, philosophical logic, legal theory, artificial intelligence and law, multi-agent systems and bioinformatics..By combining his background in logic and computing with his interest in the law, deontic logic, action, and related areas

Pudendal-Nerve 发表于 2025-3-23 18:51:35

Teleo-Reactive Abductive Logic Programsnment. They combine proactive behaviour, which is goal-oriented, with reactive behaviour, which is sensitive to the changing environment. They can take advantage of situations in which the environment opportunistically solves the system’s goals, recover gracefully when the environment destroys solut

天然热喷泉 发表于 2025-3-24 01:41:22

http://reply.papertrans.cn/59/5880/587926/587926_14.png

graphy 发表于 2025-3-24 05:48:09

http://reply.papertrans.cn/59/5880/587926/587926_15.png

Blanch 发表于 2025-3-24 06:34:06

http://reply.papertrans.cn/59/5880/587926/587926_16.png

Substitution 发表于 2025-3-24 14:10:48

Reactive Event Calculus for Monitoring Global Computing Applicationsents affects some representation (the .) of the world. Since its introduction, EC has been recognized for being an excellent framework to reason about time and events. Recently, with the advent of complex software systems decomposed into sets of autonomous, heterogeneous distributed entities, EC has

乐意 发表于 2025-3-24 18:10:31

http://reply.papertrans.cn/59/5880/587926/587926_18.png

护航舰 发表于 2025-3-24 19:46:40

Symbolic Model Checking for Temporal-Epistemic Logic-based approaches for epistemic logic built on discrete and real-time branching time temporal logic. The underlying semantical model considered throughout is the one of interpreted system, suitably extended whenever necessary.

托人看管 发表于 2025-3-25 01:36:46

GOAL Agents Instantiate Intention Logicof more computationally oriented frameworks have been proposed for engineering rational agents. It remains interesting to explore the relation between these logical theories and existing computational agent frameworks that are used to program agents. First of all, by establishing a formal relation b
页: 1 [2] 3 4 5 6 7
查看完整版本: Titlebook: Logic Programs, Norms and Action; Essays in Honor of M Alexander Artikis,Robert Craven,Kostas Stathis Book 2012 Springer-Verlag Berlin Heid