Zobrazeno 1 - 10
of 284
pro vyhledávání: '"Thielscher, Michael"'
Complex robot behaviour typically requires the integration of multiple robotic and Artificial Intelligence (AI) techniques and components. Integrating such disparate components into a coherent system, while also ensuring global properties and behavio
Externí odkaz:
http://arxiv.org/abs/2310.12386
Autor:
Cunanan, Michael, Thielscher, Michael
The recent popularity of Wordle has revived interest in guessing games. We develop a general method for finding optimal strategies for guessing games while avoiding an exhaustive search. Our main contributions are several theorems that build towards
Externí odkaz:
http://arxiv.org/abs/2305.09111
Autor:
Baader, Franz, Drescher, Conrad, Liu, Hongkai, Guhlemann, Steffen, Petersohn, Uwe, Steinke, Peter, Thielscher, Michael
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, updates generate so-called Boolean ABoxes, which cannot be handled by tradi
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A79511
https://tud.qucosa.de/api/qucosa%3A79511/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A79511/attachment/ATT-0/
Cognition does not only depend on bottom-up sensor feature abstraction, but also relies on contextual information being passed top-down. Context is higher level information that helps to predict belief states at lower levels. The main contribution of
Externí odkaz:
http://arxiv.org/abs/1801.02270
Publikováno v:
In Artificial Intelligence March 2021 292
Autor:
Drescher, Conrad, Thielscher, Michael
Publikováno v:
Theory and Practice of Logic Programming, 11(4-5), 451-468, 2011
Logic programming is a powerful paradigm for programming autonomous agents in dynamic domains, as witnessed by languages such as Golog and Flux. In this work we present ALPprolog, an expressive, yet efficient, logic programming language for the onlin
Externí odkaz:
http://arxiv.org/abs/1107.5242
Autor:
Thielscher, Michael
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is a system of Constraint Handling Rules, which enables agents to maintai
Externí odkaz:
http://arxiv.org/abs/cs/0408044