Search Sciweavers | Sciweavers

5198 search results - page 45 / 1040

» A Logic of Agent Programs

click to vote

ARGMAS
2008
Springer

180views Intelligent Agents» more ARGMAS 2008»

Argumentation Based Resolution of Conflicts between Desires and Normative Goals

15 years 1 months ago

Download www.dcs.kcl.ac.uk

Norms represent what ought to be done, and their fulfillment can be seen as benefiting the overall system, society or organisation. However, individual agent goals (desire) may con...

Sanjay Modgil, Michael Luck

claim paper

Read More »

click to vote

DALT
2006
Springer

73views Intelligent Agents» more DALT 2006»

A Fibred Tableau Calculus for Modal Logics of Agents

15 years 2 months ago

Download espace.uq.edu.au

Vineet Padmanabhan, Guido Governatori

claim paper

Read More »

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 6 days ago

Download www.cs.rochester.edu

Daphne Liu, Lenhart Schubert

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

133views Applied Computing» more BIRTHDAY 2006»

Computational Logic in an Object-Oriented World

15 years 2 months ago

Download www.doc.ic.ac.uk

Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...

Bob Kowalski

claim paper

Read More »

click to vote

DAGSTUHL
2007

134views Software Engineering» more DAGSTUHL 2007»

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

15 years 18 days 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