Search dblp for Publications

export results for "toc:db/conf/iclp/iclp2017.bht:"

 download as .bib file

@proceedings{DBLP:conf/iclp/2017,
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {http://www.dagstuhl.de/dagpub/978-3-95977-058-3},
  isbn         = {978-3-95977-058-3},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/AdrianMLAA17,
  author       = {Weronika T. Adrian and
                  Marco Manna and
                  Nicola Leone and
                  Giovanni Amendola and
                  Marek Adrian},
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {Entity set expansion from the Web via {ASP}},
  booktitle    = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  pages        = {1:1--1:5},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.ICLP.2017.1},
  doi          = {10.4230/OASICS.ICLP.2017.1},
  timestamp    = {Tue, 15 Feb 2022 09:40:05 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/AdrianMLAA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Alviano17,
  author       = {Mario Alviano},
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {The Pyglaf Argumentation Reasoner},
  booktitle    = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  pages        = {2:1--2:3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.ICLP.2017.2},
  doi          = {10.4230/OASICS.ICLP.2017.2},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Alviano17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/AmendolaLMV17,
  author       = {Giovanni Amendola and
                  Nicola Leone and
                  Marco Manna and
                  Pierfrancesco Veltri},
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {Reasoning on anonymity in Datalog+/-},
  booktitle    = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  pages        = {3:1--3:5},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.ICLP.2017.3},
  doi          = {10.4230/OASICS.ICLP.2017.3},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/AmendolaLMV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Bliem17,
  author       = {Bernhard Bliem},
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {Treewidth in Non-Ground Answer Set Solving and Alliance Problems in
                  Graphs},
  booktitle    = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  pages        = {12:1--12:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.ICLP.2017.12},
  doi          = {10.4230/OASICS.ICLP.2017.12},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Bliem17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/ChekolS17,
  author       = {Melisachew Wudage Chekol and
                  Heiner Stuckenschmidt},
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {Rule Based Temporal Inference},
  booktitle    = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  pages        = {4:1--4:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.ICLP.2017.4},
  doi          = {10.4230/OASICS.ICLP.2017.4},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/ChekolS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Codish0MM17,
  author       = {Michael Codish and
                  Michael Frank and
                  Amit Metodi and
                  Morad Muslimany},
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {Logic Programming with Max-Clique and its Application to Graph Coloring
                  (Tool Description)},
  booktitle    = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  pages        = {5:1--5:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.ICLP.2017.5},
  doi          = {10.4230/OASICS.ICLP.2017.5},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Codish0MM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Gao17,
  author       = {Tiantian Gao},
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {Achieving High Quality Knowledge Acquisition using Controlled Natural
                  Language},
  booktitle    = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  pages        = {13:1--13:10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.ICLP.2017.13},
  doi          = {10.4230/OASICS.ICLP.2017.13},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Gao17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Hanus17,
  author       = {Michael Hanus},
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {Semantic Versioning Checking in a Declarative Package Manager},
  booktitle    = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  pages        = {6:1--6:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.ICLP.2017.6},
  doi          = {10.4230/OASICS.ICLP.2017.6},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Hanus17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/HemannFBM17,
  author       = {Jason Hemann and
                  Daniel P. Friedman and
                  William E. Byrd and
                  Matthew Might},
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {A Simple Complete Search for Logic Programming},
  booktitle    = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  pages        = {14:1--14:8},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.ICLP.2017.14},
  doi          = {10.4230/OASICS.ICLP.2017.14},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/HemannFBM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/InclezanZBI17,
  author       = {Daniela Inclezan and
                  Qinglin Zhang and
                  Marcello Balduccini and
                  Ankush Israney},
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {Understanding Restaurant Stories Using an {ASP} Theory of Intentions},
  booktitle    = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  pages        = {7:1--7:4},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.ICLP.2017.7},
  doi          = {10.4230/OASICS.ICLP.2017.7},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/InclezanZBI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Schwitter17,
  author       = {Rolf Schwitter},
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {Learning Effect Axioms via Probabilistic Logic Programming},
  booktitle    = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  pages        = {8:1--8:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.ICLP.2017.8},
  doi          = {10.4230/OASICS.ICLP.2017.8},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Schwitter17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Stulova17,
  author       = {Nataliia Stulova},
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {On Improving Run-time Checking in Dynamic Languages},
  booktitle    = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  pages        = {15:1--15:10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.ICLP.2017.15},
  doi          = {10.4230/OASICS.ICLP.2017.15},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Stulova17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/StulovaMH17,
  author       = {Nataliia Stulova and
                  Jos{\'{e}} F. Morales and
                  Manuel V. Hermenegildo},
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {Towards Run-time Checks Simplification via Term Hiding},
  booktitle    = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  pages        = {9:1--9:3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.ICLP.2017.9},
  doi          = {10.4230/OASICS.ICLP.2017.9},
  timestamp    = {Fri, 23 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/StulovaMH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Tarau17,
  author       = {Paul Tarau},
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {A Hitchhiker's Guide to Reinventing a Prolog Machine},
  booktitle    = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  pages        = {10:1--10:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.ICLP.2017.10},
  doi          = {10.4230/OASICS.ICLP.2017.10},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Tarau17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/X17,
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {Front Matter, Table of Contents, Preface, Conference Organization},
  booktitle    = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  pages        = {0:i--0:xii},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.ICLP.2017.0},
  doi          = {10.4230/OASICS.ICLP.2017.0},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/X17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/ZhouB17,
  author       = {Neng{-}Fa Zhou and
                  Roman Bart{\'{a}}k},
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {// Efficient Declarative Solutions in Picat for Optimal Multi-Agent
                  Pathfinding},
  booktitle    = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  pages        = {11:1--11:2},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.ICLP.2017.11},
  doi          = {10.4230/OASICS.ICLP.2017.11},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/ZhouB17.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.