Lakatos-style reasoning

Alison Pease, Simon Colton, Alan Smaill, John Lee

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the Automated Reasoning Workshop, Imperial College, London
Place of Publication	London
Publisher	Society for the Study of Artificial Intelligence and Simulation of Behaviour
ISBN (Print)	1902956265
Publication status	Published - 2002
Event	9th workshop on Automated Reasoning - Imperial College, London, United Kingdom Duration: 3 Apr 2002 → 4 Apr 2002 http://www.aisb.org.uk/convention/aisb02/#symposia

Conference	9th workshop on Automated Reasoning
Country/Territory	United Kingdom
City	London
Period	3/04/02 → 4/04/02
Internet address	http://www.aisb.org.uk/convention/aisb02/#symposia

Access to Document

@inproceedings{8fef9eb213514897989a91a57e0cc630,

title = "Lakatos-style reasoning",

author = "Alison Pease and Simon Colton and Alan Smaill and John Lee",

year = "2002",

language = "English",

isbn = "1902956265",

booktitle = "Proceedings of the Automated Reasoning Workshop, Imperial College, London",

publisher = "Society for the Study of Artificial Intelligence and Simulation of Behaviour",

note = "9th workshop on Automated Reasoning ; Conference date: 03-04-2002 Through 04-04-2002",

url = "http://www.aisb.org.uk/convention/aisb02/#symposia",

}

TY - GEN

T1 - Lakatos-style reasoning

AU - Pease, Alison

AU - Colton, Simon

AU - Smaill, Alan

AU - Lee, John

PY - 2002

Y1 - 2002

M3 - Conference contribution

SN - 1902956265

BT - Proceedings of the Automated Reasoning Workshop, Imperial College, London

PB - Society for the Study of Artificial Intelligence and Simulation of Behaviour

CY - London

T2 - 9th workshop on Automated Reasoning

Y2 - 3 April 2002 through 4 April 2002

ER -