Work

Guiding Inferences in Connection Tableau by Recurrent Neural Networks

Year: 2020

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-030-53518-6_23

Authors: Bartosz Piotrowski, Josef Urban

Institution: University of Warsaw

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: European Regional Development Fund

OpenAlex ID: W3016174885

FWCI: 0.668

Cites: 23

Cited by: 9

Related to: 10