Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/ai/ai158.bht:"
@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} }
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.