Add to ORKGThe objective of my research project is the formal treatment of memory issues in Intelligent Software Agents. I extend recent work which proposed a (partial) formalization of SOAR architecture in modal logic, reasoning on a particular type of agents: resource-bounded agents. I introduce explicit treatment of time instants and time intervals by means of Metric Temporal Logic, both in the background logic and in mental operations
International audienceThe resource-bounded alternating-time temporal logic RB±ATL combines strategic...
Time is one of the most relevant topics in AI. It plays a major role in several areas, ranging from ...
A resolution based proof system for a temporal logic of knowledge is presented and shown to be corre...
Logical theories of intelligent (or rational) agents have been refined and improved over the past 20...
We present a framework for verifying systems composed of heterogeneous reasoning agents, in which ea...
The effective reasoning capability of an agent can be defined as its capability to infer, within a g...
Intelligent systems with access to large stores of experience, or memory, can draw upon and reason a...
This paper documents a functionality-driven exploration of automatic working-memory management in So...
Nowadays, MAS paradigm tries to move Computation to a new level of abstraction: Computation as inter...
Why can't we keep as many items as we want in working memory? It has long been debated whether this ...
We present a novel procedure for automatically verifying the space and time requirements for resourc...
Existing computational approaches to cognition generally adopt a static strategy. Conversely, it is ...
The thesis presents logic-based formalisms for modelling and reasoning about resource-bounded multi-...
We study agents situated in partially observable environments, who do not have sufficient resources ...
This paper is concerned with providing a common framework for both the logical specification and exe...
International audienceThe resource-bounded alternating-time temporal logic RB±ATL combines strategic...
Time is one of the most relevant topics in AI. It plays a major role in several areas, ranging from ...
A resolution based proof system for a temporal logic of knowledge is presented and shown to be corre...
Logical theories of intelligent (or rational) agents have been refined and improved over the past 20...
We present a framework for verifying systems composed of heterogeneous reasoning agents, in which ea...
The effective reasoning capability of an agent can be defined as its capability to infer, within a g...
Intelligent systems with access to large stores of experience, or memory, can draw upon and reason a...
This paper documents a functionality-driven exploration of automatic working-memory management in So...
Nowadays, MAS paradigm tries to move Computation to a new level of abstraction: Computation as inter...
Why can't we keep as many items as we want in working memory? It has long been debated whether this ...
We present a novel procedure for automatically verifying the space and time requirements for resourc...
Existing computational approaches to cognition generally adopt a static strategy. Conversely, it is ...
The thesis presents logic-based formalisms for modelling and reasoning about resource-bounded multi-...
We study agents situated in partially observable environments, who do not have sufficient resources ...
This paper is concerned with providing a common framework for both the logical specification and exe...
International audienceThe resource-bounded alternating-time temporal logic RB±ATL combines strategic...
Time is one of the most relevant topics in AI. It plays a major role in several areas, ranging from ...
A resolution based proof system for a temporal logic of knowledge is presented and shown to be corre...