Sciweavers

2519 search results - page 169 / 504
» Reasoning with Textual Cases
Sort
View
APPINF
2003
15 years 8 months ago
On the Three Forms of Non-deductive Inferences: Induction, Abduction, and Design
Induction and abduction are well known non-deductive inferences. We shall propose that design is also another form of non-deductive inference, and, based on Barwise and Seligmanâ€...
Makoto Kikuchi, Ichiro Nagasaka
FLAIRS
2003
15 years 8 months ago
Using Mental Simulator for Emotional Rehabilitation of Autistic Patients
It has been discovered about a decade ago that autistic people cannot properly understand and reproduce mental states and emotions. In this study we suggest a particular emotion r...
Boris Galitsky
DLOG
2011
14 years 10 months ago
Nominal Schemas for Integrating Rules and Description Logics
We propose an extension of SROIQ with nominal schemas which can be used like “variable nominal concepts” within axioms. This feature allows us to express arbitrary DL-safe rule...
Markus Krötzsch, Frederick Maier, Adila Alfa ...
VIS
2009
IEEE
215views Visualization» more  VIS 2009»
16 years 7 months ago
Iconizer: A Framework to Identify and Create Effective Representations for Visual Information Encoding
concept form search query vision confirm consensus refine search query graphics VIE-designer image objects image objects Visual Sign (VIE) run search query words images Iconizer:...
Supriya Garg, Tamara Berg, Klaus Mueller
WWW
2005
ACM
16 years 7 months ago
Learning domain ontologies for Web service descriptions: an experiment in bioinformatics
The reasoning tasks that can be performed with semantic web service descriptions depend on the quality of the domain ontologies used to create these descriptions. However, buildin...
Marta Sabou, Chris Wroe, Carole A. Goble, Gilad Mi...