2585 search results - page 26 / 517 » Automating Coherent Logic |
DLOG
2009
15 years 28 days ago
2009
137
click to vote
LPNMR
2005
Springer
15 years 8 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
136
click to vote
INLG
2010
Springer
15 years 1 months ago
2010
Springer
Ontologies and datasets for the Semantic Web are encoded in OWL formalisms that are not easily comprehended by people. To make ontologies accessible to human domain experts, sever...