Sciweavers

1634 search results - page 66 / 327
» Reasoning about Knowledge Using Rough Sets
Sort
View
IPC
2007
IEEE
14 years 4 months ago
Context Selection and Reasoning in Ubiquitous Computing
Context reasoning refers to the process of giving high-level context deduction from a set of low-level contexts. It plays an indispensable role in ubiquitous computing. Most exist...
Donghai Guan, Weiwei Yuan, Sungyoung Lee, Young-Ko...
LPNMR
1999
Springer
14 years 2 months ago
Representing Transition Systems by Logic Programs
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
Vladimir Lifschitz, Hudson Turner
PADL
2010
Springer
14 years 7 months ago
Implementing Query Answering for Hybrid MKNF Knowledge Bases
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
Ana Sofia Gomes, José Júlio Alferes,...
CORR
2011
Springer
186views Education» more  CORR 2011»
13 years 5 months ago
A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
Ana Sofia Gomes, José Júlio Alferes,...
AAAI
2006
13 years 11 months ago
Using an Ontology for Knowledge Acquisition
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
Stacy Lovell, Webb Stacy