Pages that link to "Item:Q1327306"
From MaRDI portal
The following pages link to Logic program semantics and circumscription of autoepistemic theories (Q1327306):
Displaying 10 items.
- On the autoepistemic reconstruction of logic programming (Q685123) (← links)
- Autoepistemic circumscription and logic programming (Q1311407) (← links)
- Autoepistemic logic programming (Q1344887) (← links)
- Autoepistemic logic of first order and its expressive power (Q1344888) (← links)
- Uniform semantic treatment of default and autoepistemic logics (Q1853682) (← links)
- (Q3826524) (← links)
- (Q4032307) (← links)
- (Q4217934) (← links)
- (Q4246971) (← links)
- (Q4287518) (← links)