Search Sciweavers | Sciweavers

1143 search results - page 6 / 229

» Prospective Logic Agents

156

click to vote

KI
2006
Springer

186views Artificial Intelligence» more KI 2006»

Agent Logics as Program Logics: Grounding KARO

15 years 5 months ago

Download mmi.tudelft.nl

Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...

Koen V. Hindriks, John-Jules Ch. Meyer

claim paper

Read More »

125

click to vote

DALT
2006
Springer

73views Intelligent Agents» more DALT 2006»

A Fibred Tableau Calculus for Modal Logics of Agents

15 years 9 months ago

Download espace.uq.edu.au

Vineet Padmanabhan, Guido Governatori

claim paper

Read More »

107

click to vote

ICAART
2010
INSTICC

137views Intelligent Agents» more ICAART 2010»

Combining Self-motivation with Logical Planning and Inference in a Reward-seeking Agent

15 years 7 months ago

Download www.cs.rochester.edu

Daphne Liu, Lenhart Schubert

claim paper

Read More »

150

click to vote

DAGSTUHL
2007

134views Software Engineering» more DAGSTUHL 2007»

BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic

15 years 7 months ago

Download espace.uq.edu.au

Abstract. In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible

Guido Governatori, Antonino Rotolo

claim paper

Read More »

click to vote

ATAL
2006
Springer

104views Intelligent Agents» more ATAL 2006»

Knowing how to play: uniform choices in logics of agency

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers