Sciweavers

1937 search results - page 193 / 388
» Rule Based Updates on Simple Knowledge Bases
Sort
View
AAAI
1990
15 years 5 months ago
The Representation of Defaults in Cyc
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
Ramanathan V. Guha
BMCBI
2008
130views more  BMCBI 2008»
15 years 4 months ago
FAF-Drugs2: Free ADME/tox filtering tool to assist drug discovery and chemical biology projects
Background: Drug discovery and chemical biology are exceedingly complex and demanding enterprises. In recent years there are been increasing awareness about the importance of pred...
David Lagorce, Olivier Sperandio, Hervé Gal...
134
Voted
OTM
2007
Springer
15 years 10 months ago
Hawkeye: A Practical Large Scale Demonstration of Semantic Web Integration
Abstract. We discuss our DLDB knowledge base system and evaluate its capability in processing a very large set of real-world Semantic Web data. Using DLDB, we have constructed the ...
Zhengxiang Pan, Abir Qasem, Sudhan Kanitkar, Fabia...
ATAL
2006
Springer
15 years 8 months ago
Verifying space and time requirements for resource-bounded agents
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
Natasha Alechina, Mark Jago, Piergiorgio Bertoli, ...
HICSS
2007
IEEE
94views Biometrics» more  HICSS 2007»
15 years 11 months ago
Towards Model Transformation Generation By-Example
— With the advent of Model-Driven Engineering (MDE) several model transformation approaches and languages have been developed in the last 5 years. Most of these existing approach...
Manuel Wimmer, Michael Strommer, Horst Kargl, Gerh...