Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning

Authors:
V. Wiktor Marek;Anil Nerode
Affiliations:
-;-
Venue:
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Year:
1995

Citing 0
Cited 3

Sequent calculi for propositional nonmonotonic logics

ACM Transactions on Computational Logic (TOCL)
Nonmonotonic reasoning: towards efficient calculi and implementations

Handbook of automated reasoning
Logic-based knowledge representation

Artificial intelligence today

Quantified Score

Hi-index	0.01

Visualization

Abstract