Qualifying the expressivity/efficiency tradeoff: reformation-based diagnosis
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Static analysis in datalog extensions
Journal of the ACM (JACM)
Logic-based techniques in data integration
Logic-based artificial intelligence
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Answering queries using views: A survey
The VLDB Journal — The International Journal on Very Large Data Bases
Principles of dataspace systems
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
ULDBs: databases with uncertainty and lineage
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Towards Agent-Oriented Relevant Information
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Propositional independence: formula-variable independence and forgetting
Journal of Artificial Intelligence Research
The hyper system: knowledge reformation for efficient first-order hypothetical reasoning
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
On logical consequence for collections of OWL documents
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A knowledge-based approach for automatic generation of summaries of behavior
AIMSA'06 Proceedings of the 12th international conference on Artificial Intelligence: methodology, Systems, and Applications
| Hi-index | 0.00 |