11436 search results - page 2205 / 2288 » Modeling Real Reasoning |
119
Voted
LOGCOM
2000
15 years 2 months ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...
131
click to vote
SPE
2002
15 years 2 months ago
2002
Learning to work with enterprise frameworks requires considerable effort, because of the inherent complexity of all the knowledge that is needed. However, different roles in proje...
115
click to vote
IGPL
2008
15 years 2 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
131
click to vote
PVLDB
2008
15 years 2 months ago
2008
There has been a recent surge in work in probabilistic databases, propelled in large part by the huge increase in noisy data sources -from sensor data, experimental data, data fro...
157
click to vote
ESWS
2010
Springer
15 years 1 months ago
2010
Springer
Recent work in Ontology learning and Text mining has mainly focused on engineering methods to solve practical problem. In this thesis, we investigate methods that can substantially...