Sciweavers

654 search results - page 122 / 131
» Graph-based Knowledge Representation and Reasoning
Sort
View
SEC
1996
15 years 29 days ago
Intention modelling: approximating computer user intentions for detection and prediction of intrusions
This paper introduces and describes an innovative modelling approach which utilises models that are synthesised through approximate calculations of user actions and extensive repr...
Thomas Spyrou, John Darzentas
AAAI
1990
15 years 24 days ago
The Intelligent Database Interface: Integrating AI and Database Systems
The Intelligent Database Interface (IDI) is a cache-based interface that is designed to provide Artificial Intelligence systems with efficient access to one or more databases on o...
Donald P. McKay, Timothy W. Finin, Anthony B. O'Ha...
JAPLL
2006
112views more  JAPLL 2006»
14 years 11 months ago
Intuitionistic hybrid logic
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
Torben Braüner, Valeria de Paiva
ENTCS
2007
109views more  ENTCS 2007»
14 years 11 months ago
Hybrid Logics and Ontology Languages
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...
Ian Horrocks, Birte Glimm, Ulrike Sattler
TITB
2002
142views more  TITB 2002»
14 years 11 months ago
Building a bioinformatics ontology using OIL
This paper describes the initial stages of building an ontology of bioinformatics and molecular biology. The conceptualisation is encoded using the Ontology Inference Layer (OIL),...
Robert Stevens, Carole A. Goble, Ian Horrocks, Sea...