AB

Alan Bundy

University of Edinburgh 0000-0002-0578-6474

658

Publications

10,040

Citations

39

h-index

134

i10-index

Loading papers...

Search by keywords

Filter by Type

Book Chapter (355)
Article (277)
Book (11)
Preprint (10)
Other (2)

Filter by Open Access Type

Open Access (224)
Closed Access (434)

Filter by Authors

Alan Bundy (658)
Lincoln Wallen (232)
David Basin (23)
Andrew Ireland (21)
Alan Smaill (21)

Filter by Topics

Logic, programming, and type systems (159)
Logic, Reasoning, and Knowledge (125)
Semantic Web and Ontologies (112)
AI-based Problem Solving and Planning (85)
Formal Methods in Verification (70)