Search Sciweavers | Sciweavers

We present TCTLKD, a logic for knowledge, correctness and real time. TCTLKD is interpreted on real time deontic interpreted systems, and extension to continuous time of deontic int...

Bozena Wozna, Alessio Lomuscio

claim paper

Read More »

26

click to vote

CLIMA
2004

123views Intelligent Agents» more CLIMA 2004»

An Abductive Framework for Information Exchange in Multi-agent Systems

14 years 8 days ago

Download centria.di.fct.unl.pt

In this paper, we propose a framework for information exchange among abductive agents whose local knowledge bases are enlarged with a set of abduced hypotheses. We integrate the as...

Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo...

claim paper

Read More »

26

click to vote

CLIMA
2004

103views Intelligent Agents» more CLIMA 2004»

Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences

14 years 8 days ago

Download www.cs.nmsu.edu

In this paper we extend the Revision Programming framework--a logic-based framework to express and maintain constraints on knowledge bases-with different forms of preferences. Pref...

Inna Pivkina, Enrico Pontelli, Tran Cao Son

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers