629 search results - page 72 / 126 » Reasoning About Knowledge of Unawareness |
AAAI
2007
13 years 11 months ago
2007
A traditional goal of Artificial Intelligence research has been a system that can read unrestricted natural language texts on a given topic, build a model of that topic and reason...
FOIS
2006
13 years 10 months ago
2006
The field of BioInformatics has become a major venue for the development and application of computational ontologies. Ranging from controlled vocabularies to annotation of experim...
ER
2007
Springer
14 years 26 days ago
2007
Springer
Abstract. Definitions of the concepts derived from the goal concept (including functional and nonfunctional goal, hardgoal, and softgoal) used in requirements engineering are discu...
LFCS
2007
Springer
14 years 3 months ago
2007
Springer
LP can be seen as a logic of knowledge with justifications. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikk...
SAINT
2006
IEEE
14 years 3 months ago
2006
IEEE
Context-awareness is starting to emerge as a key driving principle for the design and provisioning of pervasive services in pervasive computing environments. Semantic languages se...