Sciweavers

1153 search results - page 73 / 231
» The Complexity of Revision, Revised
Sort
View
IGPL
2010
132views more  IGPL 2010»
14 years 8 months ago
Changing legal systems: legal abrogations and annulments in Defeasible Logic
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...
Guido Governatori, Antonino Rotolo
SEMWEB
2010
Springer
14 years 7 months ago
Will Semantic Web Technologies Work for the Development of ICD-11?
The World Health Organization is beginning to use Semantic Web technologies in the development of the 11th revision of the International Classification of Diseases (ICD-11). Health...
Tania Tudorache, Sean M. Falconer, Csongor Nyulas,...
FASE
2011
Springer
14 years 1 months ago
An Empirical Study on Evolution of API Documentation
With the evolution of an API library, its documentation also evolves. The evolution of API documentation is common knowledge for programmers and library developers, but not in a qu...
Lin Shi, Hao Zhong, Tao Xie, Mingshu Li

Book
454views
16 years 7 months ago
The Interpretation of Dreams
"Even the material of this book, even my own dreams, defaced by time or superseded, by means of which I have demonstrated the rules of dream-interpretation, revealed, when I c...
Sigmund Freud
ECSQARU
2007
Springer
15 years 4 months ago
COBA 2.0: A Consistency-Based Belief Change System
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
James P. Delgrande, Daphne H. Liu, Torsten Schaub,...