Volume 15, Number 1, February 2006 Special Issue on Empirically Successful First Order Reasoning
export record as
dblp key:
journals/ijait/SchulzST06 export record as
dblp key:
Larry Wos :
Milestones for Automated Reasoning with Otter.
3-20
export record as
dblp key:
journals/ijait/BaumgartnerFT06 export record as
dblp key:
export record as
dblp key:
journals/ijait/DenneyFS06 export record as
dblp key:
Josef Urban :
Momm - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics.
109-130
Volume 15, Number 2, April 2006
export record as
dblp key:
journals/ijait/HsiehWCCYYC06 export record as
dblp key:
journals/ijait/LappasFA06 export record as
dblp key:
journals/ijait/ChenCTCW06 export record as
dblp key:
export record as
dblp key:
journals/ijait/WooldridgeHFP06 export record as
dblp key:
journals/ijait/PapadimitriouML06 export record as
dblp key:
journals/ijait/AndronacheS06 export record as
dblp key:
journals/ijait/TsakonasTD06 export record as
dblp key:
export record as
dblp key:
journals/ijait/BoonjingH06
Volume 15, Number 3, June 2006 Special Issue on Intelligent Tools for Problem Solving in Bioinformatics and Medicine
export record as
dblp key:
journals/ijait/MagoulasDL06 export record as
dblp key:
journals/ijait/FlaounasIM06 export record as
dblp key:
export record as
dblp key:
journals/ijait/GeorgiouPPAV06 export record as
dblp key:
Mannes Poel ,
Taco Ekkel :
Analyzing Infant Cries Using a Committee of Neural Networks in Order to Detect Hypoxia Related Disorder.
397-410
export record as
dblp key:
journals/ijait/GeorgoulasSG06 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 15, Number 4, August 2006 Special Issue on Artificial Intelligence in Music and Art
export record as
dblp key:
journals/ijait/ManarisM06 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/ijait/CollomosseH06 export record as
dblp key:
journals/ijait/Greenfield06 Gary Greenfield :
Genetic Learning for Biologically Inspired Aesthetic Processes.
577-598
export record as
dblp key:
journals/ijait/MandelisH06 export record as
dblp key:
journals/ijait/Franklin06 Judy A. Franklin :
Jazz Melody Generation Using Recurrent Networks and Reinforcement Learning.
623-650
export record as
dblp key:
Evelyne Lutton :
Evolution of Fractal Shapes for Artists and Designers.
651-672
export record as
dblp key:
journals/ijait/RamirezH06 Rafael Ramirez ,
Amaury Hazan :
A Tool for Generating and Explaining Expressive Music Performances of Monophonic Jazz Melodies.
673-691
Volume 15, Number 5, October 2006
export record as
dblp key:
Preface.
693-694
export record as
dblp key:
journals/ijait/MasottiFMB06 export record as
dblp key:
journals/ijait/NakamichiIM06 export record as
dblp key:
journals/ijait/SantosSS06 export record as
dblp key:
journals/ijait/Nowinski06 export record as
dblp key:
export record as
dblp key:
journals/ijait/PenumatsaVGLHCF06 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/ijait/Stamatatos06 export record as
dblp key:
journals/ijait/KursunKWGRE06 export record as
dblp key:
export record as
dblp key:
Volume 15, Number 6, December 2006 Special Issue on FLAIRS 2005:
Knowledge Acquisition and Representation
export record as
dblp key:
Preface.
863-866
export record as
dblp key:
journals/ijait/HolderMR06 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/ijait/ODonovanS06 export record as
dblp key:
export record as
dblp key:
journals/ijait/PlessCRL06 export record as
dblp key:
journals/ijait/BiskriDB06 export record as
dblp key:
journals/ijait/LouwerseCHVJ06 export record as
dblp key:
journals/ijait/DesclesP06 export record as
dblp key:
journals/ijait/Sutcliffe06 Geoff Sutcliffe :
Semantic Derivation Verification: Techniques and Implementation.
1053-1070
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
