Works matching IS 02182130 AND DT 2020 AND VI 29 AND IP 3/4

Results: 13

Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers.

Published in:

International Journal on Artificial Intelligence Tools, 2020, v. 29, n. 3/4, p. N.PAG, doi. 10.1142/S021821302060012X

By:

Schuppan, Viktor

Publication type:

Article

Acoustic Diversity Classification Using Machine Learning Techniques: Towards Automated Marine Big Data Analysis.

Published in:

International Journal on Artificial Intelligence Tools, 2020, v. 29, n. 3/4, p. N.PAG, doi. 10.1142/S0218213020600118

By:

Hachicha Belghith, Emna;
Rioult, François;
Bouzidi, Medjber

Publication type:

Article

Heterogeneous Island Models and Their Application to Recommender Systems and Electric Vehicle Charging.

Published in:

International Journal on Artificial Intelligence Tools, 2020, v. 29, n. 3/4, p. N.PAG, doi. 10.1142/S0218213020600106

By:

Balcar, Štěpán;
Pilát, Martin

Publication type:

Article

Building High Performance Explainable Machine Learning Models for Social Media-based Substance Use Prediction.

Published in:

International Journal on Artificial Intelligence Tools, 2020, v. 29, n. 3/4, p. N.PAG, doi. 10.1142/S021821302060009X

By:

Ding, Tao;
Hasan, Fatema;
Bickel, Warren K.;
Pan, Shimei

Publication type:

Article

Logical Encoding of Argumentation Frameworks with Higher-order Attacks and Evidential Supports.

Published in:

International Journal on Artificial Intelligence Tools, 2020, v. 29, n. 3/4, p. N.PAG, doi. 10.1142/S0218213020600039

By:

Cayrol, Claudette;
Lagasquie-Schiex, Marie-Christine

Publication type:

Article

Evaluating the Effects of Modern Storage Devices on the Efficiency of Parallel Machine Learning Algorithms.

Published in:

International Journal on Artificial Intelligence Tools, 2020, v. 29, n. 3/4, p. N.PAG, doi. 10.1142/S0218213020600088

By:

Akritidis, Leonidas;
Fevgas, Athanasios;
Tsompanopoulou, Panagiota;
Bozanis, Panayiotis

Publication type:

Article

ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators.

Published in:

International Journal on Artificial Intelligence Tools, 2020, v. 29, n. 3/4, p. N.PAG, doi. 10.1142/S0218213020600064

By:

Gotlieb, Arnaud;
Marijan, Dusica;
Spieker, Helge

Publication type:

Article

Possibilistic Networks: Computational Analysis of MAP and MPE Inference.

Published in:

International Journal on Artificial Intelligence Tools, 2020, v. 29, n. 3/4, p. N.PAG, doi. 10.1142/S0218213020600052

By:

Levray, Amélie;
Benferhat, Salem;
Tabia, Karim

Publication type:

Article

Selecting and Combining Classifiers Based on Centrality Measures.

Published in:

International Journal on Artificial Intelligence Tools, 2020, v. 29, n. 3/4, p. N.PAG, doi. 10.1142/S0218213020600040

By:

Assumpção Silva, Ronan;
Britto, Alceu S.;
Enembreck, Fabricio;
Sabourin, Robert;
Oliveira, Luiz S.

Publication type:

Article

Sparse Deep Neural Network Optimization for Embedded Intelligence.

Published in:

International Journal on Artificial Intelligence Tools, 2020, v. 29, n. 3/4, p. N.PAG, doi. 10.1142/S0218213020600027

By:

Bi, Jia;
Gunn, Steve R.

Publication type:

Article

Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting.

Published in:

International Journal on Artificial Intelligence Tools, 2020, v. 29, n. 3/4, p. N.PAG, doi. 10.1142/S0218213020600076

By:

Antunes, Mark;
Armant, Vincent;
Brown, Kenneth N.;
Desmond, Daniel;
Escamocher, Guillaume;
George, Anne-Marie;
Grimes, Diarmuid;
O'Keeffe, Mike;
Lin, Yiqing;
O'Sullivan, Barry;
Ozturk, Cemalettin;
Quesada, Luis;
Siala, Mohamed;
Simonis, Helmut;
Wilson, Nic

Publication type:

Article

Interval Tests and Contractors Based on Optimality Conditions for Bound-Constrained Global Optimization.

Published in:

International Journal on Artificial Intelligence Tools, 2020, v. 29, n. 3/4, p. N.PAG, doi. 10.1142/S0218213020600015

By:

Granvilliers, Laurent

Publication type:

Article

Editorial.

Published in:

2020

By:

Alamaniotis, Miltos

Publication type:

Editorial