Search Sciweavers | Sciweavers

204 search results - page 7 / 41

» Reasoning with Spider Diagrams

click to vote

AAAI
2008

149views Intelligent Agents» more AAAI 2008»

Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams

13 years 9 months ago

Download www.aaai.org

We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...

Sebastian Rudolph, Markus Krötzsch, Pascal Hi...

claim paper

Read More »

click to vote

ESWS
2007
Springer

119views Internet Technology» more ESWS 2007»

Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams

13 years 11 months ago

Download sunsite.informatik.rwth-aachen.de

We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...

Uwe Keller

claim paper

Read More »

click to vote

DIAGRAMS
2004
Springer

108views Artificial Intelligence» more DIAGRAMS 2004»

A Prototype Inference Engine for Rule-Based Geometric Reasoning

14 years 28 days ago

Download www.cs.nmsu.edu

Abstract. Isaac is a rule-based visual language for mobile robots using evidential reasoning and a fuzzy inference engine. A prototype inference engine for Isaac has been implement...

Joseph J. Pfeiffer Jr.

claim paper

Read More »

click to vote

AIIA
2007
Springer

89views Artificial Intelligence» more AIIA 2007»

Finite Model Reasoning on UML Class Diagrams Via Constraint Programming

14 years 1 months ago

Download www.dis.uniroma1.it

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo...

claim paper

Read More »