AB
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)