Using clausal deductive databases for defining semantics in disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence
Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Reducing propositional theories in equilibrium logic to logic programs
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Information flow in trust management systems
Journal of Computer Security - CSF 2010
Hi-index | 0.02 |