Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 28th Australasian Joint Conference on Artificial Intelligence, AI 2015, held in Canberra, Australia, in November/December 2015. The 39 full papers and 18 short papers presented were carefully reviewed and selected from 102 submissions.

Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- Computer science. --- Algorithms. --- Mathematical logic. --- Data mining. --- Information storage and retrieval. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Data Mining and Knowledge Discovery. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Information Storage and Retrieval. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Informatics --- Science --- Foundations --- Computer software. --- Information storage and retrieva. --- Artificial Intelligence. --- Information retrieval. --- Software, Computer --- Computer systems --- Data retrieval --- Data storage --- Discovery, Information --- Information discovery --- Information storage and retrieval --- Retrieval of information --- Documentation --- Information science --- Information storage and retrieval systems --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 28th Australasian Joint Conference on Artificial Intelligence, AI 2015, held in Canberra, Australia, in November/December 2015. The 39 full papers and 18 short papers presented were carefully reviewed and selected from 102 submissions.

Information retrieval --- Mathematical logic --- Complex analysis --- Computer science --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- datamining --- complexe analyse (wiskunde) --- informatiesystemen --- wiskunde --- algoritmen --- KI (kunstmatige intelligentie) --- logica --- data acquisition

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Automatic hypothesis formation --- Logic programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

1 “Change is inevitable.” Embracing this quote we have tried to carefully experiment with the format of this conference, the 15th International Conference on Inductive Logic Programming, hopefully making it even better than it already was. But it will be up to you, the inquisitive reader of this book, to judge our success. The major changes comprised broadening the scope of the conference to include more diverse forms of non-propositional learning, to once again have tutorials on exciting new areas, and, for the ?rst time, to also have a discovery challenge as a platform for collaborative work. This year the conference was co-located with ICML 2005, the 22nd International Conference on Machine Learning, and also in close proximity to IJCAI 2005, the 19th International Joint Conference on Artificial Intelligence. - location can be tricky, but we greatly benefited from the local support provided by Codrina Lauth, Michael May, and others. We were also able to invite all ILP and ICML participants to shared events including a poster session, an invited talk, and a tutorial about the exciting new area of “statistical relational learning”. Two more invited talks were exclusively given to ILP participants and were presented as a kind of stock-taking—fittingly so for the 15th event in a series—but also tried to provide a recipe for future endeavors.

Software engineering. --- Artificial intelligence. --- Computer programming. --- Mathematical logic. --- Algorithms. --- Software Engineering/Programming and Operating Systems. --- Artificial Intelligence. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Logic programming --- Automatic hypothesis formation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

1 “Change is inevitable.” Embracing this quote we have tried to carefully experiment with the format of this conference, the 15th International Conference on Inductive Logic Programming, hopefully making it even better than it already was. But it will be up to you, the inquisitive reader of this book, to judge our success. The major changes comprised broadening the scope of the conference to include more diverse forms of non-propositional learning, to once again have tutorials on exciting new areas, and, for the ?rst time, to also have a discovery challenge as a platform for collaborative work. This year the conference was co-located with ICML 2005, the 22nd International Conference on Machine Learning, and also in close proximity to IJCAI 2005, the 19th International Joint Conference on Artificial Intelligence. - location can be tricky, but we greatly benefited from the local support provided by Codrina Lauth, Michael May, and others. We were also able to invite all ILP and ICML participants to shared events including a poster session, an invited talk, and a tutorial about the exciting new area of “statistical relational learning”. Two more invited talks were exclusively given to ILP participants and were presented as a kind of stock-taking—fittingly so for the 15th event in a series—but also tried to provide a recipe for future endeavors.

Software engineering. --- Artificial intelligence. --- Computer programming. --- Mathematical logic. --- Algorithms. --- Software Engineering/Programming and Operating Systems. --- Artificial Intelligence. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Logic programming --- Automatic hypothesis formation