Search dblp for Publications

• > Home > Search

@article{DBLP:journals/ai/BonattiP04,
  author       = {Piero A. Bonatti and
                  Adriano Peron},
  title        = {On the undecidability of logics with converse, nominals, recursion
                  and counting},
  journal      = {Artif. Intell.},
  volume       = {158},
  number       = {1},
  pages        = {75--96},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.artint.2004.04.012},
  doi          = {10.1016/J.ARTINT.2004.04.012},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/BonattiP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Kaneiwa04,
  author       = {Ken Kaneiwa},
  title        = {Order-sorted logic programming with predicate hierarchy},
  journal      = {Artif. Intell.},
  volume       = {158},
  number       = {2},
  pages        = {155--188},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.artint.2004.05.001},
  doi          = {10.1016/J.ARTINT.2004.05.001},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Kaneiwa04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/PortinaleMT04,
  author       = {Luigi Portinale and
                  Diego Magro and
                  Pietro Torasso},
  title        = {Multi-modal diagnosis combining case-based and model-based reasoning:
                  a formal and experimental analysis},
  journal      = {Artif. Intell.},
  volume       = {158},
  number       = {2},
  pages        = {109--153},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.artint.2004.05.005},
  doi          = {10.1016/J.ARTINT.2004.05.005},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/PortinaleMT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/SucVB04,
  author       = {Dorian Suc and
                  Daniel Vladusic and
                  Ivan Bratko},
  title        = {Qualitatively faithful quantitative prediction},
  journal      = {Artif. Intell.},
  volume       = {158},
  number       = {2},
  pages        = {189--214},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.artint.2004.05.002},
  doi          = {10.1016/J.ARTINT.2004.05.002},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/SucVB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Wang04,
  author       = {Pei Wang},
  title        = {The limitation of Bayesianism},
  journal      = {Artif. Intell.},
  volume       = {158},
  number       = {1},
  pages        = {97--106},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.artint.2003.09.003},
  doi          = {10.1016/J.ARTINT.2003.09.003},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Wang04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/WooldridgeD04,
  author       = {Michael J. Wooldridge and
                  Paul E. Dunne},
  title        = {On the computational complexity of qualitative coalitional games},
  journal      = {Artif. Intell.},
  volume       = {158},
  number       = {1},
  pages        = {27--73},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.artint.2004.04.002},
  doi          = {10.1016/J.ARTINT.2004.04.002},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/WooldridgeD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Zhang04,
  author       = {Weixiong Zhang},
  title        = {Configuration landscape analysis and backbone guided local search:
                  Part {I:} Satisfiability and maximum satisfiability},
  journal      = {Artif. Intell.},
  volume       = {158},
  number       = {1},
  pages        = {1--26},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.artint.2004.04.001},
  doi          = {10.1016/J.ARTINT.2004.04.001},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Zhang04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}