Sciweavers

2 search results - page 1 / 1
» Embedding Non-Ground Logic Programs into Autoepistemic Logic...
Sort
View
IJCAI
2007
13 years 6 months ago
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination
In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic, and rule bases have been propo...
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans T...
CORR
2008
Springer
128views Education» more  CORR 2008»
13 years 4 months ago
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans T...