Search Sciweavers | Sciweavers

1153 search results - page 43 / 231

» The Complexity of Revision, Revised

134

click to vote

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Semantics of Plan Revision in Intelligent Agents

15 years 11 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 »

137

click to vote

LPNMR
2004
Springer

84views Automated Reasoning» more LPNMR 2004»

Properties of Iterated Multiple Belief Revision

15 years 11 months ago

Download www.cit.uws.edu.au

Dongmo Zhang

claim paper

Read More »

162

click to vote

OTM
2004
Springer

108views Internet Technology» more OTM 2004»

Revising and Managing Multiple Ontology Versions in a Possible Worlds Setting

15 years 11 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 »

107

click to vote

PRIMA
2004
Springer

88views Intelligent Agents» more PRIMA 2004»

A Combined System for Update Logic and Belief Revision

15 years 11 months ago

Download www.illc.uva.nl

Guillaume Aucher

claim paper