共 50 条
- [21] An abductive framework for negation in disjunctive logic programming LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 252 - 267
- [22] Abductive logic programming with CIFF: System description LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 680 - 684
- [23] The iff proof procedure for abductive logic programming JOURNAL OF LOGIC PROGRAMMING, 1997, 33 (02): : 151 - 165
- [24] Abductive logic programming agents with destructive databases Annals of Mathematics and Artificial Intelligence, 2011, 62 : 129 - 158
- [26] An abductive logic programming architecture for negotiating agents LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 419 - 431
- [27] Abductive Logic Programming for Normative Reasoning and Ontologies NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2017, 10091 : 187 - 203
- [29] Abductive Plan Recognition by Extending Bayesian Logic Programs MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, PT II, 2011, 6912 : 629 - 644
- [30] Coherent integration of databases by abductive logic programming JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2004, 21 : 245 - 286