Add to ORKGIn this paper, we present our initial experiences modeling agency in the situation calculus and the Golog programming language. We describe the problems we have faced and discuss some research issues that remain to be addressed in the future. As an application of this research line, we propose an axiomatization of the robot Charles and the Fantastic City in the situation calculus as well as a controller written in Golog.Eje: Inteligencia artificialRed de Universidades con Carreras en Informática (RedUNCI
High-level action programming languages such as Golog have successfully been used to model the behav...
In this paper, we relate two of the most well developed approaches to agent-oriented programming, na...
Much effort has been dedicated to provide a general model of agents working in complex environments....
The situation calculus is a first-order language specifically designed for representing dynamically ...
The situation calculus is a first-order language specifically designed for representing dynamically ...
AbstractThis paper proposes a new logic programming language called GOLOG whose interpreter automati...
AbstractThis paper proposes a new logic programming language called GOLOG whose interpreter automati...
This paper proposes a new logic programming language called GOLOG whose interpreter automatically ma...
Abstract—High-level behaviour specification of an intelligent autonomous agent or robot is a non-tri...
Abstract — To achieve any meaningful tasks, a robot needs some form of task-level executive which ac...
Golog is a powerful programming language for logic-based agents. The primitives of the language are ...
Golog is a powerful programming language for logic-based agents. The primitives of the language are ...
Golog is a powerful programming language for logic-based agents. The primitives of the language are ...
In this paper, we relate two of the most well developed approaches to agent-oriented programming, na...
High-level action programming languages such as Golog have successfully been used to model the behav...
High-level action programming languages such as Golog have successfully been used to model the behav...
In this paper, we relate two of the most well developed approaches to agent-oriented programming, na...
Much effort has been dedicated to provide a general model of agents working in complex environments....
The situation calculus is a first-order language specifically designed for representing dynamically ...
The situation calculus is a first-order language specifically designed for representing dynamically ...
AbstractThis paper proposes a new logic programming language called GOLOG whose interpreter automati...
AbstractThis paper proposes a new logic programming language called GOLOG whose interpreter automati...
This paper proposes a new logic programming language called GOLOG whose interpreter automatically ma...
Abstract—High-level behaviour specification of an intelligent autonomous agent or robot is a non-tri...
Abstract — To achieve any meaningful tasks, a robot needs some form of task-level executive which ac...
Golog is a powerful programming language for logic-based agents. The primitives of the language are ...
Golog is a powerful programming language for logic-based agents. The primitives of the language are ...
Golog is a powerful programming language for logic-based agents. The primitives of the language are ...
In this paper, we relate two of the most well developed approaches to agent-oriented programming, na...
High-level action programming languages such as Golog have successfully been used to model the behav...
High-level action programming languages such as Golog have successfully been used to model the behav...
In this paper, we relate two of the most well developed approaches to agent-oriented programming, na...
Much effort has been dedicated to provide a general model of agents working in complex environments....