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
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
First order heterogeneous agent computations
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Optimal status sets of heterogeneous agent programs
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Annals of Mathematics and Artificial Intelligence
A First Order Forward Chaining Approach for Answer Set Computing
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Credulous resolution for answer set programming
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Loop-separable programs and their first-order definability
Artificial Intelligence
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |