ACM Transactions on Database Systems (TODS)
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
Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence
Optimal status sets of heterogeneous agent programs
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties
Fundamenta Informaticae
| Hi-index | 0.00 |