City, University of London
UniversityLondon, United Kingdomin the agglomeration of London
People (9)
Core (2)
- Artur d'Avila Garcezcurrent · 2002–2026 on 152 papers · employment (Wikidata)3 papers here · 826 citations
- Chenxi Whitehouse2022–2023 on 7 papers6 papers here · 370 citations
Also published with this affiliation (7)
- Long Zhou2008–2009 on 2 papers6 papers here · 1,250 citations
- Jimmy Xiangji Huangeducation (ORCID)2 papers here · 740 citations
- David Corney2013 on 2 papers3 papers here · 586 citations
- Pranava Madhyasthacurrent · 2021–2026 on 22 papers · employment (ORCID)2 papers here · 469 citations
- Rodrigo Agerri2002–2005 on 3 papers6 papers here · 348 citations
- Mourad Oussalah2002–2005 on 16 papers · employment (Wikidata)2 papers here · 58 citations
- Chandrasekhar Kambhampati1988–1989 on 3 papers · education (Wikidata)2 papers here · 1 citation
Works in our library (2)
- cvc5: A Versatile and Industrial-Strength SMT SolverLecture notes in computer scienceHaniel Barbosa, Clark Barrett, Martin Brain, et al.2022 · 487 citations
- Logic Tensor NetworksArtificial IntelligenceSamy Badreddine, Artur d'Avila Garcez, Luciano Serafini, et al.2020 · 276 citations
Works by year
2020s
Fields, topics and concepts
📚 Shelves 4The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksArtificial Intelligence · 2 worksComputational Theory and Mathematics · 1 workSoftware · 1 work
🧭 Topics 2Research subjects and languages the work is about.Machine translation · 1 workReasoning · 1 work
💡 Concepts 1Key ideas and methods explained on our concept pages.Artificial intelligence · 1 work
Collaborates with
- Stanford University1 work shared
- Bar-Ilan University1 work shared
- Fondazione Bruno Kessler1 work shared
- Universidade Federal de Minas Gerais1 work shared
- Sony Computer Science Laboratories1 work shared
- University of Iowa1 work shared
Parent and units
Part of University of London
Related Moorfields Eye Hospital
Updated
This page in Markdown → https://md.research.elamur.ai/free/en/universities/city-university-of-london/