Foreword to the Special Issue on Automated Reasoning.
- Published in:
- AI Communications, 2018, v. 31, n. 3, p. 235, doi. 10.3233/AIC-180765
- By:
- Publication type:
- Article
Works matching IS 09217126 AND DT 2018 AND VI 31 AND IP 3
Results: 7
1
2
Programming and verifying a declarative first-order prover in Isabelle/HOL.
- Published in:
- AI Communications, 2018, v. 31, n. 3, p. 281, doi. 10.3233/AIC-180764
- By:
- Publication type:
- Article
3
Towards backbone computing: A Greedy-Whitening based approach.
- Published in:
- AI Communications, 2018, v. 31, n. 3, p. 267, doi. 10.3233/AIC-180763
- By:
- Publication type:
- Article
4
Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems<sup>1</sup>.
- Published in:
- AI Communications, 2018, v. 31, n. 3, p. 251, doi. 10.3233/AIC-180762
- By:
- Publication type:
- Article
5
Hierarchical invention of theorem proving strategies.
- Published in:
- AI Communications, 2018, v. 31, n. 3, p. 237, doi. 10.3233/AIC-180761
- By:
- Publication type:
- Article
6
Consensus-finding that preserves mutually conflicting hypothetical information from a same agent.
- Published in:
- AI Communications, 2018, v. 31, n. 3, p. 303, doi. 10.3233/AIC-170749
- By:
- Publication type:
- Article
7
Regular Section – Boolean Logic.
- Published in:
- AI Communications, 2018, v. 31, n. 3, p. 301
- Publication type:
- Article