Sciweavers

2 search results - page 1 / 1
» Embedding Non-Ground Logic Programs into Autoepistemic Logic...
Sort
View
87
Voted
IJCAI
2007
15 years 9 days 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»
14 years 11 months ago
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans T...