共 50 条
- [41] The Modal Logic of Bayesian Belief Revision Journal of Philosophical Logic, 2019, 48 : 809 - 824
- [42] Characterization Theorems for Revision of Logic Programs LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 485 - 498
- [46] Tightly integrated probabilistic description logic programs for the semantic Web LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 428 - +
- [48] Improving the efficiency of inductive logic programming through the use of query packs JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2002, 16 : 135 - 166