Search Sciweavers | Sciweavers

1153 search results - page 43 / 231

» The Complexity of Revision, Revised

click to vote

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Semantics of Plan Revision in Intelligent Agents

14 years 1 months ago

Download www.cs.uu.nl

Abstract. In this paper, we give an operational and denotational semantics for a 3APL meta-language, with which various 3APL interpreters can be programmed. We moreover prove equiv...

Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S...

claim paper

Read More »

click to vote

LPNMR
2004
Springer

84views Automated Reasoning» more LPNMR 2004»

Properties of Iterated Multiple Belief Revision

14 years 1 months ago

Download www.cit.uws.edu.au

Dongmo Zhang

claim paper

Read More »

click to vote

OTM
2004
Springer

108views Internet Technology» more OTM 2004»

Revising and Managing Multiple Ontology Versions in a Possible Worlds Setting

14 years 1 months ago

Download www.starlab.vub.ac.be

Abstract. To date, ontology research seems to have come to an equilibrium: there is a wide variety of theories, methods and tools for extracting, representing, storing and browsing...

Pieter De Leenheer

claim paper

Read More »

click to vote

PRIMA
2004
Springer

88views Intelligent Agents» more PRIMA 2004»

A Combined System for Update Logic and Belief Revision

14 years 1 months ago

Download www.illc.uva.nl

Guillaume Aucher

claim paper

Read More »