AI Chat AI Image Generator AI Video Text to Speech

ALPprolog --- A New Logic Programming Method for Dynamic Domains

07/26/2011

∙

by Conrad Drescher, et al.

∙

∙

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 online control of agents that have to reason about incomplete information and sensing actions.

Conrad Drescher
1 publication
Michael Thielscher
3 publications

page 1

page 2

page 3

page 4

research

∙ 06/11/2019

The Prolog debugger and declarative programming

Logic programming is a declarative programming paradigm. Programming lan...

0 Włodzimierz Drabent, et al. ∙

research

∙ 03/03/2020

The Prolog Debugger and Declarative Programming. Examples

This paper contains examples for a companion paper "The Prolog Debugger ...

0 Włodzimierz Drabent, et al. ∙

research

∙ 05/24/2021

Actions You Can Handle: Dependent Types for AI Plans

Verification of AI is a challenge that has engineering, algorithmic and ...

0 Alasdair Hill, et al. ∙

research

∙ 03/21/2014

Towards Active Logic Programming

In this paper we present the new logic programming language DALI, aimed ...

0 Stefania Costantini, et al. ∙

research

∙ 09/15/2017

LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report

Logic-based paradigms are nowadays widely used in many different fields,...

0 Stefano Germano, et al. ∙

research

∙ 07/10/2023

Some Preliminary Steps Towards Metaverse Logic

Assuming that the term 'metaverse' could be understood as a computer-bas...

0 Antonio L. Furtado, et al. ∙

research

∙ 08/14/2018

An Assertion language for slicing Constraint Logic Languages

Constraint Logic Programming (CLP) is a language scheme for combining tw...

0 Moreno Falaschi, et al. ∙