Sciweavers

690 search results - page 35 / 138
» Logical Agents for Language and Action
Sort
View
FROCOS
2009
Springer
14 years 2 months ago
Putting ABox Updates into Action
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, upda...
Conrad Drescher, Hongkai Liu, Franz Baader, Steffe...
ATAL
2008
Springer
13 years 10 months ago
Reasoning about agent execution strategies
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
Natasha Alechina, Brian Logan, Mehdi Dastani, John...
AAAI
1996
13 years 9 months ago
On the Range of Applicability of Baker's Approach to the Frame Problem
We investigate the range of applicability of Baker's approach to the frame problem using an action language. We show that for temporal projection and deterministic domains, B...
G. Neelakantan Kartha
ATAL
2008
Springer
13 years 10 months ago
Continual collaborative planning for mixed-initiative action and interaction
Multiagent environments are often highly dynamic and only partially observable which makes deliberative action planning computationally hard. In many such environments, however, a...
Michael Brenner
DALT
2004
Springer
14 years 1 months ago
Intensional Programming for Agent Communication
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid...
Vasu S. Alagar, Joey Paquet, Kaiyu Wan