ACM Transactions on Database Systems (TODS)
Flexible support for multiple access control policies
ACM Transactions on Database Systems (TODS)
On the partial semantics for disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence
"Possible is certain'' is desirable and can be expressive
Annals of Mathematics and Artificial Intelligence
Fixed point theorems in logic programming
Annals of Mathematics and Artificial Intelligence
WFS + Branch and Bound = Stable Models
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Reasoning as Prioritized Argumentation
IEEE Transactions on Knowledge and Data Engineering
New Generation Computing
Removing permissions in the flexible authorization framework
ACM Transactions on Database Systems (TODS)
Autoepistemic Theory and Paraconsistent Logic Program
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
Creating objects in the flexible authorization framework
DBSEC'06 Proceedings of the 20th IFIP WG 11.3 working conference on Data and Applications Security
Non-monotonic negation in probabilistic deductive databases
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Logic programming for Boolean networks
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
To vladimir lifschitz on his 65th birthday
Correct Reasoning
Oscillating behavior of logic programs
Correct Reasoning
Hi-index | 0.00 |