WUENIC - A Case Study in Rule-Based Knowledge Representation and Reasoning
暂无分享,去创建一个
[1] Henry Prakken,et al. A dialectical model of assessing conflicting arguments in legal reasoning , 1996, Artificial Intelligence and Law.
[2] Phan Minh Dung,et al. On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..
[3] Robert A. Kowalski,et al. Computational Logic and Human Thinking: How to Be Artificially Intelligent , 2011 .
[4] Rouslan Karimov,et al. WHO and UNICEF estimates of national infant immunization coverage: methods and processes. , 2009, Bulletin of the World Health Organization.
[5] Benjamin N. Grosof,et al. A declarative approach to business rules in contracts: courteous logic programs in XML , 2015, EC '99.
[6] Marek J. Sergot,et al. The British Nationality Act as a logic program , 1986, CACM.
[7] Phan Minh Dung,et al. An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..
[8] Robert A. Kowalski,et al. Logic for problem solving , 1982, The computer science library : Artificial intelligence series.
[9] Konstantinos Sagonas,et al. XSB as an efficient deductive database engine , 1994, SIGMOD '94.
[10] Anthony H. Burton,et al. A Summary of Global Routine Immunization Coverage Through 2010 , 2011 .
[11] Robert A. Kowalski,et al. Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents , 2009, RR.
[12] Phan Minh Dung,et al. Dialectic proof procedures for assumption-based, admissible argumentation , 2006, Artif. Intell..