Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/ruleml/ruleml2016.bht:"
@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} }
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.