Sciweavers

1316 search results - page 10 / 264
» Intelligent Agents: Issues and Logics
Sort
View
ATAL
1995
Springer
15 years 5 months ago
Time, Knowledge, and Choice
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
Michael Wooldridge
IVA
2009
Springer
15 years 8 months ago
Issues in Dynamic Generation of Sign Language Utterances for a Web 2.0 Virtual Signer
Annelies Braffort, Jean-Paul Sansonnet, Cyril Verr...
ECAI
2006
Springer
15 years 5 months ago
A Logic-Based Framework to Compute Pareto Agreements in One-Shot Bilateral Negotiation
Abstract. We propose a logic-based approach to automated oneshot multi-issue bilateral negotiation. We use logic in two ways: (1) a logic theory to represent relations among issues...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
AAAI
1998
15 years 2 months ago
Computing Intersections of Horn Theories for Reasoning with Models
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
EPIA
2007
Springer
15 years 7 months ago
Prospective Logic Agents
As we face the real possibility of modelling agent systems capable of non-deterministic self-evolution, we are confronted with the problem of having several different possible futu...
Luís Moniz Pereira, Gonçalo Lopes