Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/ruleml/0003SS22,
  author       = {Javier Romero and
                  Torsten Schaub and
                  Klaus Strauch},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {On the Generalization of Learned Constraints for {ASP} Solving in
                  Temporal Domains},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {20--37},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_2},
  doi          = {10.1007/978-3-031-21541-4\_2},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/0003SS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/AlrabbaaBHKKRW22,
  author       = {Christian Alrabbaa and
                  Stefan Borgwardt and
                  Anke Hirsch and
                  Nina Knieriemen and
                  Alisa Kovtunova and
                  Anna Milena Rothermel and
                  Frederik Wiehr},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {In the Head of the Beholder: Comparing Different Proof Representations},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {211--226},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_14},
  doi          = {10.1007/978-3-031-21541-4\_14},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/AlrabbaaBHKKRW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/AlrabbaaBKK22,
  author       = {Christian Alrabbaa and
                  Stefan Borgwardt and
                  Patrick Koopmann and
                  Alisa Kovtunova},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {Explaining Ontology-Mediated Query Answers Using Proofs over Universal
                  Models},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {167--182},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_11},
  doi          = {10.1007/978-3-031-21541-4\_11},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/AlrabbaaBKK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/AtzeniBBS22,
  author       = {Paolo Atzeni and
                  Teodoro Baldazzi and
                  Luigi Bellomarini and
                  Emanuel Sallinger},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {iWarded: {A} Versatile Generator to Benchmark Warded Datalog+/- Reasoning},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {113--129},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_8},
  doi          = {10.1007/978-3-031-21541-4\_8},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/AtzeniBBS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/BaaderKN22,
  author       = {Franz Baader and
                  Francesco Kriegel and
                  Adrian Nuradiansyah},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {Error-Tolerant Reasoning in the Description Logic \emph{E}{\(\mathscr{L}\)}
                  Based on Optimal Repairs},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {227--243},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_15},
  doi          = {10.1007/978-3-031-21541-4\_15},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/BaaderKN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/BellomariniBNS22,
  author       = {Luigi Bellomarini and
                  Livia Blasi and
                  Markus Nissl and
                  Emanuel Sallinger},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {The Temporal Vadalog System},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {130--145},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_9},
  doi          = {10.1007/978-3-031-21541-4\_9},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/BellomariniBNS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/BouchardSC22,
  author       = {Fr{\'{e}}d{\'{e}}ric Bouchard and
                  Sean Sedwards and
                  Krzysztof Czarnecki},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {A Rule-Based Behaviour Planner for Autonomous Driving},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {263--279},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_17},
  doi          = {10.1007/978-3-031-21541-4\_17},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/BouchardSC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/CalimeriMPZ22,
  author       = {Francesco Calimeri and
                  Elena Mastria and
                  Simona Perri and
                  Jessica Zangari},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {The Stream Reasoning System I-DLV-sr: Enhancements and Applications
                  in Smart Cities},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {38--53},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_3},
  doi          = {10.1007/978-3-031-21541-4\_3},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/CalimeriMPZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/CasiniMPV22,
  author       = {Giovanni Casini and
                  Thomas Meyer and
                  Guy Paterson{-}Jones and
                  Ivan Varzinczak},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {KLM-Style Defeasibility for Restricted First-Order Logic},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {81--94},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_6},
  doi          = {10.1007/978-3-031-21541-4\_6},
  timestamp    = {Thu, 29 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/CasiniMPV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/Costantini0P22,
  author       = {Stefania Costantini and
                  Andrea Formisano and
                  Valentina Pitoni},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {Cooperation Among Groups of Agents in the Epistemic Logic {L-DINF}},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {280--295},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_18},
  doi          = {10.1007/978-3-031-21541-4\_18},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/Costantini0P22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/CristaniGOR22,
  author       = {Matteo Cristani and
                  Guido Governatori and
                  Francesco Olivieri and
                  Antonino Rotolo},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {From Defeasible Logic to Counterfactual Reasoning},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {65--80},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_5},
  doi          = {10.1007/978-3-031-21541-4\_5},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/CristaniGOR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/ElhalawatiKM22,
  author       = {Ali Elhalawati and
                  Markus Kr{\"{o}}tzsch and
                  Stephan Mennicke},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {An Existential Rule Framework for Computing Why-Provenance On-Demand
                  for Datalog},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {146--163},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_10},
  doi          = {10.1007/978-3-031-21541-4\_10},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/ElhalawatiKM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/FalakhRS22,
  author       = {Faiq Miftakhul Falakh and
                  Sebastian Rudolph and
                  Kai Sauerwald},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {Semantic Characterizations of {AGM} Revision for Tarskian Logics},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {95--110},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_7},
  doi          = {10.1007/978-3-031-21541-4\_7},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/FalakhRS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/Feng0W22,
  author       = {Eva Feng and
                  David Toman and
                  Grant E. Weddell},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {Magic Sets in Interpolation-Based Rule Driven Query Optimization},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {198--207},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_13},
  doi          = {10.1007/978-3-031-21541-4\_13},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/Feng0W22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/HahnJK0RS22,
  author       = {Susana Hahn and
                  Tomi Janhunen and
                  Roland Kaminski and
                  Javier Romero and
                  Nicolas R{\"{u}}hling and
                  Torsten Schaub},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {Plingo: {A} System for Probabilistic Reasoning in Clingo Based on
                  {LP} \({}^{\mbox{ {MLN} }}\)},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {54--62},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_4},
  doi          = {10.1007/978-3-031-21541-4\_4},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/HahnJK0RS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/MarkosM22,
  author       = {Vassilis Markos and
                  Loizos Michael},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {Prudens: An Argumentation-Based Language for Cognitive Assistants},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {296--304},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_19},
  doi          = {10.1007/978-3-031-21541-4\_19},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/MarkosM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/SteenF22,
  author       = {Alexander Steen and
                  David Fuenmayor},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {Bridging Between LegalRuleML and {TPTP} for Automated Normative Reasoning},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {244--260},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_16},
  doi          = {10.1007/978-3-031-21541-4\_16},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/SteenF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/WangWG22,
  author       = {Dingmin Wang and
                  Przemyslaw Andrzej Walega and
                  Bernardo Cuenca Grau},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {Semina{\"{\i}}ve Materialisation in DatalogMTL},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {183--197},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_12},
  doi          = {10.1007/978-3-031-21541-4\_12},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/WangWG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/Yli-JyraJ22,
  author       = {Anssi Yli{-}Jyr{\"{a}} and
                  Tomi Janhunen},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {Applying Answer Set Optimization to Preventive Maintenance Scheduling
                  for Rotating Machinery},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {3--19},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_1},
  doi          = {10.1007/978-3-031-21541-4\_1},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/Yli-JyraJ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ruleml/2022,
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4},
  doi          = {10.1007/978-3-031-21541-4},
  isbn         = {978-3-031-21540-7},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/2022.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.