Search dblp for Publications

• > Home > Search

@article{DBLP:journals/ai/BaroniGL18,
  author       = {Pietro Baroni and
                  Massimiliano Giacomin and
                  Beishui Liao},
  title        = {A general semi-structured formalism for computational argumentation:
                  Definition, properties, and examples of application},
  journal      = {Artif. Intell.},
  volume       = {257},
  pages        = {158--207},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.artint.2018.01.003},
  doi          = {10.1016/J.ARTINT.2018.01.003},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/BaroniGL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/BozzatoES18,
  author       = {Loris Bozzato and
                  Thomas Eiter and
                  Luciano Serafini},
  title        = {Enhancing context knowledge repositories with justifiable exceptions},
  journal      = {Artif. Intell.},
  volume       = {257},
  pages        = {72--126},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.artint.2017.12.005},
  doi          = {10.1016/J.ARTINT.2017.12.005},
  timestamp    = {Tue, 27 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/BozzatoES18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/ChengZSGS18,
  author       = {Xi Cheng and
                  Min Zhou and
                  Xiaoyu Song and
                  Ming Gu and
                  Jiaguang Sun},
  title        = {Parallelizing {SMT} solving: Lazy decomposition and conciliation},
  journal      = {Artif. Intell.},
  volume       = {257},
  pages        = {127--157},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.artint.2018.01.001},
  doi          = {10.1016/J.ARTINT.2018.01.001},
  timestamp    = {Sat, 25 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/ChengZSGS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/GanianO18,
  author       = {Robert Ganian and
                  Sebastian Ordyniak},
  title        = {The complexity landscape of decompositional parameters for {ILP}},
  journal      = {Artif. Intell.},
  volume       = {257},
  pages        = {61--71},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.artint.2017.12.006},
  doi          = {10.1016/J.ARTINT.2017.12.006},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GanianO18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/GnadH18,
  author       = {Daniel Gnad and
                  J{\"{o}}rg Hoffmann},
  title        = {Star-topology decoupled state space search},
  journal      = {Artif. Intell.},
  volume       = {257},
  pages        = {24--60},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.artint.2017.12.004},
  doi          = {10.1016/J.ARTINT.2017.12.004},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GnadH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Jonsson18,
  author       = {Peter Jonsson},
  title        = {Constants and finite unary relations in qualitative constraint reasoning},
  journal      = {Artif. Intell.},
  volume       = {257},
  pages        = {1--23},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.artint.2017.12.003},
  doi          = {10.1016/J.ARTINT.2017.12.003},
  timestamp    = {Fri, 16 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/Jonsson18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}