Volume 23, Number 1, 2010
export record as
dblp key:
Diego Magro :
F : Conceptual language-based configuration.
1-46
export record as
dblp key:
journals/aicom/Sutcliffe10 Geoff Sutcliffe :
The CADE-22 automated theorem proving system competition - CASC-22.
47-59
export record as
dblp key:
Luca Pulina :
Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning.
61-63
export record as
dblp key:
Mariano Rico :
Simplifying Semantic Web application development and semantic data usage.
65-66
Volume 23, Numbers 2-3, 2010
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/aicom/WeidenbachW10 export record as
dblp key:
export record as
dblp key:
journals/aicom/PeaseSST10 export record as
dblp key:
export record as
dblp key:
Jens Otten :
Restricting backtracking in connection calculi.
159-182
export record as
dblp key:
journals/aicom/NabeshimaIIR10 export record as
dblp key:
journals/aicom/FarsiniamarjH10 export record as
dblp key:
journals/aicom/FurbachGP10 export record as
dblp key:
journals/aicom/PhillipsS10 export record as
dblp key:
journals/aicom/BaumlerBNRS10
Volume 23, Number 4, 2010
export record as
dblp key:
journals/aicom/Sabater-MirD10 export record as
dblp key:
journals/aicom/HauwereVN10 export record as
dblp key:
journals/aicom/AndrighettoVC10 export record as
dblp key:
journals/aicom/FornaraC10 export record as
dblp key:
journals/aicom/SalazarRA10 export record as
dblp key:
journals/aicom/HosobeSMRB10 export record as
dblp key:
journals/aicom/BullingJ10
data released under the ODC-BY 1.0 license
