


default search action
AI Communications, Volume 31
Volume 31, Number 1, 2018
- Carlos Linares López
:
Demonstrations Track of the 25th International Joint Conference on Artificial Intelligence. 1 - Jacobo Rouces, Gerard de Melo, Katja Hose
:
Addressing structural and linguistic heterogeneity in the Web. 3-18 - Muhammad Rizwan Saeed, Charalampos Chelmis
, Viktor K. Prasanna:
ASQFor: Automatic SPARQL query formulation for the non-expert. 19-32 - Yu Lu
, Zeng Zeng, Huayu Wu, Gim Guan Chua, Jingjing Zhang:
An intelligent system for taxi service: Analysis, prediction and visualization. 33-46 - Andrea Marrella, Massimo Mecella
, Sebastian Sardiña
:
Supporting adaptiveness of cyber-physical processes through action-based formalisms. 47-74 - Mauro Dragoni, Célia da Costa Pereira
, Andrea G. B. Tettamanzi, Serena Villata:
Combining argumentation and aspect-based opinion mining: The SMACk system. 75-95 - Domenico Lembo
, Daniele Pantaleone, Valerio Santarelli, Domenico Fabio Savo
:
Drawing OWL 2 ontologies with Eddy the editor. 97-113
Volume 31, Number 2, 2018
- Mark Roberts, Daniel Borrajo
, Michael Cox, Neil Yorke-Smith:
Special issue on goal reasoning. 115-116
- Raquel Fuentetaja
, Daniel Borrajo
, Tomás de la Rosa:
Anticipation of goals in automated planning. 117-135 - Alberto Pozanco, Susana Fernández
, Daniel Borrajo
:
Learning-driven goal generation. 137-150 - Mark A. Wilson, James McMahon, Artur Wolek, David W. Aha
, Brian H. Houston:
Goal reasoning for autonomous underwater vehicles: Responding to unexpected agents. 151-166 - Sriram Gopalakrishnan, Héctor Muñoz-Avila, Ugur Kuter:
Learning task hierarchies using statistical semantics and goal reasoning. 167-180 - Justin Karneeb, Michael W. Floyd, Philip Moore, David W. Aha
:
Distributed discrepancy detection for a goal reasoning agent in beyond-visual-range air combat. 181-195 - Zohreh A. Dannenhauer, Michael T. Cox:
Rationale-based perceptual monitors. 197-212 - Christine Task, Mark A. Wilson, Matthew Molineaux, David W. Aha
:
Investigating the solution space for online iterative explanation in goal reasoning agents. 213-233
Volume 31, Number 3, 2018
- Pascal Fontaine, Cezary Kaliszyk, Stephan Schulz, Josef Urban:
Foreword to the Special Issue on Automated Reasoning. 235-236
- Jan Jakubuv, Josef Urban:
Hierarchical invention of theorem proving strategies. 237-250 - Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai:
Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems. 251-266 - Yueling Zhang, Min Zhang, Geguang Pu, Fu Song, Jianwen Li:
Towards backbone computing: A Greedy-Whitening based approach. 267-280 - Alexander Birch Jensen
, John Bruntse Larsen, Anders Schlichtkrull, Jørgen Villadsen
:
Programming and verifying a declarative first-order prover in Isabelle/HOL. 281-299
- Éric Grégoire, Jean-Marie Lagniez, Du Zhang:
Consensus-finding that preserves mutually conflicting hypothetical information from a same agent. 303-317
Volume 31, Number 4, 2018
- Thanh Nguyen
, Snehasis Mukhopadhyay:
Two-phase selective decentralization to improve reinforcement learning systems with MDP. 319-337 - Sharad Gupta
, Sudip Sanyal:
INNAMP: An incremental neural network architecture with monitor perceptron. 339-353 - Eivind Jahren, Roberto Javier Asín Achá
:
Resizing cardinality constraints for MaxSAT. 355-367 - Dangdang Niu, Lei Liu, Shuai Lü
:
New stochastic local search approaches for computing preferred extensions of abstract argumentation. 369-382
Volume 31, Number 5, 2018
- Mario Alviano, Gianluigi Greco, Antonella Guzzo:
Coalition formation in social environments with logic-based agents. 383-407 - Juan M. Alberola
, Elena del Val
, Ângelo Costa
, Paulo Novais
, Vicente Julián
:
A genetic algorithm for group formation in elderly communities. 409-425 - Pablo Chamoso
, Sara Rodríguez, Fernando de la Prieta
, Javier Bajo:
Classification of retinal vessels using a collaborative agent-based architecture. 427-444
Volume 31, Number 6, 2018
- Andrea F. Bocchese, Chris Fawcett, Mauro Vallati
, Alfonso Emilio Gerevini
, Holger H. Hoos:
Performance robustness of AI planners in the 2014 International Planning Competition. 445-463 - Daniel Andrade, Bing Bai, Ramkumar Rajendran, Yotaro Watanabe:
Leveraging knowledge bases for future prediction with memory comparison networks. 465-483 - Luc Steels, Ramón López de Mántaras:
The Barcelona declaration for the proper development and usage of artificial intelligence in Europe. 485-494 - Geoff Sutcliffe
:
The 9th IJCAR Automated Theorem Proving System Competition - CASC-J9. 495-507

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.