Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/ia/ia5.bht:"
download as .bib file
@article{DBLP:journals/ia/AlbertiGLRS11,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Sergio Storari},
title = {Learning specifications of interaction protocols and business processes
and proving their properties},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {71--75},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0006},
doi = {10.3233/IA-2011-0006},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/AlbertiGLRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/AlferesBB11,
author = {Jos{\'{e}} J{\'{u}}lio Alferes and
Federico Banti and
Antonio Brogi},
title = {Evolving reactive logic programs},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {77--81},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0007},
doi = {10.3233/IA-2011-0007},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ia/AlferesBB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/Alviano11,
author = {Mario Alviano},
title = {Efficient recursive aggregate evaluation in logic programming},
journal = {Intelligenza Artificiale},
volume = {5},
number = {2},
pages = {207--215},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0023},
doi = {10.3233/IA-2011-0023},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/Alviano11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/AzziniT11,
author = {Antonia Azzini and
Andrea Tettamanzi},
title = {Evolutionary ANNs: {A} state of the art survey},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {19--35},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0002},
doi = {10.3233/IA-2011-0002},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/AzziniT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/BaldoniB11,
author = {Matteo Baldoni and
Cristina Baroglio},
title = {A journey in Computational Logic in Italy},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {67--69},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0005},
doi = {10.3233/IA-2011-0005},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/BaldoniB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/BaldoniBMPS11,
author = {Matteo Baldoni and
Cristina Baroglio and
Elisa Marengo and
Viviana Patti and
Claudio Schifanella},
title = {Models of agent interaction based on modal logics},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {83--88},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0008},
doi = {10.3233/IA-2011-0008},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/BaldoniBMPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/Bonatti11,
author = {Piero A. Bonatti},
title = {On the decidability of {FDNC} programs},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {89--93},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0009},
doi = {10.3233/IA-2011-0009},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/Bonatti11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/BossiC11,
author = {Annalisa Bossi and
Nicoletta Cocco},
title = {A valuable experience in logic programming},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {95--99},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0010},
doi = {10.3233/IA-2011-0010},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/BossiC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/ChesaniMMT11,
author = {Federico Chesani and
Paola Mello and
Marco Montali and
Paolo Torroni},
title = {Modeling and verifying business processes and choreographies through
the abductive proof procedure {SCIFF} and its extensions},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {101--105},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0011},
doi = {10.3233/IA-2011-0011},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ia/ChesaniMMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/CostantiniPTT11,
author = {Stefania Costantini and
Alessio Paolucci and
Arianna Tocchio and
Panagiota Tsintza},
title = {DALI, RASP, mnemosine: Computational Logic at work},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {107--111},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0012},
doi = {10.3233/IA-2011-0012},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/CostantiniPTT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/DarabosTCPMG11,
author = {Christian Darabos and
Marco Tomassini and
Ferdinando Di Cunto and
Paolo Provero and
Jason H. Moore and
Mario Giacobini},
title = {Toward robust network based complex systems: from evolutionary cellular
automata to biological models},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {37--47},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0003},
doi = {10.3233/IA-2011-0003},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/DarabosTCPMG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/Dovier11,
author = {Agostino Dovier},
title = {Recent constraint/logic programming based advances in the solution
of the protein folding problem},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {113--117},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0013},
doi = {10.3233/IA-2011-0013},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/Dovier11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/FioravantiPPS11,
author = {Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
title = {Program transformation for development, verification, and synthesis
of programs},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {119--125},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0014},
doi = {10.3233/IA-2011-0014},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/FioravantiPPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/Geffner11,
author = {Hector Geffner},
title = {The model-based approach to autonomous behavior: Prospects and challenges},
journal = {Intelligenza Artificiale},
volume = {5},
number = {2},
pages = {163--169},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0024},
doi = {10.3233/IA-2011-0024},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/Geffner11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/GiordanoGOPS11,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato and
Camilla Schwind},
title = {Non-classical logics for knowledge representation and reasoning},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {127--131},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0015},
doi = {10.3233/IA-2011-0015},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/GiordanoGOPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/GogateD11,
author = {Vibhav Gogate and
Rina Dechter},
title = {Sampling-based lower bounds for counting queries},
journal = {Intelligenza Artificiale},
volume = {5},
number = {2},
pages = {171--188},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0026},
doi = {10.3233/IA-2011-0026},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/GogateD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/GrecoGS11,
author = {Gianluigi Greco and
Antonella Guzzo and
Domenico Sacc{\`{a}}},
title = {Simulations on workflow management systems: {A} framework based on
event choice datalog},
journal = {Intelligenza Artificiale},
volume = {5},
number = {2},
pages = {189--206},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0022},
doi = {10.3233/IA-2011-0022},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/GrecoGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/GrecoLPRS11,
author = {Sergio Greco and
Nicola Leone and
Luigi Palopoli and
Pasquale Rullo and
Domenico Sacc{\`{a}}},
title = {A long tour from theory to practice},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {133--138},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0016},
doi = {10.3233/IA-2011-0016},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/GrecoLPRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/MancarellaT11,
author = {Paolo Mancarella and
Francesca Toni},
title = {Computational logic in agent based systems},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {139--143},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0017},
doi = {10.3233/IA-2011-0017},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ia/MancarellaT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/MascardiDM11,
author = {Viviana Mascardi and
Giorgio Delzanno and
Maurizio Martelli},
title = {Some applications of Computational Logic to the development of intelligent
systems and verification methods},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {145--149},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0018},
doi = {10.3233/IA-2011-0018},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/MascardiDM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/MenconiGL11,
author = {Lorenzo Menconi and
Marco Gori and
Marco Lippi},
title = {Computational models for short-term prediction of the stock market},
journal = {Intelligenza Artificiale},
volume = {5},
number = {2},
pages = {217--227},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0025},
doi = {10.3233/IA-2011-0025},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/MenconiGL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/MoraglioP11,
author = {Alberto Moraglio and
Riccardo Poli},
title = {Geometric crossover for the permutation representation},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {49--63},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0004},
doi = {10.3233/IA-2011-0004},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ia/MoraglioP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/PiancastelliOD11,
author = {Giulio Piancastelli and
Andrea Omicini and
Enrico Denti},
title = {Towards a logic framework for Web programming},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {151--155},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0019},
doi = {10.3233/IA-2011-0019},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/PiancastelliOD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/Rossi11,
author = {Gianfranco Rossi},
title = {From set unification to set constraints},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {157--161},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0020},
doi = {10.3233/IA-2011-0020},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/Rossi11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/Stock11,
author = {Oliviero Stock},
title = {Editorial},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {1--2},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0021},
doi = {10.3233/IA-2011-0021},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/Stock11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/VanneschiMC11,
author = {Leonardo Vanneschi and
Luca Mussi and
Stefano Cagnoni},
title = {Hot topics in Evolutionary Computation},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {5--17},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0001},
doi = {10.3233/IA-2011-0001},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ia/VanneschiMC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-27 04:49 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
