Dynamic Explanation of Bayesian Networks with Abductive Bayes Factor Qualitative Propagation and Entropy-Based Qualitative Explanation.

Brett Benyo https://orcid.org/0000-0003-0117-0645 Shou Matsumoto Alexandre Barreto 0001 Paulo C. G. Costa Brett Benyo Michael Atighetchi Daniel Javorsek Dynamic Explanation of Bayesian Networks with Abductive Bayes Factor Qualitative Propagation and Entropy-Based Qualitative Explanation. 1-9 2021 FUSION https://ieeexplore.ieee.org/document/9626961 conf/fusion/2021 db/conf/fusion/fusion2021.html#MatsumotoBCBAJ21 Joud Khoury Tim Upthegrove Armando Caro Brett Benyo Derrick Kong An Event-based Data Model for Granular Information Flow Tracking. 2020 TaPP https://www.usenix.org/conference/tapp2020/presentation/khoury conf/tapp/2020 db/conf/tapp/tapp2020.html#KhouryUCBK20 Sarah Jeter Colleen T. Rock Brett Benyo Aaron Adler Fusun Yaman Michael J. Beckerle Alice M. Mulvehill Robert Hoh Semantic Links Across Distributed Heterogeneous Data. 107-115 2019 DCAI https://doi.org/10.1007/978-3-030-23887-2_13 conf/dcai/2019 db/conf/dcai/dcai2019.html#JeterRBAYBMH19 Brett Benyo Shane S. Clark Aaron Paulos Partha P. Pal HYDRA: Hypothesis Driven Repair Automation. 8:1-8:10 2018 ARES https://doi.org/10.1145/3230833.3230861 https://www.wikidata.org/entity/Q130927841 conf/IEEEares/2018 db/conf/IEEEares/ares2018.html#BenyoCPP18 Shane S. Clark Aaron Paulos Brett Benyo Partha P. Pal Richard E. Schantz Empirical Evaluation of the A3 Environment: Evaluating Defenses Against Zero-Day Attacks. 80-89 2015 ARES https://doi.org/10.1109/ARES.2015.89 https://doi.ieeecomputersociety.org/10.1109/ARES.2015.89 conf/IEEEares/2015 db/conf/IEEEares/ares2015.html#ClarkPBPS15

Partha P. Pal Richard E. Schantz Aaron Paulos Brett Benyo Managed Execution Environment as a Moving-Target Defense Infrastructure. 51-59 2014 12 IEEE Secur. Priv. 2 https://doi.org/10.1109/MSP.2013.133 http://doi.ieeecomputersociety.org/10.1109/MSP.2013.133 db/journals/ieeesp/ieeesp12.html#PalSPB14

Jacob Beal Kyle Usbeck Brett Benyo On the Evaluation of Space-Time Functions. 1500-1517 2013 56 Comput. J. 12 https://doi.org/10.1093/comjnl/bxs099 db/journals/cj/cj56.html#BealUB13

Aaron Paulos Partha P. Pal Richard E. Schantz Brett Benyo David Johnson 0004 Mike Hibler Eric Eide Isolation of Malicious External Inputs in a Security Focused Adaptive Execution Environment. 82-91 2013 ARES https://doi.org/10.1109/ARES.2013.15 https://doi.ieeecomputersociety.org/10.1109/ARES.2013.15 https://www.wikidata.org/entity/Q57538296 conf/IEEEares/2013 db/conf/IEEEares/ares2013.html#PaulosPSBJHE13 Fusun Yaman Brett Benyo Alice M. Mulvehill Temporal Milestones in HTNs. 2013 AAAI https://doi.org/10.1609/aaai.v27i1.8616 conf/aaai/2013 db/conf/aaai/aaai2013.html#YamanBM13 1005-1011 Aaron Paulos Partha P. Pal Richard E. Schantz Brett Benyo Moving target defense (MTD) in an adaptive execution environment. 62 2013 CSIIRW https://doi.org/10.1145/2459976.2460045 conf/csiirw/2013 db/conf/csiirw/csiirw2013.html#PaulosPSB13 Alice M. Mulvehill Brett Benyo Fusun Yaman Leveraging Historical Experience to Evaluate and Adapt Courses of Action. 241-254 2013 ICCBR https://doi.org/10.1007/978-3-642-39056-2_18 conf/iccbr/2013 db/conf/iccbr/iccbr2013.html#MulvehillBY13 Carl Andersen 0001 Brett Benyo Miguel Calejo Mike Dean Paul Fodor Benjamin N. Grosof Michael Kifer Senlin Liang Terrance Swift Advanced Knowledge Base Debugging for Rulelog. 2013 RuleML (2) https://ceur-ws.org/Vol-1004/paper8.pdf conf/ruleml/2013-2 db/conf/ruleml/ruleml2013-2.html#AndersenBCDFGKLS13 Brett Benyo Partha P. Pal Richard E. Schantz Aaron Paulos David J. Musliner Tom Marble Jeffrey M. Rye Michael Boldt Scott E. Friedman Automated Self-Adaptation for Cyber-Defense - Pushing Adaptive Perimeter Protection Inward. 47-52 2013 SASO Workshops https://doi.org/10.1109/SASOW.2013.22 https://doi.ieeecomputersociety.org/10.1109/SASOW.2013.22 conf/saso/2013w db/conf/saso/saso2013w.html#BenyoPSPMMRBF13

Carl Andersen 0001 Brett Benyo Miguel Calejo Mike Dean Paul Fodor Benjamin N. Grosof Michael Kifer Senlin Liang Terrance Swift Understanding Rulelog Computations in Silk. 2013 CoRR http://arxiv.org/abs/1308.4125 abs/1308.4125 db/journals/corr/corr1308.html#AndersenBCDFGKLS13

Partha P. Pal Richard E. Schantz Aaron Paulos Brett Benyo David Johnson 0004 Mike Hibler Eric Eide A3: An Environment for Self-Adaptive Diagnosis and Immunization of Novel Attacks. 15-22 2012 SASO Workshops https://doi.org/10.1109/SASOW.2012.13 https://doi.ieeecomputersociety.org/10.1109/SASOW.2012.13 https://www.wikidata.org/entity/Q57538298 conf/saso/2012w db/conf/saso/saso2012w.html#PalSPBJHE12

Michael Atighetchi Brett Benyo Abhimanyu Gosain Robert MacIntyre Partha P. Pal Virginia Travers John A. Zinky Transparent Insertion of Custom Logic in HTTP(S) Streams Using PbProxy. 43-50 2011 15 IEEE Internet Comput. 3 https://doi.org/10.1109/MIC.2010.103 http://doi.ieeecomputersociety.org/10.1109/MIC.2010.103 db/journals/internet/internet15.html#AtighetchiBGMPTZ11

Benjamin N. Grosof Mark H. Burstein Mike Dean Carl Andersen 0001 Brett Benyo William Ferguson Daniela Inclezan Richard Shapiro A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example. 2010 RuleML Challenge https://ceur-ws.org/Vol-649/paper12.pdf conf/ruleml/2010c db/conf/ruleml/ruleml2010c.html#GrosofBDABFIS10 Benjamin N. Grosof Mark H. Burstein Mike Dean Carl Andersen 0001 Brett Benyo William Ferguson Daniela Inclezan Richard Shapiro A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example. 2010 ISWC (Posters & Demos) https://ceur-ws.org/Vol-658/paper481.pdf conf/semweb/2010pd db/conf/semweb/pd2010.html#GrosofBDABFIS10 Mark H. Burstein Robert Laddaga David D. McDonald 0002 Michael T. Cox Brett Benyo Paul Robertson 0001 Talib S. Hussain Marshall Brinn Drew V. McDermott POIROT - Integrated Learning of Web Service Procedures. 1274-1279 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#BursteinLMCBRHBM08 http://www.aaai.org/Library/AAAI/2008/aaai08-202.php Alice M. Mulvehill Brett Benyo Michael T. Cox Renu Kurien Bostwick Expectation Failure as a Basis for Agent-Based Model Diagnosis and Mixed Initiative Model Adaptation during Anomalous Plan Execution. 489-494 2007 conf/ijcai/2007 IJCAI http://ijcai.org/Proceedings/07/Papers/077.pdf db/conf/ijcai/ijcai2007.html#MulvehillBCB07 Jeffrey M. Bradshaw Andrzej Uszok Renia Jeffers Niranjan Suri Patrick J. Hayes Mark H. Burstein Alessandro Acquisti Brett Benyo Maggie R. Breedy Marco M. Carvalho David J. Diller Matt Johnson 0001 Shriniwas Kulkarni James Lott Maarten Sierhuis Ron van Hoof Representation and reasoning for DAML-based policy and domain services in KAoS and nomads. 835-842 2003 conf/atal/2003 AAMAS https://doi.org/10.1145/860575.860709 db/conf/atal/aamas2003.html#BradshawUJSHBABBCDJKLSH03 Niranjan Suri Jeffrey M. Bradshaw Andrzej Uszok Maggie R. Breedy Marco M. Carvalho Paul Groth Renia Jeffers Matt Johnson 0001 Shriniwas Kulkarni James Lott Mark H. Burstein Brett Benyo David J. Diller Toward DAML-based policy enforcement for semantic data transformation and filtering in multi-agent systems. 1132-1133 2003 conf/atal/2003 AAMAS https://doi.org/10.1145/860575.860831 db/conf/atal/aamas2003.html#SuriBUBCGJJKLBBD03 Niranjan Suri Jeffrey M. Bradshaw Mark H. Burstein Andrzej Uszok Brett Benyo Maggie R. Breedy Marco M. Carvalho David J. Diller Renia Jeffers Matt Johnson 0001 Shriniwas Kulkarni James Lott DAML-Based Policy Enforcement for Semantic Data Transformation and Filtering in Multi-agent Systems. 122-135 2003 conf/ceemas/2003 CEEMAS https://doi.org/10.1007/3-540-45023-8_13 db/conf/ceemas/ceemas2003.html#SuriBBUBBCDJJKL03 Bryan Horling Brett Benyo Victor R. Lesser Using self-diagnosis to adapt organizational structures. 529-536 2001 conf/agents/2001 Agents https://doi.org/10.1145/375735.376436 db/conf/agents/agents2001.html#HorlingBL01 Thomas Wagner 0001 Brett Benyo Victor R. Lesser Ping Xuan Investigating Interactions between Agent Conversations and Agent Control Components. 314-330 2000 conf/agentCL/2000 Issues in Agent Communication db/conf/agentCL/agentCL2000.html#WagnerBLX00 https://doi.org/10.1007/10722777_21 Bryan Horling Brett Benyo Victor R. Lesser Using Self-Diagnosis to Adapt Organizational Structures. 397-398 2000 conf/icmas/2000 ICMAS https://doi.org/10.1109/ICMAS.2000.858493 https://doi.ieeecomputersociety.org/10.1109/ICMAS.2000.858493 db/conf/icmas/icmas2000.html#HorlingBL00 Victor R. Lesser Michael Atighetchi Brett Benyo Bryan Horling Anita Raja Régis Vincent Thomas Wagner 0001 Ping Xuan Xiaoqin Zhang 0001 The UMASS Intelligent Home Project. 291-298 1999 conf/agents/1999 Agents https://doi.org/10.1145/301136.301213 db/conf/agents/agents99.html#LesserABHRVWXZ99 Alessandro Acquisti Aaron Adler Carl Andersen 0001 Michael Atighetchi Alexandre de Barros BarretoAlexandre Barreto 0001 Jacob Beal Michael J. Beckerle Michael Boldt Renu Kurien Bostwick Jeffrey M. Bradshaw Maggie R. Breedy Marshall Brinn Mark H. Burstein Miguel Calejo Armando Caro Marco M. Carvalho Shane S. Clark Paulo C. G. Costa Michael T. Cox Mike Dean David J. Diller Eric Eide William Ferguson Paul Fodor Scott Friedman 0001Scott E. Friedman Abhimanyu Gosain Benjamin N. Grosof Paul Groth Patrick J. Hayes Mike Hibler Robert Hoh Ron van Hoof Bryan Horling Talib S. Hussain Daniela Inclezan Daniel Javorsek Renia Jeffers Sarah Jeter David Johnson 0004 Matt Johnson 0001 Joud Khoury Michael Kifer Derrick Kong Shriniwas Kulkarni Robert Laddaga Victor R. Lesser Senlin Liang James Lott Robert MacIntyre Tom Marble Shou Matsumoto Drew McDermottDrew V. McDermott David D. McDonald 0002 Alice M. Mulvehill David J. Musliner Partha P. Pal Aaron Paulos Anita Raja Paul Robertson 0001 Colleen T. Rock Jeffrey M. Rye Richard E. Schantz Richard Shapiro Maarten Sierhuis Niranjan Suri Theresa SwiftTerrance Swift Virginia Travers Tim Upthegrove Kyle Usbeck Andrzej Uszok Régis Vincent Thomas Wagner 0001 Ping Xuan Fusun Yaman Xiaoqin Zhang 0001 John A. Zinky