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    = {Wed, 25 Sep 2019 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    = {Thu, 18 May 2017 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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.