Open AccessCapability Discovery for Automated Reasoning Systems
Author(s) -
Alexander Steen,
Max Wisniewski,
Hans-Jörg Schurr,
Christoph Benzmüller
Publication year - 2018
Publication title -
kalpa publications in computing
Language(s) - Uncategorized
Resource type - Conference proceedings
ISSN - 2515-1762
DOI - 10.29007/fsv3
Subject(s) - computer science , automated reasoning , reasoning system , extensibility , software engineering , software , protocol (science) , simple (philosophy) , model based reasoning , compatibility (geochemistry) , programming language , artificial intelligence , knowledge representation and reasoning , engineering , medicine , philosophy , alternative medicine , epistemology , pathology , chemical engineering
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom