Results 331 to 340 of about 1,558,985 (350)

Automated Reasoning

2010
Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger   +5 more
openaire   +2 more sources

Towards Dependable and Explainable Machine Learning Using Automated Reasoning

IEEE International Conference on Formal Engineering Methods, 2018
Hadrien Bride, Jie Dong, Jin Song Dong, Zhé Hóu   +3 more
semanticscholar   +1 more source

Automated Reasoning over Provenance-Aware Communication Network Knowledge in Support of Cyber-Situational Awareness

Knowledge Science, Engineering and Management, 2018
L. Sikos, M. Stumptner, Wolfgang E Mayer, Catherine Howard, Shaun Voigt, Dean Philp   +5 more
semanticscholar   +1 more source

Automating Reasoning

2000
openaire   +1 more source

Automated Reasoning in the Age of the Internet

Artificial Intelligence and Symbolic Computation, 2018
A. Bundy, K. Nuamah, Christopher Lucas
semanticscholar   +1 more source

Automated Reasoning

2014
openaire   +3 more sources

Automated reasoning for attributed graph properties

International Journal on Software Tools for Technology Transfer (STTT), 2018
Sven Schneider, Leen Lambers, F. Orejas
semanticscholar   +1 more source

Automating Reasoning

1988
openaire   +1 more source

Automated Reasoning

2012
openaire   +1 more source

Automated Reasoning

2001
openaire   +1 more source