Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Benjamin N. Grosof
@incollection{DBLP:series/lncs/GrosofKSFB23,
author = {Benjamin N. Grosof and
Michael Kifer and
Theresa Swift and
Paul Fodor and
Janine Bloomfield},
editor = {David Scott Warren and
Ver{\'{o}}nica Dahl and
Thomas Eiter and
Manuel V. Hermenegildo and
Robert A. Kowalski and
Francesca Rossi},
title = {Ergo: {A} Quest for Declarativity in Logic Programming},
booktitle = {Prolog: The Next 50 Years},
series = {Lecture Notes in Computer Science},
volume = {13900},
pages = {224--236},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35254-6\_18},
doi = {10.1007/978-3-031-35254-6\_18},
timestamp = {Tue, 23 Jan 2024 13:25:47 +0100},
biburl = {https://dblp.org/rec/series/lncs/GrosofKSFB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/GrosofS19,
author = {Benjamin N. Grosof and
Theresa Swift},
editor = {Andreas Martin and
Knut Hinkelmann and
Aurona Gerber and
Doug Lenat and
Frank van Harmelen and
Peter Clark},
title = {{PLOW:} Probabilistic Logic Over the Well-Founded Semantics},
booktitle = {Proceedings of the {AAAI} 2019 Spring Symposium on Combining Machine
Learning with Knowledge Engineering {(AAAI-MAKE} 2019) Stanford University,
Palo Alto, California, USA, March 25-27, 2019., Stanford University,
Palo Alto, California, USA, March 25-27, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2350},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2350/xposter1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:39 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/GrosofS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/GrosofKF17,
author = {Benjamin N. Grosof and
Michael Kifer and
Paul Fodor},
editor = {Nick Bassiliades and
Antonis Bikakis and
Stefania Costantini and
Enrico Franconi and
Adrian Giurca and
Roman Kontchakov and
Theodore Patkos and
Fariba Sadri and
William Van Woensel},
title = {Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning},
booktitle = {Proceedings of the Doctoral Consortium, Challenge, Industry Track,
Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint
Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK,
July 11-15, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1875},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1875/paper18.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/GrosofKF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nesy/Grosof16,
author = {Benjamin N. Grosof},
editor = {Tarek R. Besold and
Lu{\'{\i}}s C. Lamb and
Luciano Serafini and
Whitney Tabor},
title = {High-Power Logical Representation via Rulelog, for Neural-Symbolic},
booktitle = {Proceedings of the 11th International Workshop on Neural-Symbolic
Learning and Reasoning (NeSy'16) co-located with the Joint Multi-Conference
on Human-Level Artificial Intelligence {(HLAI} 2016), New York City,
NY, USA, July 16-17, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1768},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1768/NESY16\_paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:33 +0100},
biburl = {https://dblp.org/rec/conf/nesy/Grosof16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/WanKG15,
author = {Hui Wan and
Michael Kifer and
Benjamin N. Grosof},
title = {Defeasibility in answer set programs with defaults and argumentation
rules},
journal = {Semantic Web},
volume = {6},
number = {1},
pages = {81--98},
year = {2015},
url = {https://doi.org/10.3233/SW-140140},
doi = {10.3233/SW-140140},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/semweb/WanKG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/GrosofBFKGCS15,
author = {Benjamin N. Grosof and
Janine Bloomfield and
Paul Fodor and
Michael Kifer and
Isaac Grosof and
Miguel Calejo and
Terrance Swift},
editor = {Nick Bassiliades and
Paul Fodor and
Adrian Giurca and
Georg Gottlob and
Tom{\'{a}}s Kliegr and
Grzegorz J. Nalepa and
Monica Palmirani and
Adrian Paschke and
Mark Proctor and
Dumitru Roman and
Fariba Sadri and
Nenad Stojanovic},
title = {Automated Decision Support for Financial Regulatory/Policy Compliance,
using Textual Rulelog},
booktitle = {Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based
Recommender Systems for the Web of Data, the Special Industry Track
and the RuleML 2015 Doctoral Consortium hosted by the 9th International
Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1417},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1417/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/GrosofBFKGCS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/GrosofKF15,
author = {Benjamin N. Grosof and
Michael Kifer and
Paul Fodor},
editor = {Wolfgang Faber and
Adrian Paschke},
title = {The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress
(Extended Abstract of Tutorial Presentation)},
booktitle = {Reasoning Web. Web Logic Rules - 11th International Summer School
2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {9203},
pages = {189--192},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21768-0\_7},
doi = {10.1007/978-3-319-21768-0\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rweb/GrosofKF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GrosofS13,
author = {Benjamin Nathan Grosof and
Terrance Swift},
editor = {Marie desJardins and
Michael L. Littman},
title = {Radial Restraint: {A} Semantically Clean Approach to Bounded Rationality
for Logic Programs},
booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
pages = {379--386},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8682},
doi = {10.1609/AAAI.V27I1.8682},
timestamp = {Mon, 04 Sep 2023 15:56:33 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GrosofS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/AndersenBCDFGKLS13,
author = {Carl Andersen and
Brett Benyo and
Miguel Calejo and
Mike Dean and
Paul Fodor and
Benjamin N. Grosof and
Michael Kifer and
Senlin Liang and
Terrance Swift},
editor = {Paul Fodor and
Dumitru Roman and
Darko Anicic and
Adam Z. Wyner and
Monica Palmirani and
Davide Sottara and
Fran{\c{c}}ois L{\'{e}}vy},
title = {Advanced Knowledge Base Debugging for Rulelog},
booktitle = {Joint Proceedings of the 7th International Rule Challenge, the Special
Track on Human Language Technology and the 3rd RuleML Doctoral Consortium,
Seattle, USA, July 11 -13, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1004},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1004/paper8.pdf},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/AndersenBCDFGKLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Grosof13,
author = {Benjamin N. Grosof},
editor = {Leora Morgenstern and
Petros S. Stefaneas and
Fran{\c{c}}ois L{\'{e}}vy and
Adam Z. Wyner and
Adrian Paschke},
title = {Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas,
via Textual Logic and Rulelog - (Summary of Invited Talk)},
booktitle = {Theory, Practice, and Applications of Rules on the Web - 7th International
Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8035},
pages = {2--11},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39617-5\_2},
doi = {10.1007/978-3-642-39617-5\_2},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/Grosof13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-4951,
author = {Benjamin N. Grosof},
title = {Transforming Prioritized Defaults and Specificity into Parallel Defaults},
journal = {CoRR},
volume = {abs/1302.4951},
year = {2013},
url = {http://arxiv.org/abs/1302.4951},
eprinttype = {arXiv},
eprint = {1302.4951},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-4951.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-3087,
author = {Benjamin N. Grosof},
title = {Non-Monotonicity in Probabilistic Reasoning},
journal = {CoRR},
volume = {abs/1304.3087},
year = {2013},
url = {http://arxiv.org/abs/1304.3087},
eprinttype = {arXiv},
eprint = {1304.3087},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-3087.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-3418,
author = {Benjamin N. Grosof},
title = {An Inequality Paradigm for Probabilistic Knowledge},
journal = {CoRR},
volume = {abs/1304.3418},
year = {2013},
url = {http://arxiv.org/abs/1304.3418},
eprinttype = {arXiv},
eprint = {1304.3418},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-3418.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-3439,
author = {Benjamin N. Grosof},
title = {Evidential Confirmation as Transformed Probability},
journal = {CoRR},
volume = {abs/1304.3439},
year = {2013},
url = {http://arxiv.org/abs/1304.3439},
eprinttype = {arXiv},
eprint = {1304.3439},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-3439.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AndersenBCDFGKLS13,
author = {Carl Andersen and
Brett Benyo and
Miguel Calejo and
Mike Dean and
Paul Fodor and
Benjamin N. Grosof and
Michael Kifer and
Senlin Liang and
Terrance Swift},
title = {Understanding Rulelog Computations in Silk},
journal = {CoRR},
volume = {abs/1308.4125},
year = {2013},
url = {http://arxiv.org/abs/1308.4125},
eprinttype = {arXiv},
eprint = {1308.4125},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AndersenBCDFGKLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Grosof11,
author = {Benjamin N. Grosof},
editor = {Frank Olken and
Monica Palmirani and
Davide Sottara},
title = {Recent Advances in the {SILK} Knowledge Representation and Its Usage},
booktitle = {Rule-Based Modeling and Computing on the Semantic Web, 5th International
Symposium, RuleML 2011- America, Ft. Lauderdale, FL, Florida, USA,
November 3-5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7018},
pages = {13},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24908-2\_6},
doi = {10.1007/978-3-642-24908-2\_6},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/Grosof11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/GunningCCBCGGLMMPPSTT10,
author = {David Gunning and
Vinay K. Chaudhri and
Peter Clark and
Ken Barker and
Shaw Yi Chaw and
Mark Greaves and
Benjamin N. Grosof and
Alice Leung and
David D. McDonald and
Sunil Mishra and
John Pacheco and
Bruce W. Porter and
Aaron Spaulding and
Dan Tecuci and
Jing Tien},
title = {Project Halo Update - Progress Toward Digital Aristotle},
journal = {{AI} Mag.},
volume = {31},
number = {3},
pages = {33--58},
year = {2010},
url = {https://doi.org/10.1609/aimag.v31i3.2302},
doi = {10.1609/AIMAG.V31I3.2302},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/GunningCCBCGGLMMPPSTT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/WanKG10,
author = {Hui Wan and
Michael Kifer and
Benjamin N. Grosof},
editor = {Pascal Hitzler and
Thomas Lukasiewicz},
title = {Defeasibility in Answer Set Programs via Argumentation Theories},
booktitle = {Web Reasoning and Rule Systems - Fourth International Conference,
{RR} 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6333},
pages = {149--163},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15918-3\_12},
doi = {10.1007/978-3-642-15918-3\_12},
timestamp = {Sat, 23 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rr/WanKG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/GrosofADK10,
author = {Benjamin N. Grosof and
Carl Andersen and
Mike Dean and
Michael Kifer},
editor = {Monica Palmirani and
M. Omair Shafiq and
Enrico Francesconi and
Fabio Vitali},
title = {Omni-directional Hyper Logic Programs in {SILK} and {RIF}},
booktitle = {Proceedings of the RuleML-2010 Challenge, at the 4th International
Web Rule Symposium, Washington, DC, USA, October, 21-23, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {649},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-649/paper4.pdf},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/GrosofADK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/GrosofBDABFIS10,
author = {Benjamin N. Grosof and
Mark H. Burstein and
Mike Dean and
Carl Andersen and
Brett Benyo and
William Ferguson and
Daniela Inclezan and
Richard Shapiro},
editor = {Monica Palmirani and
M. Omair Shafiq and
Enrico Francesconi and
Fabio Vitali},
title = {A {SILK} Graphical {UI} for Defeasible Reasoning, with a Biology Causal
Process Example},
booktitle = {Proceedings of the RuleML-2010 Challenge, at the 4th International
Web Rule Symposium, Washington, DC, USA, October, 21-23, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {649},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-649/paper12.pdf},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/GrosofBDABFIS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GrosofBDABFIS10,
author = {Benjamin N. Grosof and
Mark H. Burstein and
Mike Dean and
Carl Andersen and
Brett Benyo and
William Ferguson and
Daniela Inclezan and
Richard Shapiro},
editor = {Axel Polleres and
Huajun Chen},
title = {A {SILK} Graphical {UI} for Defeasible Reasoning, with a Biology Causal
Process Example},
booktitle = {Proceedings of the {ISWC} 2010 Posters {\&} Demonstrations Track:
Collected Abstracts, Shanghai, China, November 9, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {658},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-658/paper481.pdf},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/GrosofBDABFIS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/WanGKFL09,
author = {Hui Wan and
Benjamin N. Grosof and
Michael Kifer and
Paul Fodor and
Senlin Liang},
editor = {Patricia M. Hill and
David Scott Warren},
title = {Logic Programming with Defaults and Argumentation Theories},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {432--448},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_35},
doi = {10.1007/978-3-642-02846-5\_35},
timestamp = {Sat, 23 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/WanGKFL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/Grosof09,
author = {Benjamin N. Grosof},
editor = {Axel Polleres and
Terrance Swift},
title = {{SILK:} Higher Level Rules with Defaults and Semantic Scalability},
booktitle = {Web Reasoning and Rule Systems, Third International Conference, {RR}
2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5837},
pages = {24--25},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05082-4\_2},
doi = {10.1007/978-3-642-05082-4\_2},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/Grosof09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itm/FiratMG07,
author = {Aykut Firat and
Stuart E. Madnick and
Benjamin N. Grosof},
title = {Contextual alignment of ontologies in the eCOIN semantic interoperability
framework},
journal = {Inf. Technol. Manag.},
volume = {8},
number = {1},
pages = {47--63},
year = {2007},
url = {https://doi.org/10.1007/s10799-006-0007-1},
doi = {10.1007/S10799-006-0007-1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/itm/FiratMG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/BhansaliG05,
author = {Sumit Bhansali and
Benjamin N. Grosof},
editor = {Asaf Adi and
Suzette Stoutenburg and
Said Tabet},
title = {Extending the SweetDeal Approach for e-Procurement Using SweetRules
and RuleML},
booktitle = {Rules and Rule Markup Languages for the Semantic Web, First International
Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3791},
pages = {113--129},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11580072\_10},
doi = {10.1007/11580072\_10},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/BhansaliG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/OConnorKTGDGM05,
author = {Martin J. O'Connor and
Holger Knublauch and
Samson W. Tu and
Benjamin N. Grosof and
Mike Dean and
William E. Grosso and
Mark A. Musen},
editor = {Yolanda Gil and
Enrico Motta and
V. Richard Benjamins and
Mark A. Musen},
title = {Supporting Rule System Interoperability on the Semantic Web with {SWRL}},
booktitle = {The Semantic Web - {ISWC} 2005, 4th International Semantic Web Conference,
{ISWC} 2005, Galway, Ireland, November 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3729},
pages = {974--986},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11574620\_69},
doi = {10.1007/11574620\_69},
timestamp = {Tue, 07 Sep 2021 13:47:46 +0200},
biburl = {https://dblp.org/rec/conf/semweb/OConnorKTGDGM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/w3c/BoleyDGKTW05,
author = {Harold Boley and
Mike Dean and
Benjamin N. Grosof and
Michael Kifer and
Said Tabet and
Gerd Wagner},
title = {RuleML Position Statement},
booktitle = {{W3C} Workshop on Rule Languages for Interoperability, 27-28 April
2005, Washington, DC, {USA}},
publisher = {{W3C}},
year = {2005},
url = {http://www.w3.org/2004/12/rules-ws/paper/96},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/w3c/BoleyDGKTW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/w3c/GrosofKM05,
author = {Benjamin N. Grosof and
Michael Kifer and
David L. Martin},
title = {Rules in the Semantic Web Services Language {(SWSL):} An Overview
for Standardization Directions},
booktitle = {{W3C} Workshop on Rule Languages for Interoperability, 27-28 April
2005, Washington, DC, {USA}},
publisher = {{W3C}},
year = {2005},
url = {http://www.w3.org/2004/12/rules-ws/paper/124},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/w3c/GrosofKM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ecra/Grosof04,
author = {Benjamin N. Grosof},
title = {Representing e-commerce rules via situated courteous logic programs
in RuleML},
journal = {Electron. Commer. Res. Appl.},
volume = {3},
number = {1},
pages = {2--20},
year = {2004},
url = {https://doi.org/10.1016/j.elerap.2003.09.005},
doi = {10.1016/J.ELERAP.2003.09.005},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ecra/Grosof04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijecommerce/GrosofP04,
author = {Benjamin N. Grosof and
Terrence C. Poon},
title = {SweetDeal: Representing Agent Contracts with Exceptions Using Semantic
Web Rules, Ontologies, and Process Descriptions},
journal = {Int. J. Electron. Commer.},
volume = {8},
number = {4},
pages = {61--97},
year = {2004},
url = {https://doi.org/10.1080/10864415.2004.11044305},
doi = {10.1080/10864415.2004.11044305},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijecommerce/GrosofP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/HorrocksADKGW03,
author = {Ian Horrocks and
J{\"{u}}rgen Angele and
Stefan Decker and
Michael Kifer and
Benjamin N. Grosof and
Gerd Wagner},
title = {Where Are the Rules?},
journal = {{IEEE} Intell. Syst.},
volume = {18},
number = {5},
pages = {76--83},
year = {2003},
url = {https://doi.org/10.1109/MIS.2003.1234775},
doi = {10.1109/MIS.2003.1234775},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/expert/HorrocksADKGW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/LiGF03,
author = {Ninghui Li and
Benjamin N. Grosof and
Joan Feigenbaum},
title = {Delegation logic: {A} logic-based approach to distributed authorization},
journal = {{ACM} Trans. Inf. Syst. Secur.},
volume = {6},
number = {1},
pages = {128--171},
year = {2003},
url = {https://doi.org/10.1145/605434.605438},
doi = {10.1145/605434.605438},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tissec/LiGF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/GrosofHVD03,
author = {Benjamin N. Grosof and
Ian Horrocks and
Raphael Volz and
Stefan Decker},
editor = {Guszt{\'{a}}v Hencsey and
Bebo White and
Yih{-}Farn Robin Chen and
L{\'{a}}szl{\'{o}} Kov{\'{a}}cs and
Steve Lawrence},
title = {Description logic programs: combining logic programs with description
logic},
booktitle = {Proceedings of the Twelfth International World Wide Web Conference,
{WWW} 2003, Budapest, Hungary, May 20-24, 2003},
pages = {48--57},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/775152.775160},
doi = {10.1145/775152.775160},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/GrosofHVD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/GrosofP03,
author = {Benjamin N. Grosof and
Terrence C. Poon},
editor = {Guszt{\'{a}}v Hencsey and
Bebo White and
Yih{-}Farn Robin Chen and
L{\'{a}}szl{\'{o}} Kov{\'{a}}cs and
Steve Lawrence},
title = {SweetDeal: representing agent contracts with exceptions using {XML}
rules, ontologies, and process descriptions},
booktitle = {Proceedings of the Twelfth International World Wide Web Conference,
{WWW} 2003, Budapest, Hungary, May 20-24, 2003},
pages = {340--349},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/775152.775200},
doi = {10.1145/775152.775200},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/GrosofP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/ReevesWG02,
author = {Daniel M. Reeves and
Michael P. Wellman and
Benjamin N. Grosof},
title = {Automated Negotiation from Declarative Contract Descriptions},
journal = {Comput. Intell.},
volume = {18},
number = {4},
pages = {482--500},
year = {2002},
url = {https://doi.org/10.1111/1467-8640.00199},
doi = {10.1111/1467-8640.00199},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/ReevesWG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icis/FiratMG02,
author = {Aykut Firat and
Stuart E. Madnick and
Benjamin N. Grosof},
editor = {Francesc Miralles and
Josep Valor},
title = {Knowledge Integration to Overcome Ontological Heterogeneity: Challenges
from Financial Information Systems},
booktitle = {Proceedings of the International Conference on Information Systems,
{ICIS} 2002, Barcelona, Spain, December 15-18, 2002},
pages = {17},
publisher = {Association for Information Systems},
year = {2002},
url = {http://aisel.aisnet.org/icis2002/17},
timestamp = {Wed, 28 Dec 2011 16:37:53 +0100},
biburl = {https://dblp.org/rec/conf/icis/FiratMG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rml/GrosofGF02,
author = {Benjamin N. Grosof and
Mahesh D. Gandhe and
Timothy W. Finin},
editor = {Michael Schroeder and
Gerd Wagner},
title = {SweetJess: Translating DAMLRuleML to {JESS}},
booktitle = {RuleML 2002, Proceedings of the International Workshop on Rule Markup
Languages for Business Rules on the Semantic Web, 14 June 2002, Sardinia,
Italy (In conjunction with the First International Semantic Web Conference
{ISWC2002} and hosted by {SIG2} of the OntoWeb Network},
series = {{CEUR} Workshop Proceedings},
volume = {60},
publisher = {CEUR-WS.org},
year = {2002},
url = {https://ceur-ws.org/Vol-60/grosof.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:32 +0100},
biburl = {https://dblp.org/rec/conf/rml/GrosofGF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rml/GrosofP02,
author = {Benjamin N. Grosof and
Terrence C. Poon},
editor = {Michael Schroeder and
Gerd Wagner},
title = {Representing Agent Contracts with Exceptions using {XML} Rules, Ontologies,
and Process Descriptions},
booktitle = {RuleML 2002, Proceedings of the International Workshop on Rule Markup
Languages for Business Rules on the Semantic Web, 14 June 2002, Sardinia,
Italy (In conjunction with the First International Semantic Web Conference
{ISWC2002} and hosted by {SIG2} of the OntoWeb Network},
series = {{CEUR} Workshop Proceedings},
volume = {60},
publisher = {CEUR-WS.org},
year = {2002},
url = {https://ceur-ws.org/Vol-60/grosof2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rml/GrosofP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/LesperanceWBBNWAFGJHGGHSKMDGMBM01,
author = {Yves Lesp{\'{e}}rance and
Gerd Wagner and
William P. Birmingham and
Kurt D. Bollacker and
Alexander Nareyek and
J. Paul Walser and
David W. Aha and
Timothy W. Finin and
Benjamin N. Grosof and
Nathalie Japkowicz and
Robert Holte and
Lise Getoor and
Carla P. Gomes and
Holger H. Hoos and
Alan C. Schultz and
Miroslav Kubat and
Tom M. Mitchell and
J{\"{o}}rg Denzinger and
Yolanda Gil and
Karen L. Myers and
Claudio Bettini and
Angelo Montanari},
title = {{AAAI} 2000 Workshop Reports},
journal = {{AI} Mag.},
volume = {22},
number = {1},
pages = {127--136},
year = {2001},
url = {https://doi.org/10.1609/aimag.v22i1.1552},
doi = {10.1609/AIMAG.V22I1.1552},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/LesperanceWBBNWAFGJHGGHSKMDGMBM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agents/ReevesWG01,
author = {Daniel M. Reeves and
Michael P. Wellman and
Benjamin N. Grosof},
editor = {Elisabeth Andr{\'{e}} and
Sandip Sen and
Claude Frasson and
J{\"{o}}rg P. M{\"{u}}ller},
title = {Automated negotiation from declarative contract descriptions},
booktitle = {Proceedings of the Fifth International Conference on Autonomous Agents,
{AGENTS} 2001, Montreal, Canada, May 28 - June 1, 2001},
pages = {51--58},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/375735.375867},
doi = {10.1145/375735.375867},
timestamp = {Sat, 30 Sep 2023 09:33:47 +0200},
biburl = {https://dblp.org/rec/conf/agents/ReevesWG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agentCL/GrosofL00,
author = {Benjamin N. Grosof and
Yannis Labrou},
editor = {Frank Dignum and
Mark Greaves},
title = {An Approach to Using {XML} and a Rule-Based Content Language with
an Agent Communication Language},
booktitle = {Issues in Agent Communication},
series = {Lecture Notes in Computer Science},
volume = {1916},
pages = {96--117},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722777\_7},
doi = {10.1007/10722777\_7},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/agentCL/GrosofL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/LiGF00,
author = {Ninghui Li and
Benjamin N. Grosof and
Joan Feigenbaum},
title = {A Practically Implementable and Tractable Delegation Logic},
booktitle = {2000 {IEEE} Symposium on Security and Privacy, Berkeley, California,
USA, May 14-17, 2000},
pages = {27--42},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/SECPRI.2000.848444},
doi = {10.1109/SECPRI.2000.848444},
timestamp = {Thu, 21 Sep 2023 15:57:29 +0200},
biburl = {https://dblp.org/rec/conf/sp/LiGF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Grosof99,
author = {Benjamin N. Grosof},
editor = {Jim Hendler and
Devika Subramanian},
title = {{DIPLOMAT:} Compiling Prioritized Default Rules into Ordinary Logic
Programs, for E-Commerce Applications},
booktitle = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
and Eleventh Conference on Innovative Applications of Artificial Intelligence,
July 18-22, 1999, Orlando, Florida, {USA}},
pages = {912--913},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1999},
url = {http://www.aaai.org/Library/AAAI/1999/aaai99-134.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Grosof99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/LiFG99,
author = {Ninghui Li and
Joan Feigenbaum and
Benjamin N. Grosof},
title = {A Logic-based Knowledge Representation for Authorization with Delegation},
booktitle = {Proceedings of the 12th {IEEE} Computer Security Foundations Workshop,
{CSFW} 1999, Mordano, Italy, June 28-30, 1999},
pages = {162--174},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/CSFW.1999.779771},
doi = {10.1109/CSFW.1999.779771},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/LiFG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigecom/GrosofLC99,
author = {Benjamin N. Grosof and
Yannis Labrou and
Hoi Y. Chan},
editor = {Stuart I. Feldman and
Michael P. Wellman},
title = {A declarative approach to business rules in contracts: courteous logic
programs in {XML}},
booktitle = {Proceedings of the First {ACM} Conference on Electronic Commerce (EC-99),
Denver, CO, USA, November 3-5, 1999},
pages = {68--77},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/336992.337010},
doi = {10.1145/336992.337010},
timestamp = {Tue, 27 Nov 2018 11:56:48 +0100},
biburl = {https://dblp.org/rec/conf/sigecom/GrosofLC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cia/KephartHLGSSW98,
author = {Jeffrey O. Kephart and
James E. Hanson and
David W. Levine and
Benjamin N. Grosof and
Jakka Sairamesh and
Richard B. Segal and
Steve R. White},
editor = {Matthias Klusch and
Gerhard Wei{\ss}},
title = {Dynamics of an Information-Filtering Economy},
booktitle = {Cooperative Information Agents II, Learning, Mobility and Electronic
Commerce for Information Discovery on the Internet, Second International
Workshop, CIA' 98, Paris, France, July 4-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1435},
pages = {160--171},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053682},
doi = {10.1007/BFB0053682},
timestamp = {Tue, 08 Mar 2022 10:12:49 +0100},
biburl = {https://dblp.org/rec/conf/cia/KephartHLGSSW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmas/KephartHLGSSW98,
author = {Jeffrey O. Kephart and
James E. Hanson and
Deffrey O. Levine and
Benjamin N. Grosof and
Jakka Sairamesh and
Richard B. Segal and
Steve R. White},
editor = {Yves Demazeau},
title = {Emergent Behavior in Information Economies},
booktitle = {Proceedings of the Third International Conference on Multiagent Systems,
{ICMAS} 1998, Paris, France, July 3-7, 1998},
pages = {441--442},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICMAS.1998.699276},
doi = {10.1109/ICMAS.1998.699276},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmas/KephartHLGSSW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paam/Grosof97,
author = {Benjamin N. Grosof},
editor = {I. Barry Crabtree},
title = {Building Commercial Agents: an {IBM} Research Perspective},
booktitle = {Proceedings of the Second International Conference on the Practical
Application of Intelligent Agents and Multi-Agent Technology, {PAAM}
1997, Westminster Central Hall, London, UK, April 21-23, 1997},
pages = {1--6},
publisher = {Practical Application Company Ltd.},
year = {1997},
timestamp = {Mon, 28 Nov 2022 16:52:59 +0100},
biburl = {https://dblp.org/rec/conf/paam/Grosof97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Grosof97,
author = {Benjamin N. Grosof},
editor = {Jan Maluszynski},
title = {Prioritized Conflict Handling for Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1997 International Symposium,
Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
pages = {197--211},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Fri, 10 Jul 2015 12:20:33 +0200},
biburl = {https://dblp.org/rec/conf/slp/Grosof97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wc/ChessGHLPT95,
author = {David M. Chess and
Benjamin N. Grosof and
Colin G. Harrison and
David W. Levine and
Colin Parris and
Gene Tsudik},
title = {Itinerant agents for mobile computing},
journal = {{IEEE} Wirel. Commun.},
volume = {2},
number = {5},
pages = {34--49},
year = {1995},
url = {https://doi.org/10.1109/98.468361},
doi = {10.1109/98.468361},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wc/ChessGHLPT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/GrosofLCPA95,
author = {Benjamin N. Grosof and
David W. Levine and
Hoi Y. Chan and
Colin Parris and
Joshua S. Auerbach},
editor = {Tim Finin and
James Mayfield},
title = {Reusable Architecture for Embedding Rule-based Intelligence in Information
Agents},
booktitle = {{CIKM} 1995 Intelligent Information Agents Workshop, Omni Inner Harbor
Hotel, Baltimore, MD, USA, December 1-2, 1995},
pages = {10:1--10:7},
year = {1995},
timestamp = {Fri, 19 May 2023 16:07:59 +0200},
biburl = {https://dblp.org/rec/conf/cikm/GrosofLCPA95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/Grosof95,
author = {Benjamin N. Grosof},
editor = {Philippe Besnard and
Steve Hanks},
title = {Transforming Prioritized Defaults and Specificity into Parallel Defaults},
booktitle = {{UAI} '95: Proceedings of the Eleventh Annual Conference on Uncertainty
in Artificial Intelligence, Montreal, Quebec, Canada, August 18-20,
1995},
pages = {217--228},
publisher = {Morgan Kaufmann},
year = {1995},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=437\&\#38;proceeding\_id=11},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/Grosof95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0086795,
author = {Benjamin N. Grosof},
title = {Updating and structure in non-monotonic theories},
school = {{IBM}},
year = {1992},
url = {https://searchworks.stanford.edu/view/2457778},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0086795.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Grosof91,
author = {Benjamin N. Grosof},
editor = {James F. Allen and
Richard Fikes and
Erik Sandewall},
title = {Generalizing Prioritization},
booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge
Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25,
1991},
pages = {289--300},
publisher = {Morgan Kaufmann},
year = {1991},
timestamp = {Fri, 18 May 2012 15:02:59 +0200},
biburl = {https://dblp.org/rec/conf/kr/Grosof91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/GrosofR89,
author = {Benjamin N. Grosof and
Stuart J. Russell},
editor = {Alberto Maria Segre},
title = {Declarative Bias for Structural Domains},
booktitle = {Proceedings of the Sixth International Workshop on Machine Learning
{(ML} 1989), Cornell University, Ithaca, New York, USA, June 26-27,
1989},
pages = {480--482},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Thu, 05 Dec 2002 12:38:01 +0100},
biburl = {https://dblp.org/rec/conf/icml/GrosofR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/Grosof89,
author = {Benjamin N. Grosof},
editor = {Max Henrion and
Ross D. Shachter and
Laveen N. Kanal and
John F. Lemmer},
title = {Defeasible Reasoning and Uncertainty: Comments},
booktitle = {{UAI} '89: Proceedings of the Fifth Annual Conference on Uncertainty
in Artificial Intelligence, Windsor, Ontario, Canada, August 18-20,
1989},
pages = {61--66},
publisher = {North-Holland},
year = {1989},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=1866\&\#38;proceeding\_id=1005},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/Grosof89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RussellG87,
author = {Stuart J. Russell and
Benjamin N. Grosof},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {A Declarative Approach to Bias in Concept Learning},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {505--510},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-090.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RussellG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/Grosof86,
author = {Benjamin N. Grosof},
editor = {John F. Lemmer and
Laveen N. Kanal},
title = {Non-monotonicity in probabilistic reasoning},
booktitle = {{UAI} '86: Proceedings of the Second Annual Conference on Uncertainty
in Artificial Intelligence, University of Pennsylvania, Philadelphia,
PA, USA, August 8-10, 1986},
pages = {237--250},
publisher = {Elsevier},
year = {1986},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=1784\&\#38;proceeding\_id=1002},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/Grosof86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/Grosof85,
author = {Benjamin N. Grosof},
editor = {Laveen N. Kanal and
John F. Lemmer},
title = {Evidential Confirmation as Transformed Probability: On the Duality
of Priors and Updates},
booktitle = {{UAI} '85: Proceedings of the First Annual Conference on Uncertainty
in Artificial Intelligence, Los Angeles, CA, USA, July 10-12, 1985},
pages = {153--166},
publisher = {Elsevier},
year = {1985},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=1736\&\#38;proceeding\_id=1001},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/Grosof85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/Grosof85a,
author = {Benjamin N. Grosof},
editor = {Laveen N. Kanal and
John F. Lemmer},
title = {An Inequality Paradigm for Probabilistic Knowledge: The Logic of Conditional
Probability Intervals},
booktitle = {{UAI} '85: Proceedings of the First Annual Conference on Uncertainty
in Artificial Intelligence, Los Angeles, CA, USA, July 10-12, 1985},
pages = {259--278},
publisher = {Elsevier},
year = {1985},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=1743\&\#38;proceeding\_id=1001},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/Grosof85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Grosof84,
author = {Benjamin N. Grosof},
title = {Default Reasoning as Circumscription},
booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
pages = {115--124},
publisher = {American Association for Artificial Intelligence {(AAAI)}},
year = {1984},
timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Grosof84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
