Sciweavers

1040 search results - page 3 / 208
» A Syntactical Approach to Revision
Sort
View
LPNMR
1999
Springer
13 years 10 months ago
Annotated Revision Programs
Abstract. Revision programming was introduced as a formalism to describe and enforce updates of belief sets and databases. Revision programming was extended by Fitting who assigned...
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczyns...
DLOG
2008
13 years 8 months ago
A Survey of Revision Approaches in Description Logics
Abstract. Revision of a Description Logic-based ontology to incorporate newly received information consistently is an important problem for the lifecycle of ontologies. Many approa...
Guilin Qi, Fangkai Yang
ECAI
2000
Springer
13 years 10 months ago
Iterated Revision by Epistemic States: Axioms, Semantics and Syntax
Abstract. We propose a very general syntactical notion of epistemic state and a compact axiomatization for iterated revision when the new information is an epistemic state. We set ...
Salem Benferhat, Sébastien Konieczny, Odile...
JAIR
2006
117views more  JAIR 2006»
13 years 6 months ago
Admissible and Restrained Revision
As partial justification of their framework for iterated belief revision Darwiche and Pearl convincingly argued against Boutilier's natural revision and provided a prototypic...
Richard Booth, Thomas Andreas Meyer
LREC
2008
119views Education» more  LREC 2008»
13 years 7 months ago
Enhancing the Arabic Treebank: a Collaborative Effort toward New Annotation Guidelines
The Arabic Treebank team at the Linguistic Data Consortium has significantly revised and enhanced its annotation guidelines and procedure over the past year. Improvements were mad...
Mohamed Maamouri, Ann Bies, Seth Kulick