Volume 32, Numbers 5-6, 2019
The CADE-27 Automated theorem proving System Competition - CASC-27.

Geoff Sutcliffe

A feature selection approach combining neural networks with genetic algorithms.

Zhi Huang

Improving strategic decision making by the detection of weak signals in heterogeneous documents by text mining techniques.

Israel Griol-Barres Sergio Milla José Millet-Roig


Volume 32, Number 4, 2019
Approximating agreements in formal argumentation dialogues.

Juan Carlos Nieves

Using Semantic Web technologies and production rules for reasoning on obligations, permissions, and prohibitions.

Nicoletta Fornara Marco Colombetti

Algorithms for recursive delegation.

Juan Afanador Murilo S. Baptista Nir Oren

Modelling deception using theory of mind in multi-agent systems.

Stefan Sarkadi Alison R. Panisson Rafael H. Bordini Peter McBurney Simon Parsons Martin Chapman

Stream-based perception for cognitive agents in mobile ecosystems.

Jeremias Dötterl Ralf Bruns Jürgen Dunkel Sascha Ossowski

Duplication monotonicity in the allocation of indivisible goods.

Benno Kuckuck Jörg Rothe


Volume 32, Number 2, 2019
Why the 'selfish' optimizing agents could solve the decentralized reinforcement learning problems.

Thanh Nguyen Snehasis Mukhopadhyay Meghna Babbar-Sebens

Fuzzy-genetic approach to context-aware recommender systems based on the hybridization of collaborative filtering and reclusive method techniques.

Sonal Linda Sonajharia Minz Kamal Kant Bharadwaj

Routing for on-street parking search using probabilistic data.

Tobias Friedrich Martin S. Krejca Ralf Rothenberger Tobias Arndt Danijar Hafner Thomas Kellermeier Simon Krogmann Armin Razmjou

Handwriting recognition by using deep learning to extract meaningful features.

Joan Pastor-Pellicer María José Castro Bleda Salvador España Boquera Francisco Zamora-Martínez