Search dblp for Publications

export results for "toc:db/journals/aicom/aicom24.bht:"

 download as .bib file

@article{DBLP:journals/aicom/AlvianoF11,
  author       = {Mario Alviano and
                  Wolfgang Faber},
  title        = {Dynamic Magic Sets and super-coherent answer set programs},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {2},
  pages        = {125--145},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0492},
  doi          = {10.3233/AIC-2011-0492},
  timestamp    = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aicom/AlvianoF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Argelich11,
  author       = {Josep Argelich},
  title        = {Max-SAT formalisms with hard and soft constraints},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {1},
  pages        = {101--103},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2010-0488},
  doi          = {10.3233/AIC-2010-0488},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Argelich11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Baier11,
  author       = {Jorge A. Baier},
  title        = {Planning with rich goals, preferences and procedural operators via
                  reformulation},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {4},
  pages        = {347--348},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0507},
  doi          = {10.3233/AIC-2011-0507},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Baier11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Balduccini11,
  author       = {Marcello Balduccini},
  title        = {Learning and using domain-specific heuristics in {ASP} solvers},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {2},
  pages        = {147--164},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0493},
  doi          = {10.3233/AIC-2011-0493},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Balduccini11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/BalducciniW11,
  author       = {Marcello Balduccini and
                  Stefan Woltran},
  title        = {Special issue on answer set programming},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {2},
  pages        = {105--106},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0497},
  doi          = {10.3233/AIC-2011-0497},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/BalducciniW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Batet11,
  author       = {Montserrat Batet},
  title        = {Ontology-based semantic clustering},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {3},
  pages        = {291--292},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0501},
  doi          = {10.3233/AIC-2011-0501},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Batet11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Cabalar11,
  author       = {Pedro Cabalar},
  title        = {A logical characterisation of ordered disjunction},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {2},
  pages        = {165--175},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0494},
  doi          = {10.3233/AIC-2011-0494},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Cabalar11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/CalimeriCIL11,
  author       = {Francesco Calimeri and
                  Susanna Cozza and
                  Giovambattista Ianni and
                  Nicola Leone},
  title        = {Finitely recursive programs: Decidability and bottom-up computation},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {4},
  pages        = {311--334},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0509},
  doi          = {10.3233/AIC-2011-0509},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/CalimeriCIL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Carbone11,
  author       = {Roberto Carbone},
  title        = {{LTL} model-checking for security protocols},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {3},
  pages        = {281--283},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2010-0489},
  doi          = {10.3233/AIC-2010-0489},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aicom/Carbone11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/ConsoleLPS11,
  author       = {Luca Console and
                  Ilaria Lombardi and
                  Claudia Picardi and
                  Rossana Simeoni},
  title        = {Toward a social web of intelligent things},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {3},
  pages        = {265--279},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0503},
  doi          = {10.3233/AIC-2011-0503},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/ConsoleLPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/CooperRR11,
  author       = {Martin C. Cooper and
                  Marie de Roquemaurel and
                  Pierre R{\'{e}}gnier},
  title        = {A weighted {CSP} approach to cost-optimal planning},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {1},
  pages        = {1--29},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2010-0473},
  doi          = {10.3233/AIC-2010-0473},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/CooperRR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/CriadoAB11,
  author       = {Natalia Criado and
                  Estefania Argente and
                  Vicente J. Botti},
  title        = {Open issues for normative multi-agent systems},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {3},
  pages        = {233--264},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0502},
  doi          = {10.3233/AIC-2011-0502},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aicom/CriadoAB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Domingues11,
  author       = {Marcos Aur{\'{e}}lio Domingues},
  title        = {Exploiting multidimensional data for web site automation},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {3},
  pages        = {289--290},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0499},
  doi          = {10.3233/AIC-2011-0499},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aicom/Domingues11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/DrescherTW11,
  author       = {Christian Drescher and
                  Oana Tifrea and
                  Toby Walsh},
  title        = {Symmetry-breaking answer set solving},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {2},
  pages        = {177--194},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0495},
  doi          = {10.3233/AIC-2011-0495},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/DrescherTW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Freitas11,
  author       = {Alberto Freitas},
  title        = {Building cost-sensitive decision trees for medical applications},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {3},
  pages        = {285--287},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0490},
  doi          = {10.3233/AIC-2011-0490},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Freitas11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/GebserKKOSS11,
  author       = {Martin Gebser and
                  Benjamin Kaufmann and
                  Roland Kaminski and
                  Max Ostrowski and
                  Torsten Schaub and
                  Marius Schneider},
  title        = {Potassco: The Potsdam Answer Set Solving Collection},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {2},
  pages        = {107--124},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0491},
  doi          = {10.3233/AIC-2011-0491},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/GebserKKOSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/GebserSS11,
  author       = {Martin Gebser and
                  Orkunt Sabuncu and
                  Torsten Schaub},
  title        = {An incremental answer set programming based system for finite model
                  computation},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {2},
  pages        = {195--212},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0496},
  doi          = {10.3233/AIC-2011-0496},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/GebserSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Katz11,
  author       = {Michael Katz},
  title        = {Implicit abstraction heuristics for cost-optimal planning},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {4},
  pages        = {343--345},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0504},
  doi          = {10.3233/AIC-2011-0504},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Katz11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Martinez-Alvarez11,
  author       = {Francisco Mart{\'{\i}}nez{-}{\'{A}}lvarez},
  title        = {Clustering preprocessing to improve time series forecasting},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {1},
  pages        = {97--98},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2010-0485},
  doi          = {10.3233/AIC-2010-0485},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Martinez-Alvarez11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/MeoNRU11,
  author       = {Pasquale De Meo and
                  Antonino Nocera and
                  Domenico Rosaci and
                  Domenico Ursino},
  title        = {Recommendation of reliable users, social networks and high-quality
                  resources in a Social Internetworking System},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {1},
  pages        = {31--50},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2010-0484},
  doi          = {10.3233/AIC-2010-0484},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/MeoNRU11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/NikanjamSR11,
  author       = {Amin Nikanjam and
                  Hadi Sharifi and
                  Adel Torkaman Rahmani},
  title        = {Efficient model building in competent genetic algorithms using {DSM}
                  clustering},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {3},
  pages        = {213--231},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0498},
  doi          = {10.3233/AIC-2011-0498},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/NikanjamSR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Schietgat11,
  author       = {Leander Schietgat},
  title        = {Graph-based data mining for biological applications},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {1},
  pages        = {95--96},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2010-0482},
  doi          = {10.3233/AIC-2010-0482},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Schietgat11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Soto11,
  author       = {Axel J. Soto},
  title        = {On the use of machine learning methods for modern drug discovery},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {1},
  pages        = {99--100},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2010-0487},
  doi          = {10.3233/AIC-2010-0487},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Soto11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Srivastava11,
  author       = {Siddharth Srivastava},
  title        = {Foundations and applications of generalized planning},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {4},
  pages        = {349--351},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0508},
  doi          = {10.3233/AIC-2011-0508},
  timestamp    = {Sun, 05 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Srivastava11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Sutcliffe11,
  author       = {Geoff Sutcliffe},
  title        = {The 5th {IJCAR} automated theorem proving system competition - {CASC-J5}},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {1},
  pages        = {75--89},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2010-0483},
  doi          = {10.3233/AIC-2010-0483},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Sutcliffe11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/TilakM11,
  author       = {Omkar J. Tilak and
                  Snehasis Mukhopadhyay},
  title        = {Partially decentralized reinforcement learning in finite, multi-agent
                  Markov decision processes},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {4},
  pages        = {293--309},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0505},
  doi          = {10.3233/AIC-2011-0505},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/TilakM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Urdiales11,
  author       = {Cristina Urdiales},
  title        = {The bare necessities: Adaptive assistance for wheelchair control},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {4},
  pages        = {337--339},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2011-0500},
  doi          = {10.3233/AIC-2011-0500},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Urdiales11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/WangPSO11,
  author       = {Xiaofang Wang and
                  Nicola Policella and
                  Stephen F. Smith and
                  Angelo Oddi},
  title        = {Constraint-based methods for scheduling discretionary services},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {1},
  pages        = {51--73},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2010-0486},
  doi          = {10.3233/AIC-2010-0486},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/WangPSO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Wittocx11,
  author       = {Johan Wittocx},
  title        = {Finite domain and symbolic inference methods for extensions of first-order
                  logic},
  journal      = {{AI} Commun.},
  volume       = {24},
  number       = {1},
  pages        = {91--93},
  year         = {2011},
  url          = {https://doi.org/10.3233/AIC-2010-0474},
  doi          = {10.3233/AIC-2010-0474},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Wittocx11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics