Search dblp for Publications

export results for "toc:db/conf/ruleml/ruleml2019.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ruleml/BianchiPHS19,
  author       = {Federico Bianchi and
                  Matteo Palmonari and
                  Pascal Hitzler and
                  Luciano Serafini},
  editor       = {Paul Fodor and
                  Marco Montali and
                  Diego Calvanese and
                  Dumitru Roman},
  title        = {Complementing Logical Reasoning with Sub-symbolic Commonsense},
  booktitle    = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
                  2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11784},
  pages        = {161--170},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31095-0\_11},
  doi          = {10.1007/978-3-030-31095-0\_11},
  timestamp    = {Wed, 24 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/BianchiPHS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/BorgwardtFK19,
  author       = {Stefan Borgwardt and
                  Walter Forkel and
                  Alisa Kovtunova},
  editor       = {Paul Fodor and
                  Marco Montali and
                  Diego Calvanese and
                  Dumitru Roman},
  title        = {Finding New Diamonds: Temporal Minimal-World Query Answering over
                  Sparse ABoxes},
  booktitle    = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
                  2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11784},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31095-0\_1},
  doi          = {10.1007/978-3-030-31095-0\_1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/BorgwardtFK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/BozzatoES19,
  author       = {Loris Bozzato and
                  Thomas Eiter and
                  Luciano Serafini},
  editor       = {Paul Fodor and
                  Marco Montali and
                  Diego Calvanese and
                  Dumitru Roman},
  title        = {Reasoning on {\textbackslash}textitDL-Lite{\_}{\(\mathscr{R}\)} with
                  Defeasibility in {ASP}},
  booktitle    = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
                  2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11784},
  pages        = {19--35},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31095-0\_2},
  doi          = {10.1007/978-3-030-31095-0\_2},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/BozzatoES19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/DeryckAV19,
  author       = {Marjolein Deryck and
                  Bram Aerts and
                  Joost Vennekens},
  editor       = {Paul Fodor and
                  Marco Montali and
                  Diego Calvanese and
                  Dumitru Roman},
  title        = {Adding Constraint Tables to the {DMN} Standard: Preliminary Results},
  booktitle    = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
                  2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11784},
  pages        = {171--179},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31095-0\_12},
  doi          = {10.1007/978-3-030-31095-0\_12},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/DeryckAV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/DeryckMASFOBV19,
  author       = {Marjolein Deryck and
                  Theodoros Mitsikas and
                  Sofia Almpani and
                  Petros S. Stefaneas and
                  Panayiotis Frangos and
                  Iakovos Ouranos and
                  Harold Boley and
                  Joost Vennekens},
  editor       = {Paul Fodor and
                  Marco Montali and
                  Diego Calvanese and
                  Dumitru Roman},
  title        = {Aligning, Interoperating, and Co-executing Air Traffic Control Rules
                  Across {PSOA} RuleML and {IDP}},
  booktitle    = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
                  2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11784},
  pages        = {52--66},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31095-0\_4},
  doi          = {10.1007/978-3-030-31095-0\_4},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/DeryckMASFOBV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/DodaroGKMP19,
  author       = {Carmine Dodaro and
                  Giuseppe Galat{\`{a}} and
                  Muhammad Kamran Khan and
                  Marco Maratea and
                  Ivan Porro},
  editor       = {Paul Fodor and
                  Marco Montali and
                  Diego Calvanese and
                  Dumitru Roman},
  title        = {An ASP-based Solution for Operating Room Scheduling with Beds Management},
  booktitle    = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
                  2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11784},
  pages        = {67--81},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31095-0\_5},
  doi          = {10.1007/978-3-030-31095-0\_5},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/DodaroGKMP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/KrishnamurthyH19,
  author       = {Rahul Krishnamurthy and
                  Michael S. Hsiao},
  editor       = {Paul Fodor and
                  Marco Montali and
                  Diego Calvanese and
                  Dumitru Roman},
  title        = {{EASE:} Enabling Hardware Assertion Synthesis from English},
  booktitle    = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
                  2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11784},
  pages        = {82--96},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31095-0\_6},
  doi          = {10.1007/978-3-030-31095-0\_6},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/KrishnamurthyH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/LedvinkaK19,
  author       = {Martin Ledvinka and
                  Petr Kremen},
  editor       = {Paul Fodor and
                  Marco Montali and
                  Diego Calvanese and
                  Dumitru Roman},
  title        = {Formalizing Object-Ontological Mapping Using F-logic},
  booktitle    = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
                  2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11784},
  pages        = {97--112},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31095-0\_7},
  doi          = {10.1007/978-3-030-31095-0\_7},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/LedvinkaK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/LigaP19,
  author       = {Davide Liga and
                  Monica Palmirani},
  editor       = {Paul Fodor and
                  Marco Montali and
                  Diego Calvanese and
                  Dumitru Roman},
  title        = {Detecting "Slippery Slope" and Other Argumentative Stances of Opposition
                  Using Tree Kernels in Monologic Discourse},
  booktitle    = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
                  2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11784},
  pages        = {180--189},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31095-0\_13},
  doi          = {10.1007/978-3-030-31095-0\_13},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/LigaP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/LiuY19,
  author       = {Fangfang Liu and
                  Jia{-}Huai You},
  editor       = {Paul Fodor and
                  Marco Montali and
                  Diego Calvanese and
                  Dumitru Roman},
  title        = {Alternating Fixpoint Operator for Hybrid {MKNF} Knowledge Bases as
                  an Approximator of {AFT}},
  booktitle    = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
                  2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11784},
  pages        = {113--127},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31095-0\_8},
  doi          = {10.1007/978-3-030-31095-0\_8},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/LiuY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/MichelTZ19,
  author       = {Friedrich Michel and
                  Anni{-}Yasmin Turhan and
                  Benjamin Zarrie{\ss}},
  editor       = {Paul Fodor and
                  Marco Montali and
                  Diego Calvanese and
                  Dumitru Roman},
  title        = {Efficient TBox Reasoning with Value Restrictions - Introducing the
                  {\(\mathscr{F}\)}\}{\_}o {\textbackslash}textitwer Reasoner},
  booktitle    = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
                  2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11784},
  pages        = {128--143},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31095-0\_9},
  doi          = {10.1007/978-3-030-31095-0\_9},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/MichelTZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/MorenoPR19,
  author       = {Gin{\'{e}}s Moreno and
                  Jes{\'{u}}s P{\'{e}}rez and
                  Jos{\'{e}} A. Riaza},
  editor       = {Paul Fodor and
                  Marco Montali and
                  Diego Calvanese and
                  Dumitru Roman},
  title        = {Fuzzy Logic Programming for Tuning Neural Networks},
  booktitle    = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
                  2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11784},
  pages        = {190--197},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31095-0\_14},
  doi          = {10.1007/978-3-030-31095-0\_14},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/MorenoPR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/RodriguezAU19,
  author       = {Olivier Rodriguez and
                  Reza Akbarinia and
                  Federico Ulliana},
  editor       = {Paul Fodor and
                  Marco Montali and
                  Diego Calvanese and
                  Dumitru Roman},
  title        = {Querying Key-Value Stores Under Single-Key Constraints: Rewriting
                  and Parallelization},
  booktitle    = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
                  2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11784},
  pages        = {198--206},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31095-0\_15},
  doi          = {10.1007/978-3-030-31095-0\_15},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/RodriguezAU19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/TrivelaSV19,
  author       = {Despoina Trivela and
                  Giorgos Stoilos and
                  Vasilis Vassalos},
  editor       = {Paul Fodor and
                  Marco Montali and
                  Diego Calvanese and
                  Dumitru Roman},
  title        = {Query Rewriting for {DL} Ontologies Under the {ICAR} Semantics},
  booktitle    = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
                  2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11784},
  pages        = {144--158},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31095-0\_10},
  doi          = {10.1007/978-3-030-31095-0\_10},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/TrivelaSV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/VosKPS19,
  author       = {Marina De Vos and
                  Sabrina Kirrane and
                  Julian A. Padget and
                  Ken Satoh},
  editor       = {Paul Fodor and
                  Marco Montali and
                  Diego Calvanese and
                  Dumitru Roman},
  title        = {{ODRL} Policy Modelling and Compliance Checking},
  booktitle    = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
                  2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11784},
  pages        = {36--51},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31095-0\_3},
  doi          = {10.1007/978-3-030-31095-0\_3},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/VosKPS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ruleml/2019,
  editor       = {Paul Fodor and
                  Marco Montali and
                  Diego Calvanese and
                  Dumitru Roman},
  title        = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
                  2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11784},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31095-0},
  doi          = {10.1007/978-3-030-31095-0},
  isbn         = {978-3-030-31094-3},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/2019.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.