3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2011
ALPprolog --- A New Logic Programming Method for Dynamic Domains
Conrad Drescher, Michael Thielscher
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,…
cs.AI2004★ 3 cited
FLUX: A Logic Programming Method for Reasoning Agents
Michael Thielscher
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…