The following pages link to (Q4249898):
Displaying 8 items.
- Some techniques for proving termination of the hyperresolution calculus (Q861692) (← links)
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- Deciding the \(E^+\)-class by an a posteriori, liftable order (Q1577484) (← links)
- Deciding the guarded fragments by resolution (Q1867216) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- (Q2767089) (← links)
- PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT (Q5291329) (← links)
- Querying the Guarded Fragment (Q5417742) (← links)