Search Sciweavers | Sciweavers

4 search results - page 1 / 1

» Explanation of Terminological Reasoning: A Preliminary Repor...

click to vote

DLOG
2003

106views Automated Reasoning» more DLOG 2003»

Explanation of Terminological Reasoning: A Preliminary Report

13 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

This paper describes our current activities to supply extended reasoning support to knowledge engineers who are building terminologies using Description Logics (DL) reasoners. The...

Stefan Schlobach, Ronald Cornet

claim paper

Read More »

click to vote

DLOG
1996

95views Automated Reasoning» more DLOG 1996»

Switching Terminologies - Creating a New View of An Old World: Preliminary Report

13 years 6 months ago

Download www.inf.unibz.it

Catriel Beeri, Alon Y. Levy, Marie-Christine Rouss...

claim paper

Read More »

click to vote

AAAI
2006

113views Intelligent Agents» more AAAI 2006»

Finding Maximally Satisfiable Terminologies for the Description Logic ALC

13 years 6 months ago

Download www.aaai.org

For ontologies represented as Description Logic Tboxes, optimised DL reasoners are able to detect logical errors, but there is comparatively limited support for resolving such pro...

Thomas Andreas Meyer, Kevin Lee, Richard Booth, Je...

claim paper

Read More »

click to vote

UAI
1997

148views Artificial Intelligence» more UAI 1997»

A Scheme for Approximating Probabilistic Inference

13 years 6 months ago

Download www.ics.uci.edu

This paper describes a class ofprobabilistic approximation algorithms based on bucket elimination which o er adjustable levels of accuracy ande ciency. We analyzethe approximation...

Rina Dechter, Irina Rish

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers