Pages that link to "Item:Q1894662"
From MaRDI portal
The following pages link to Tractable reasoning in artificial intelligence (Q1894662):
Displaying 7 items.
- Fixed-parameter tractability of disjunction-free default reasoning (Q1400063) (← links)
- More on representation theory for default logic (Q1854447) (← links)
- Tractable reasoning using logic programs with intensional concepts (Q2055806) (← links)
- Annotation theories over finite graphs (Q2269516) (← links)
- Towards an efficient library for SAT: A manifesto (Q2741533) (← links)
- (Q3200589) (← links)
- Constraints on extensions of a default theory (Q5959353) (← links)