Sciweavers

720 search results - page 29 / 144
» Visualization of Description Logic Models
Sort
View
DLOG
2009
13 years 6 months ago
Reasoning About Typicality in ALC and EL
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...
Laura Giordano, Valentina Gliozzi, Nicola Olivetti...
WSCG
2004
158views more  WSCG 2004»
13 years 9 months ago
Robot Hand Visual Tracking Using an Adaptive Fuzzy Logic Controller
This paper presents an algorithm to track an industrial robot hand during its movement. Based on acquired image and knowing the robot hand model, the pose is obtained. This inform...
Carlos Pérez, Óscar Reinoso, Maria A...
IJAC
2010
231views more  IJAC 2010»
13 years 5 months ago
Descriptive Complexity of Finite Abelian Groups
Title of dissertation: MODEL THEORY AND COMPLEXITY THEORY Walid Gomaa Doctor of Philosophy, 2007 Dissertation directed by: Professor William Gasarch Department of Computer Science...
Walid Gomaa
ENTCS
2006
117views more  ENTCS 2006»
13 years 8 months ago
Monadic Second-Order Logic and Transitive Closure Logics over Trees
Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural languages by defining their derivation trees in suitable logical for...
Hans-Jörg Tiede, Stephan Kepser
AAAI
1990
13 years 9 months ago
Logical Task Modelling for Man-Machine Dialogue
To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
M. David Sadek