Stratification and Tractability in Nonmonotonic Reasoning

Research output: Working paperProfessional

Researchers

Research units

Details

Original languageEnglish
Place of PublicationEspoo
Publication statusPublished - 1992
MoE publication typeD4 Published development or research report or study

Publication series

NameDigital Systems Laboratory, Series A: Research Reports
PublisherHelsinki University of Technology
No.20

    Research areas

  • autoepistemic logic, nonmonotonic reasoning, stratification, tractability

ID: 5255926