Proceedings of the second international workshop on Logic programming and non-monotonic reasoning

Authors:
Luís Moniz Pereira;Anil Nerode
Affiliations:
-;Cornell Univ., Ithaca, NY
Venue:
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Year:
1993

Citing 0
Cited 4

Sequent calculi for propositional nonmonotonic logics

ACM Transactions on Computational Logic (TOCL)
A Correct Logic Programming Computation of Default Logic Extensions

Journal of Automated Reasoning
Nonmonotonic Logic Programming

IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic reasoning: towards efficient calculi and implementations

Handbook of automated reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract