Sciweavers

711 search results - page 38 / 143
» Knowledge Representation and Reasoning in (Controlled) Natur...
Sort
View
NDT
2010
13 years 4 months ago
Ontology Based Tracking and Propagation of Provenance Metadata
Abstract. Tracking the provenance of application data is of key importance in the network environment due to the abundance of heterogeneous and controllable resources. We focus on ...
Miroslav Vacura, Vojtech Svátek
ATAL
2009
Springer
14 years 3 months ago
MABLE: a framework for learning from natural instruction
The Modular Architecture for Bootstrapped Learning Experiments (MABLE) is a system that is being developed to allow humans to teach computers in the most natural manner possible: ...
Roger Mailler, Daniel Bryce, Jiaying Shen, Ciaran ...
MKM
2005
Springer
14 years 2 months ago
Impasse-Driven Reasoning in Proof Planning
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
Andreas Meier, Erica Melis
ISMVL
1991
IEEE
145views Hardware» more  ISMVL 1991»
14 years 22 days ago
The Abnormality Predicate
We suggest a new representation of defeasible entailment and specificity in the framework of default logic. The representation is based on augmenting the underlying classical lan...
Eric Neufeld
SEMWEB
2005
Springer
14 years 2 months ago
Ontology Learning and Reasoning - Dealing with Uncertainty and Inconsistency
Ontology Learning from text aims at generating domain ontologies from textual resources by applying natural language processing and machine learning techniques. It is inherent in t...
Peter Haase, Johanna Völker