CLIMA 2004 - PDF Preprint Papers

CLIMA 2004

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CLIMA-2004 Paper

click to vote

CLIMA
2004

151views Intelligent Agents» more CLIMA 2004»

A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction

13 years 5 months ago

Download www.di.unipi.it

The aim of this work is the design of a framework for the revision of knowledge in abductive reasoning agents, based on interaction. We address issues such as: how to exploit knowl...

Andrea Bracciali, Paolo Torroni

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	151	A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction	claim
2	149	A Computational Model for Conversation Policies for Agent Communication	claim
3	148	Learning in BDI Multi-agent Systems	claim
4	140	The Apriori Stochastic Dependency Detection (ASDD) Algorithm for Learning Stochastic Logic Rules	claim
5	130	Weighted Multi Dimensional Logic Programs	claim
6	128	From Logic Programs Updates to Action Description Updates	claim
7	127	Verifying Protocol Conformance for Logic-Based Communicating Agents	claim
8	126	Declarative Agent Control	claim
9	123	An Abductive Framework for Information Exchange in Multi-agent Systems	claim
10	118	Planning Partially for Situated Agents	claim
11	114	Contextual Taxonomies	claim
12	111	Distributed Algorithms for Dynamic Survivability of Multiagent Systems	claim
13	109	Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs	claim
14	108	Symbolic Negotiation with Linear Logic	claim
15	103	Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences	claim
16	102	A New HTN Planning Framework for Agents in Dynamic Environments	claim
17	101	A Logic for Knowledge, Correctness, and Real Time	claim
18	100	Metareasoning for Multi-agent Epistemic Logics	claim
19	99	(Dis)Belief Change Based on Messages Processing	claim
20	97	Planning Experiments in the DALI Logic Programming Language	claim
21	97	Programming Groups of Rational Agents	claim
22	93	Inferring Trust	claim
23	90	Dynamic Logic for Plan Revision in Intelligent Agents	claim
24	80	Fault Tolerant and Fixed Scalable Structure of Middle-Agents	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers