Searching for authors named Xianchang Wang – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Compiling Defeasible Inheritance Networks to General Logic Programs
- …Compiling Defeasible Inheritance Networks to General Logic Programs Jia-Huai You, Xianchang Wang…
- Add To MetaCart
-
Disjunctive Logic Programming as Constrained Inferences
- …Disjunctive Logic Programming as Constrained Inferences Jia-Huai You, Xianchang Wang, Li-Yan Yuan…
- Cited by 6 (5 self) – Add To MetaCart
-
The Complexity of Enhanced Path-Based Defeasible Inheritance Network
- …The Complexity of Enhanced Path-Based Defeasible Inheritance Network Xianchang Wang, Jia-Huai You…
- Add To MetaCart
-
Circumscription by Inference Rules with Priority
- …Circumscription by Inference Rules with Priority Xianchang Wang, Jia-Huai You, and Li Yan Yuan 1…
- Add To MetaCart
-
On Confluence Property of Active Databases with Meta-Rules
- …On Confluence Property of Active Databases with Meta-Rules Xianchang Wang, Jia-Huai You, Li Yan…
- Add To MetaCart
-
A Default Interpretation of Defeasible Network
- …A default interpretation of defeasible network Xianchang Wang, Jia-Huai You, Li Yan Yuan…
- Cited by 4 (1 self) – Add To MetaCart
-
Compiling Defeasible Inheritance Networks to General Logic Programs
- …Compiling Defeasible Inheritance Networks to General Logic Programs 1 Jia-Huai You 2 , Xianchang…
- Cited by 5 (1 self) – Add To MetaCart
-
Nonmonotonic Reasoning by Monotonic Inferences with Priority Constraints
- …Nonmonotonic Reasoning by Monotonic Inferences with Priority Constraints Xianchang Wang, Jia…
- Cited by 9 (2 self) – Add To MetaCart
-
Logic Programming Without Default Negation Revisited
- …Logic programming without default negation revisited Xianchang Wang, Jia-Huai You, Li Yan Yuan…
- Cited by 10 (3 self) – Add To MetaCart
-
On Confluence Property of Active Database with Meta-Rules
- …On Confluence Property of Active Database with Meta-Rules Xianchang Wang, Jia-Huai You, Li Yan Yuan…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
