2 search results - page 1 / 1 » Embedding Non-Ground Logic Programs into Autoepistemic Logic... |
123
click to vote
IJCAI
2007
15 years 4 months ago
2007
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...
CORR
2008
Springer
15 years 2 months ago
2008
Springer
