Large theory reasoning with SUMO at CASC

Citation topics: 4 Electrical Engineering, Electronics & Computer Science; 4.47 Software Engineering; 4.47.281 Abstract Interpretation
Web Of Science research areas: Computer Science, Artificial Intelligence
ESI research areas: Engineering

UN Sustainable Development Goals (SDGs)

This output has contributed to the advancement of the following goals:

Source: InCites

Title: Large theory reasoning with SUMO at CASC
Creators: Adam Pease - Articulate Software, USA. E-mails: {apease, nsiegel}@articulatesoftware.com
Geoff Sutcliffe - University of Miami, Miami, FL, USA. E-mails: {geoff, strac}@cs.miami.edu
Nick Siegel - Articulate Software, USA. E-mails: {apease, nsiegel}@articulatesoftware.com
Steven Trac - University of Miami, Miami, FL, USA. E-mails: {geoff, strac}@cs.miami.edu
Publication Details: Ai communications, Vol.23(2-3), pp.137-144
Academic Unit: Leadership Department; College of A&S; A&S - Computer Science
Language: English
Resource Type: Journal article
Record Identifier: 991031576168702976