Sciweavers

2 search results - page 1 / 1
» Embedding Non-Ground Logic Programs into Autoepistemic Logic...
Sort
View
83
Voted
IJCAI
2007
14 years 11 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...
62
Voted
CORR
2008
Springer
128views Education» more  CORR 2008»
14 years 10 months ago
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans T...