Imperial College London
Alternate

ProfessorJeffKramer

Faculty of Engineering, Department of Computing

Honorary Emeritus Professor of Distributed Computing
 
 
 
//

Contact

 

j.kramer Website

 
 
//

Assistant

 

Mrs Bridget Gundry +44 (0)20 7594 1245

 
//

Location

 

571Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Alrajeh:2016:10.1145/2889160.2891050,
author = {Alrajeh, D and Russo, A and Uchitel, S and Kramer, J},
doi = {10.1145/2889160.2891050},
pages = {892--893},
publisher = {IEEE},
title = {Logic-based learning in software engineering},
url = {http://dx.doi.org/10.1145/2889160.2891050},
year = {2016}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - In recent years, research efforts have been directed towards the use of Machine Learning (ML) techniques to support and automate activities such as program repair, specification mining and risk assessment. The focus has largely been on techniques for classification, clustering and regression. Although beneficial, these do not produce a declarative, interpretable representation of the learned information. Hence, they cannot readily be used to inform, revise and elaborate software models. On the other hand, recent advances in ML have witnessed the emergence of new logic-based learning approaches that differ from traditional ML in that their output is represented in a declarative, rule-based manner, making them well-suited for many software engineering tasks.In this technical briefing, we will introduce the audience to the latest advances in logic-based learning, give an overview of how logic-based learning systems can successfully provide automated support to a variety of software engineering tasks, demonstrate the application to two real case studies from the domain of requirements engineering and software design and highlight future challenges and directions.
AU  - Alrajeh,D
AU  - Russo,A
AU  - Uchitel,S
AU  - Kramer,J
DO  - 10.1145/2889160.2891050
EP  - 893
PB  - IEEE
PY  - 2016///
SP  - 892
TI  - Logic-based learning in software engineering
UR  - http://dx.doi.org/10.1145/2889160.2891050
UR  - http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000402155300152&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
UR  - http://hdl.handle.net/10044/1/53065
ER  -
Download