Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/ruleml/AgliBGW16,
  author       = {Hamza Agli and
                  Philippe Bonnard and
                  Christophe Gonzales and
                  Pierre{-}Henri Wuillemin},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Business Rules Uncertainty Management with Probabilistic Relational
                  Models},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {53--67},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_4},
  doi          = {10.1007/978-3-319-42019-6\_4},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/AgliBGW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/BaryannisWA16,
  author       = {George Baryannis and
                  Przemyslaw Woznowski and
                  Grigoris Antoniou},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Rule-Based Real-Time {ADL} Recognition in a Smart Home Environment},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {325--340},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_21},
  doi          = {10.1007/978-3-319-42019-6\_21},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/BaryannisWA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Boley16,
  author       = {Harold Boley},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {The RuleML Knowledge-Interoperation Hub},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {19--33},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_2},
  doi          = {10.1007/978-3-319-42019-6\_2},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/Boley16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CassaviaMPS16,
  author       = {Nunziato Cassavia and
                  Elio Masciari and
                  Chiara Pulice and
                  Domenico Sacc{\`{a}}},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {A Framework Enhancing the User Search Activity Through Data Posting},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {287--304},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_19},
  doi          = {10.1007/978-3-319-42019-6\_19},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/CassaviaMPS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CervesatoLE16,
  author       = {Iliano Cervesato and
                  Edmund Soon Lee Lam and
                  Ali Elgazar},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Choreographic Compilation of Decentralized Comprehension Patterns},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {113--129},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_8},
  doi          = {10.1007/978-3-319-42019-6\_8},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/CervesatoLE16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CostantiniG16,
  author       = {Stefania Costantini and
                  Giovanni De Gasperis},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Bridge Rules for Reasoning in Component-Based Heterogeneous Environments},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {97--112},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_7},
  doi          = {10.1007/978-3-319-42019-6\_7},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/CostantiniG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Ferilli16,
  author       = {Stefano Ferilli},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Handling Complex Process Models Conditions Using First-Order Horn
                  Clauses},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {37--52},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_3},
  doi          = {10.1007/978-3-319-42019-6\_3},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/Ferilli16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Fruhwirth16,
  author       = {Thom W. Fr{\"{u}}hwirth},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Why Can't You Behave? Non-termination Analysis of Direct Recursive
                  Rules with Constraints},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {208--222},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_14},
  doi          = {10.1007/978-3-319-42019-6\_14},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/Fruhwirth16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/GallF16,
  author       = {Daniel Gall and
                  Thom W. Fr{\"{u}}hwirth},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Translation of Cognitive Models from {ACT-R} to Constraint Handling
                  Rules},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {223--237},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_15},
  doi          = {10.1007/978-3-319-42019-6\_15},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/GallF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/HarrisPP16,
  author       = {Greg Harris and
                  Anand V. Panangadan and
                  Viktor K. Prasanna},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {{PRIMER} - {A} Regression-Rule Learning System for Intervention Optimization},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {307--321},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_20},
  doi          = {10.1007/978-3-319-42019-6\_20},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/HarrisPP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/HovlandLRX16,
  author       = {Dag Hovland and
                  Davide Lanti and
                  Martin Rezk and
                  Guohui Xiao},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {{OBDA} Constraints for Effective Query Answering},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {269--286},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_18},
  doi          = {10.1007/978-3-319-42019-6\_18},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/HovlandLRX16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/IdelbergerGRS16,
  author       = {Florian Idelberger and
                  Guido Governatori and
                  R{\'{e}}gis Riveret and
                  Giovanni Sartor},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Evaluation of Logic-Based Smart Contracts for Blockchain Systems},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {167--183},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_11},
  doi          = {10.1007/978-3-319-42019-6\_11},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/IdelbergerGRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/IranzoMPV16,
  author       = {Pascual Juli{\'{a}}n Iranzo and
                  Gin{\'{e}}s Moreno and
                  Jaime Penabad and
                  Carlos V{\'{a}}zquez},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {A Declarative Semantics for a Fuzzy Logic Language Managing Similarities
                  and Truth Degrees},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {68--82},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_5},
  doi          = {10.1007/978-3-319-42019-6\_5},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/IranzoMPV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/KhalilCYO16,
  author       = {Firas Al Khalil and
                  Marcello Ceci and
                  Kosala Yapa and
                  Leona O'Brien},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {{SBVR} to {OWL} 2 Mapping in the Domain of Legal Rules},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {258--266},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_17},
  doi          = {10.1007/978-3-319-42019-6\_17},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/KhalilCYO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/LamHS16,
  author       = {Ho{-}Pun Lam and
                  Mustafa Hashmi and
                  Brendan Scofield},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Enabling Reasoning with LegalRuleML},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {241--257},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_16},
  doi          = {10.1007/978-3-319-42019-6\_16},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/LamHS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/MarinoJ16,
  author       = {Bill Marino and
                  Ari Juels},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Setting Standards for Altering and Undoing Smart Contracts},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {151--166},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_10},
  doi          = {10.1007/978-3-319-42019-6\_10},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/MarinoJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/SchultzB16,
  author       = {Carl Schultz and
                  Mehul Bhatt},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {A Numerical Optimisation Based Characterisation of Spatial Reasoning},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {199--207},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_13},
  doi          = {10.1007/978-3-319-42019-6\_13},
  timestamp    = {Tue, 22 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/SchultzB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Swan16,
  author       = {Melanie Swan},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Blockchain Temporality: Smart Contract Time Specifiability with Blocktime},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {184--196},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_12},
  doi          = {10.1007/978-3-319-42019-6\_12},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/Swan16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/WangLDMK16,
  author       = {Olivier Wang and
                  Leo Liberti and
                  Claudia D'Ambrosio and
                  Christian de Sainte Marie and
                  Changhai Ke},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Controlling the Average Behavior of Business Rules Programs},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {83--96},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_6},
  doi          = {10.1007/978-3-319-42019-6\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/WangLDMK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/WoenselRA16,
  author       = {William Van Woensel and
                  Patrice C. Roy and
                  Syed Sibte Raza Abidi},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {SmartRL: {A} Context-Sensitive, Ontology-Based Rule Language for Assisted
                  Living in Smart Environments},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {341--349},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_22},
  doi          = {10.1007/978-3-319-42019-6\_22},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/WoenselRA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Zhou16,
  author       = {Neng{-}Fa Zhou},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Programming in Picat},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_1},
  doi          = {10.1007/978-3-319-42019-6\_1},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/Zhou16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/ZouB16,
  author       = {Gen Zou and
                  Harold Boley},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Minimal Objectification and Maximal Unnesting in {PSOA} RuleML},
  booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  pages        = {130--147},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_9},
  doi          = {10.1007/978-3-319-42019-6\_9},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/ZouB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2016,
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6},
  doi          = {10.1007/978-3-319-42019-6},
  isbn         = {978-3-319-42018-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics