830 search results - page 5 / 166 » Topological Reasoning and The Logic of Knowledge |
OWLED
2007
13 years 9 months ago
2007
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
LICS
2002
IEEE
14 years 11 days ago
2002
IEEE
DLOG
2006
13 years 8 months ago
2006
DLOG
2011
12 years 11 months ago
2011
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...