Sciweavers

2972 search results - page 120 / 595
» Representing the Knowledge of a Robot
Sort
View
AAAI
2010
15 years 7 months ago
Materializing Inferred and Uncertain Knowledge in RDF Datasets
There is a growing need for efficient and scalable semantic web queries that handle inference. There is also a growing interest in representing uncertainty in semantic web knowled...
James P. McGlothlin, Latifur R. Khan
MEDINFO
2007
257views Healthcare» more  MEDINFO 2007»
15 years 7 months ago
From "Glycosyltransferase" to "Congenital Muscular Dystrophy": Integrating Knowledge from NCBI Entrez Gene and the Gene Ontology
Entrez Gene (EG), Online Mendelian Inheritance in Man (OMIM) and the Gene Ontology (GO) are three complementary knowledge resources that can be used to correlate genomic data with...
Satya Sanket Sahoo, Kelly Zeng, Olivier Bodenreide...
IKE
2004
15 years 7 months ago
Analogy and Deduction for Knowledge Discovery
Analogy-based hypothesis generation is a promising technique for knowledge discovery. However, some hypotheses generated are nonsensical. This paper describes a two-phased method ...
Jim Reynolds, Adam Pease, John Li
NIPS
2003
15 years 7 months ago
Reasoning about Time and Knowledge in Neural Symbolic Learning Systems
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
Artur S. d'Avila Garcez, Luís C. Lamb
CORR
2006
Springer
105views Education» more  CORR 2006»
15 years 6 months ago
Knowledge Flow Analysis for Security Protocols
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
Emina Torlak, Marten van Dijk, Blaise Gassend, Dan...