The following pages link to James J. Lu (Q211659):
Displaying 19 items.
- Protected completions of first-order general logic programs (Q911800) (← links)
- The completeness of gp-resolution for annotated logics (Q1205717) (← links)
- A framework for automated reasoning in multiple-valued logics (Q1272603) (← links)
- Interpreting disjunctive logic programs based on a strong sense of disjunction (Q1311401) (← links)
- Completeness issues in RUE-NRF deduction: The undecidability of viability (Q1311402) (← links)
- (Q2766946) (← links)
- Logic programming with signs and annotations (Q2785669) (← links)
- (Q3046854) (← links)
- (Q3490992) (← links)
- (Q3490993) (← links)
- Probabilistic object bases (Q3507287) (← links)
- (Q4246967) (← links)
- (Q4360108) (← links)
- A case study in the meta-reasoning procedure ND (Q4407241) (← links)
- (Q4501669) (← links)
- Logical Data Independence Reconsidered (Extended Abstract) (Q5450887) (← links)
- (Q5692880) (← links)
- \(\mho\)-resolution and hybrid knowledge bases (Q5947353) (← links)
- Automatic theorem proving in paraconsistent logics: Theory and implementation (Q6488523) (← links)