Inductive programming: Difference between revisions

Revision as of 21:35, 19 August 2017

Revision as of 03:26, 7 September 2017

Line 110:

|first1=J.W.|last1=Lloyd

|title=Knowledge Representation, Computation, and Learning in Higher-order Logic

|year=2001}}

|url=http://users.cecs.anu.edu.au/~jwl/logic.pdf}}

</ref><ref>

{{cite book

Line 197 ⟶ 198:

|journal=Proceedings of the Second Conference on Artificial General Intelligence

|pages=162–167

|year=2009}}

|url=http://www.cogsys.wiai.uni-bamberg.de/publications/cognigor-final.pdf}}

</ref> [[artificial general intelligence]],<ref>

{{cite journal