Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/icaart/OpferJG17a,
  author       = {Stephan Opfer and
                  Stefan Jakob and
                  Kurt Geihs},
  editor       = {H. Jaap van den Herik and
                  Ana Paula Rocha and
                  Joaquim Filipe},
  title        = {Reasoning for Autonomous Agents in Dynamic Domains: Towards Automatic
                  Satisfaction of the Module Property},
  booktitle    = {Agents and Artificial Intelligence - 9th International Conference,
                  {ICAART} 2017, Porto, Portugal, February 24-26, 2017, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10839},
  pages        = {22--47},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-93581-2\_2},
  doi          = {10.1007/978-3-319-93581-2\_2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/OpferJG17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ccsecis/Bello10,
  author       = {Oyewole Mustapha Bello},
  title        = {Effects of the Location of {GSM} Base Stations on Satisfaction of
                  Occupiers and Rental Value of Proximate Residential Property},
  journal      = {Comput. Inf. Sci.},
  volume       = {3},
  number       = {4},
  pages        = {159--170},
  year         = {2010},
  url          = {https://doi.org/10.5539/cis.v3n4p159},
  doi          = {10.5539/CIS.V3N4P159},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ccsecis/Bello10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Chen08,
  author       = {Hubie Chen},
  editor       = {Luca Aceto and
                  Ivan Damg{\aa}rd and
                  Leslie Ann Goldberg and
                  Magn{\'{u}}s M. Halld{\'{o}}rsson and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir and
                  Igor Walukiewicz},
  title        = {Quantified Constraint Satisfaction and the Polynomially Generated
                  Powers Property},
  booktitle    = {Automata, Languages and Programming, 35th International Colloquium,
                  {ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
                  {II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
                  Track {C:} Security and Cryptography Foundations},
  series       = {Lecture Notes in Computer Science},
  volume       = {5126},
  pages        = {197--208},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-70583-3\_17},
  doi          = {10.1007/978-3-540-70583-3\_17},
  timestamp    = {Fri, 27 Mar 2020 09:02:59 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/Chen08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsa/AnderssonE02,
  author       = {Gunnar Andersson and
                  Lars Engebretsen},
  title        = {Property testers for dense constraint satisfaction programs on finite
                  domains},
  journal      = {Random Struct. Algorithms},
  volume       = {21},
  number       = {1},
  pages        = {14--32},
  year         = {2002},
  url          = {https://doi.org/10.1002/rsa.10041},
  doi          = {10.1002/RSA.10041},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsa/AnderssonE02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}