Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/aicom/AchaNOR10,
  author       = {Roberto Javier {As{'{i}}n Ach{'{a}}} and
                  Robert Nieuwenhuis and
                  Albert Oliveras and
                  Enric Rodr{\'{\i}}guez{-}Carbonell},
  title        = {Practical algorithms for unsatisfiability proof and core generation
                  in {SAT} solvers},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {2-3},
  pages        = {145--157},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0462},
  doi          = {10.3233/AIC-2010-0462},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/AchaNOR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/AndrighettoVC10,
  author       = {Giulia Andrighetto and
                  Daniel Villatoro and
                  Rosaria Conte},
  title        = {Norm internalization in artificial societies},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {4},
  pages        = {325--339},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0477},
  doi          = {10.3233/AIC-2010-0477},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/AndrighettoVC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/BaumlerBNRS10,
  author       = {Simon B{\"{a}}umler and
                  Michael Balser and
                  Florian Nafz and
                  Wolfgang Reif and
                  Gerhard Schellhorn},
  title        = {Interactive verification of concurrent systems using symbolic execution},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {2-3},
  pages        = {285--307},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0458},
  doi          = {10.3233/AIC-2010-0458},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/BaumlerBNRS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/BullingJ10,
  author       = {Nils Bulling and
                  Wojciech Jamroga},
  title        = {Verifying agents with memory is harder than it seemed},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {4},
  pages        = {389--403},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0481},
  doi          = {10.3233/AIC-2010-0481},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/BullingJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/FarsiniamarjH10,
  author       = {Nasim Farsiniamarj and
                  Volker Haarslev},
  title        = {Practical reasoning with qualified number restrictions: {A} hybrid
                  Abox calculus for the description logic \emph{H}},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {2-3},
  pages        = {205--240},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0456},
  doi          = {10.3233/AIC-2010-0456},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/FarsiniamarjH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/FornaraC10,
  author       = {Nicoletta Fornara and
                  Marco Colombetti},
  title        = {Representation and monitoring of commitments and norms using {OWL}},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {4},
  pages        = {341--356},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0478},
  doi          = {10.3233/AIC-2010-0478},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aicom/FornaraC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/FurbachGP10,
  author       = {Ulrich Furbach and
                  Ingo Gl{\"{o}}ckner and
                  Bj{\"{o}}rn Pelzer},
  title        = {An application of automated reasoning in natural language question
                  answering},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {2-3},
  pages        = {241--265},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0461},
  doi          = {10.3233/AIC-2010-0461},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/FurbachGP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/HauwereVN10,
  author       = {Yann{-}Micha{\"{e}}l De Hauwere and
                  Peter Vrancx and
                  Ann Now{\'{e}}},
  title        = {Generalized learning automata for multi-agent reinforcement learning},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {4},
  pages        = {311--324},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0476},
  doi          = {10.3233/AIC-2010-0476},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/HauwereVN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/HosobeSMRB10,
  author       = {Hiroshi Hosobe and
                  Ken Satoh and
                  Jiefei Ma and
                  Alessandra Russo and
                  Krysia Broda},
  title        = {Speculative constraint processing for hierarchical agents},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {4},
  pages        = {373--388},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0480},
  doi          = {10.3233/AIC-2010-0480},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/HosobeSMRB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/KonevSS10,
  author       = {Boris Konev and
                  Renate A. Schmidt and
                  Stephan Schulz},
  title        = {Special issue on practical aspects of automated reasoning},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {2-3},
  pages        = {67--68},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0455},
  doi          = {10.3233/AIC-2010-0455},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/KonevSS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/LudwigH10,
  author       = {Michel Ludwig and
                  Ullrich Hustadt},
  title        = {Implementing a fair monodic temporal logic prover},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {2-3},
  pages        = {69--96},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0457},
  doi          = {10.3233/AIC-2010-0457},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/LudwigH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/Magro10,
  author       = {Diego Magro},
  title        = {\emph{F}: Conceptual language-based configuration},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {1},
  pages        = {1--46},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0470},
  doi          = {10.3233/AIC-2010-0470},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Magro10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/NabeshimaIIR10,
  author       = {Hidetomo Nabeshima and
                  Koji Iwanuma and
                  Katsumi Inoue and
                  Oliver Ray},
  title        = {{SOLAR:} An automated deduction system for consequence finding},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {2-3},
  pages        = {183--203},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0465},
  doi          = {10.3233/AIC-2010-0465},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aicom/NabeshimaIIR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/Otten10,
  author       = {Jens Otten},
  title        = {Restricting backtracking in connection calculi},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {2-3},
  pages        = {159--182},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0464},
  doi          = {10.3233/AIC-2010-0464},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Otten10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/PeaseSST10,
  author       = {Adam Pease and
                  Geoff Sutcliffe and
                  Nick Siegel and
                  Steven Trac},
  title        = {Large theory reasoning with {SUMO} at {CASC}},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {2-3},
  pages        = {137--144},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0466},
  doi          = {10.3233/AIC-2010-0466},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/PeaseSST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/PhillipsS10,
  author       = {J. D. Phillips and
                  David Stanovsk{\'{y}}},
  title        = {Automated theorem proving in quasigroup and loop theory},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {2-3},
  pages        = {267--283},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0460},
  doi          = {10.3233/AIC-2010-0460},
  timestamp    = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aicom/PhillipsS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/Pulina10,
  author       = {Luca Pulina},
  title        = {Engineering portfolios of Machine Learning algorithms to solve complex
                  tasks in Robotics and Automated Reasoning},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {1},
  pages        = {61--63},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0471},
  doi          = {10.3233/AIC-2010-0471},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Pulina10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/Rico10,
  author       = {Mariano Rico},
  title        = {Simplifying Semantic Web application development and semantic data
                  usage},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {1},
  pages        = {65--66},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0472},
  doi          = {10.3233/AIC-2010-0472},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Rico10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/Sabater-MirD10,
  author       = {Jordi Sabater{-}Mir and
                  Paul Davidsson},
  title        = {Preface},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {4},
  pages        = {309--310},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0475},
  doi          = {10.3233/AIC-2010-0475},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Sabater-MirD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/SalazarRA10,
  author       = {Norman Salazar and
                  Juan A. Rodr{\'{\i}}guez{-}Aguilar and
                  Josep Llu{\'{\i}}s Arcos},
  title        = {Robust coordination in large convention spaces},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {4},
  pages        = {357--372},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0479},
  doi          = {10.3233/AIC-2010-0479},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/SalazarRA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/Sutcliffe10,
  author       = {Geoff Sutcliffe},
  title        = {The {CADE-22} automated theorem proving system competition - {CASC-22}},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {1},
  pages        = {47--59},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0469},
  doi          = {10.3233/AIC-2010-0469},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Sutcliffe10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/WeidenbachW10,
  author       = {Christoph Weidenbach and
                  Patrick Wischnewski},
  title        = {Subterm contextual rewriting},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {2-3},
  pages        = {97--109},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0459},
  doi          = {10.3233/AIC-2010-0459},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/WeidenbachW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/ZhangHD10,
  author       = {Lan Zhang and
                  Ullrich Hustadt and
                  Clare Dixon},
  title        = {{CTL-RP:} {A} computation tree logic resolution prover},
  journal      = {{AI} Commun.},
  volume       = {23},
  number       = {2-3},
  pages        = {111--136},
  year         = {2010},
  url          = {https://doi.org/10.3233/AIC-2010-0463},
  doi          = {10.3233/AIC-2010-0463},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/ZhangHD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.