Symmetric structure in logic programming
Journal of Computer Science and Technology
Open answer set programming with guarded programs
ACM Transactions on Computational Logic (TOCL)
Legal reasoning with argumentation schemes
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Max-ASP: Maximum Satisfiability of Answer Set Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Extended ASP tableaux and rule redundancy in normal logic programs
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Finite models for formal security proofs
Journal of Computer Security - 7th International Workshop on Issues in the Theory of Security (WITS'07)
Guarded open answer set programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Logic Programs, Norms and Action
An equational approach to logic programming
Correct Reasoning
Hi-index | 0.00 |