Sciweavers

503 search results - page 56 / 101
» A multivalued knowledge-base model
Sort
View
SEMWEB
2007
Springer
15 years 10 months ago
Form-Function Reasoning for Product Shape Ontology
We present an ontology of objects, functions, and generic shape representation that supports form-function reasoning. By reasoning from the mechanical and other functions of object...
Eric Wang, Yong Se Kim
130
Voted
DIS
2003
Springer
15 years 9 months ago
Scilog: A Language for Scientific Processes and Scales
We present Scilog, an experimental knowledge base to facilitate scientific discovery and reasoning. Scilog extends Prolog by supporting (1) dedicated predicates for specifying and ...
Joseph Phillips
AAAI
2007
15 years 6 months ago
Knowledge-Driven Learning and Discovery
The goal of our current research is machine learning with the help and guidance of a knowledge base (KB). Rather than learning numerical models, our approach generates explicit sy...
Benjamin Lambert, Scott E. Fahlman
DLOG
2003
15 years 5 months ago
Reasoning about Nominals with FaCT and RACER
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
Jan Hladik
123
Voted
KER
2008
121views more  KER 2008»
15 years 4 months ago
Simulating socially intelligent agents in semantic virtual environments
The simulation of synthetic humans inhabiting virtual environments is a current research topic with a great number of behavioral problems to be tackled. Semantical Virtual Environ...
Francisco Grimaldo, Miguel Lozano, Fernando Barber...