Journal: International Journal on Artificial Intelligence Tools

Volume 15, Issue 6

863 -- 866. Preface
867 -- 874Lawrence B. Holder, Zdravko Markov, Ingrid Russell. Advances in Knowledge Acquisition and Representation
875 -- 892Gaurav Tandon, Philip K. Chan. On the Learning of System Call Attributes for Host-based Anomaly Detection
893 -- 916Jiang Li, Jianhua Yao, Ronald M. Summers, Nicholas Petrick, Michael T. Manry, Amy K. Hara. An Efficient Feature Selection Algorithm for Computer-aided Polyp Detection
917 -- 944Jeffrey Coble, Diane J. Cook, Lawrence B. Holder. Structure Discovery in Sequentially-connected Data Streams
945 -- 962John O Donovan, Barry Smyth. Mining Trust Values from Recommendation Errors
963 -- 978Ziad Kobti, Robert G. Reynolds, Timothy A. Kohler. The Emergence of Social Network Hierarchy Using Cultural Algorithms
979 -- 1006Daniel Pless, Chayan Chakrabarti, Roshan Rammohan, George F. Luger. The Design and Testing of a First-order Logic-based Stochastic Modeling Language
1007 -- 1020Ismaïl Biskri, Jean-Pierre Desclés, Boucif Amar Bensaber. Coordination and Applicative Categorial Type Logic
1021 -- 1040Max M. Louwerse, Zhiqiang Cai, Xiangen Hu, Matthew Ventura, Patrick Jeuniaux. Cognitively Inspired Nlp-based Knowledge Representations: Further Explorations of Latent Semantic Analysis
1041 -- 1052Jean-Pierre Desclés, Anca Pascu. Logic of Determination of Objects: the Meaning of Variable in Quantification
1053 -- 1070Geoff Sutcliffe. Semantic Derivation Verification: Techniques and Implementation
1071 -- 1090Alfred Ka Yiu Wong, Nandan Paramesh, Pradeep Ray. Towards an Ontology Mapping Approach for Security Management
1091 -- 1106Markus Nilsson. Retrieving Heart Rate Sequences

Volume 15, Issue 5

695 -- 710Daniele Masotti, Elisa Ficarra, Enrico Macii, Luca Benini. Optimized Technique for Dna Structural Properties Discovering
711 -- 724Reiichiro Nakamichi, Seiya Imoto, Satoru Miyano. Statistical Model Selection Method to Analyze Combinatorial Effects of Snps and Environmental Factors for Binary Disease
725 -- 740Eunice E. Santos, Eugene Santos Jr.. Effective Computational Reuse for Energy Evaluations in Protein Folding
741 -- 752Wieslaw Lucjan Nowinski. Virtual Reality in Brain Intervention
753 -- 766Rong-Ming Chen, Kuei-Chung Shih, Rouh-Mei Hu, Jeffrey J. P. Tsai. Predicting Cancerous Genes Based on Regulation Truth Tables
767 -- 778Phanni Penumatsa, Matthew Ventura, Arthur C. Graesser, Max M. Louwerse, Xiangen Hu, Zhiqiang Cai, Donald R. Franceschetti. The Right Threshold Value: What Is the Right Threshold of Cosine Measure When Using Latent Semantic Analysis for Evaluating Student Answers?
779 -- 802Amol Dattatraya Mali, Ying Liu. T-satplan: a Sat-based Temporal Planner
803 -- 822Ping Yan, Mingyue Ding, Changwen Zheng. Mission-adaptable Route Planning in Uncertain and Adversarial Environment
823 -- 838Efstathios Stamatatos. Authorship Attribution Based on Feature Set Subspacing Ensembles
839 -- 848Olcay Kursun, Anna Koufakou, Abhijit Wakchaure, Michael Georgiopoulos, Kenneth M. Reynolds, Ronald Eaglin. Answer: ::::approximate Name Search with Errors:::: in Large Databases by a Novel Approach Based on Prefix-dictionary
849 -- 854Juan Jose García Adeva, Juan Manuel Pikatza. Web Misuse Detection through Text Categorisation of Application Server Logs
855 -- 861Ju Jiang, Mohamed S. Kamel, Lei Chen. Aggregation of Multiple Reinforcement Learning Algorithms

Volume 15, Issue 4

491 -- 494Bill Z. Manaris, Penousal Machado. Preface
495 -- 514Søren Tjagvad Madsen, Gerhard Widmer. Exploring Pianist Performance Styles with Evolutionary String Matching
515 -- 550Hugo Liu, Pattie Maes. Rendering Aesthetic Impressions of Text in Color Space
551 -- 576John P. Collomosse, Peter M. Hall. Salience-adaptive Painterly Rendering Using Genetic Search
577 -- 598Gary Greenfield. Genetic Learning for Biologically Inspired Aesthetic Processes
599 -- 622James Mandelis, Phil Husbands. Genophone: Evolving Sounds and Integral Performance Parameter Mappings
623 -- 650Judy A. Franklin. Jazz Melody Generation Using Recurrent Networks and Reinforcement Learning
651 -- 672Evelyne Lutton. Evolution of Fractal Shapes for Artists and Designers
673 -- 691Rafael Ramirez, Amaury Hazan. A Tool for Generating and Explaining Expressive Music Performances of Monophonic Jazz Melodies

Volume 15, Issue 3

331 -- 334George D. Magoulas, Georgios Dounias, Derek A. Linkens. Preface
335 -- 352Ilias N. Flaounas, Dimitrios K. Iakovidis, Dimitrios E. Maroulis. Cascading SVMS as a Tool for Medical Diagnosis Using Multi-class Gene Expression Data
353 -- 370Tie-Fei Liu, Wing-Kin Sung, Ankush Mittal. Learning Gene Network Using Time-delayed Bayesian Network
371 -- 396Vasileios L. Georgiou, Nicos G. Pavlidis, Konstantinos E. Parsopoulos, Philipos D. Alevizos, Michael N. Vrahatis. New Self-adaptive Probabilistic Neural Networks in Bioinformatic and Medical Tasks
397 -- 410Mannes Poel, Taco Ekkel. Analyzing Infant Cries Using a Committee of Neural Networks in Order to Detect Hypoxia Related Disorder
411 -- 432George Georgoulas, Chrysostomos D. Stylios, Peter P. Groumpos. Feature Extraction and Classification of Fetal Heart Rate Using Wavelet Analysis and Support Vector Machines
433 -- 464Amol Dattatraya Mali, Minh Tang. State-space Planning with Variants of A*
465 -- 480Enhong Chen, Shu Wang, Phillip C.-Y. Sheu. A Novel Approach of Table Detection and Analysis for Semantic Annotation
481 -- 489Yunsong Guo, Andrew Lim, Brian Rodrigues, Jiqing Tang. Using a Lagrangian Heuristic for a Combinatorial Auction Problem

Volume 15, Issue 2

131 -- 142Ting-Ya Hsieh, Morris H. L. Wang, Cheng-Wu Chen, Chen-Yuan Chen, Shang-En Yu, Hsien-Chueh Yang, Tsung-Hao Chen. A New Viewpoint of S-curve Regression Model and its Application to Construction Management
143 -- 162G. Lappas, R. J. Frank, Andreas Alexander Albrecht. A Computational Study on Circuit Size versus Circuit Depth
163 -- 172Cheng-Wu Chen, Wei-ling Chiang, Chung-Hung Tsai, Chen-Yuan Chen, Morris H. L. Wang. Fuzzy Lyapunov Method for Stability Conditions of Nonlinear Systems
173 -- 194Christian Gagné, Marc Parizeau. Genericity in Evolutionary Computation Software Tools: Principles and Case-study
195 -- 226Michael Wooldridge, Marc-Philippe Huget, Michael Fisher, Simon Parsons. Model Checking for Multiagent Systems: the Mable Language and its Applications
227 -- 250Stergios Papadimitriou, Seferina Mavroudi, Spiridon D. Likothanassis. Mutual Information Clustering for Efficient Mining of Fuzzy Association Rules with Application to Gene Expression Data Analysis
251 -- 286Virgil Andronache, Matthias Scheutz. Ade - an Architecture Development Environment for Virtual and Robotic Agents
287 -- 308Athanasios Tsakonas, Theodora Tsiligianni, Georgios Dounias. Evolutionary Neural Logic Networks in Splice-junction Gene Sequences Classification
309 -- 322Ka-Lok Ng, Chien-Hung Huang, Po-Han Lee, Jywe-Fei Fang, Jeffrey J. P. Tsai. Modular Structures and Robustness of Protein Networks
323 -- 330Veera Boonjing, Cheng Hsu. A New Feasible Natural Language Database Query Method

Volume 15, Issue 1

1 -- 2Stephan Schulz, Geoff Sutcliffe, Tanel Tammet. Preface
3 -- 20Larry Wos. Milestones for Automated Reasoning with Otter
21 -- 52Peter Baumgartner, Alexander Fuchs, Cesare Tinelli. Implementing the Model Evolution Calculus
53 -- 80Bernd Löchner. Things to Know When Implementing Lpo
81 -- 108Ewen Denney, Bernd Fischer, Johann Schumann. An Empirical Evaluation of Automated Theorem Provers in Software Certification
109 -- 130Josef Urban. Momm - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics