Sciweavers

619 search results - page 5 / 124
» Paraconsistent Reasoning for the Semantic Web
Sort
View
EWIMT
2004
13 years 9 months ago
Reasoning on the Web: Language Prototypes and Perspectives
Reasoning on the Web is gaining in importance because of emerging Web applications such as contextadaptive Web systems (e.g. eLearning, recommender, personalised (multi-)media, an...
Sacha Berger, François Bry, Bernhard Lorenz...
APSEC
2004
IEEE
13 years 11 months ago
Reasoning about Semantic Web in Isabelle/HOL
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Maho...
IGPL
2000
103views more  IGPL 2000»
13 years 7 months ago
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations
This paper has two goals. First, we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning....
Ofer Arieli, Arnon Avron
JELIA
2004
Springer
14 years 1 months ago
Reasoning About Quantum Systems
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
Paulo Mateus, Amílcar Sernadas