Default Logic

A non-monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions.

github

discord

envelope

twitter

Copyright © 2022 The Linux Foundation® . All rights reserved. The Linux Foundation has registered trademarks and uses trademarks. For a list of trademarks of The Linux Foundation, please see our Trademark Usage page. Linux is a registered trademark of Linus Torvalds. Privacy Policy and Terms of Use.

Close Menu

About
- Overview
- Contact Us
Community
News and Events
- Announcements
- Events
Resources
Become a Member