Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Logic knowledge bases with two default rules
Annals of Mathematics and Artificial Intelligence
Three-Valued Constructive Logic and Logic Programs
ISMVL '95 Proceedings of the 25th International Symposium on Multiple-Valued Logic
Logic programming with default, weak and strict negations
Theory and Practice of Logic Programming
Foundations of Paraconsistent Resolution
Fundamenta Informaticae
Explicit and default negation in databases and logic programs
Proceedings of the 2nd SIGMOD PhD workshop on Innovative database research
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Query Answering in Belief Logic Programming
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
Theory and Practice of Logic Programming
On the equivalence between the L1 action language and partial actions in transaction logic
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Reasoning with actions in transaction logic
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Routley semantics for answer sets
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Formalizing production systems with rule-based ontologies
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Foundations of Paraconsistent Resolution
Fundamenta Informaticae
Semantics For Disjunctive Logic Programs With Explicit And Default Negation
Fundamenta Informaticae
| Hi-index | 0.00 |