1342 search results - page 66 / 269 » Shape reasoning and understanding |
158
click to vote
AAAI
2000
15 years 7 months ago
2000
This paper demonstrates qualitative spatial reasoning techniques in a real-world diagrammatic reasoning task: Course-of-Action (COA) diagrams. COA diagrams are military planning d...
163
click to vote
TABLEAUX
2007
Springer
15 years 12 months ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...
157
click to vote
IFL
2005
Springer
15 years 11 months ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
155
click to vote
DLOG
2008
15 years 8 months ago
2008
The development of scalable reasoning systems is one of the crucial factors determining the success of Semantic Web systems. Recently, in [GH06], an approach is proposed, which tac...
163
click to vote
DLOG
2004
15 years 7 months ago
2004
This paper describes the OWL ontology explorer OntoXpl. It is available as a web server based on the tomcat architecture. Standard HTML browsers can be used to interact with OntoX...