Publications
Journal Articles
Bringsjord, S., Govindarajulu, N.S., Giancola, M., “Automated Argument Adjudication to Solve Ethical Problems in Multi-Agent Environments”. In: Paladyn, Journal of Behavioral Robotics. Vol. 12, No. 1, 2021, pp. 310-335.
Paper Webpage
Book Chapters
Bringsjord, S., Giancola, M., Govindarajulu, N.S. “Logic-Based Modeling of Cognition”. In: The Cambridge Handbook of Computational Cognitive Sciences. Ron Sun ed. Cambridge University Press, Forthcoming.
Book Webpage
Giancola, M., Bringsjord, S., Govindarajulu, N.S., Varela, C. “Making Maximally Ethical Decisions via Cognitive Likelihood & Formal Planning”. In: Towards Trustworthy Artificial Intelligent Systems. Maria Isabel Aldinhas Ferreira, Mohammad Osman Tokhi eds. Intelligent Systems, Control and Automation: Science and Engineering. Springer, 2022, pp. 127-142. doi: 10.1007/978-3-031-09823-9_10.
pdf
Bringsjord, S., Hendler, J., Govindarajulu, N.S., Ghosh, R., Giancola, M. “The (Uncomputable!) Meaning of Ethically Charged Natural Language, for Robots, and Us, From Hypergraphical Inferential Semantics”. In: Towards Trustworthy Artificial Intelligent Systems. Maria Isabel Aldinhas Ferreira, Mohammad Osman Tokhi eds. Intelligent Systems, Control and Automation: Science and Engineering. Springer, 2022, pp. 143-167. doi: 10.1007/978-3-031-09823-9_11.
pdf
Conference Papers
Giancola, M., Bringsjord, S., Govindarajulu, N. S. “Toward Generating Natural-Language Explanations of Modal Logic Proofs”. In: Proceedings of the 15th International Conference on Artificial General Intelligence (AGI-22). Ed. by B. Goertzel, M. Iklé, A. Potapov, D. Ponomaryov. Springer Cham, 2022.
pdf
Bringsjord, S., Govindarajulu, N. S., Slowik, J., Oswald, J., Giancola, M., Angel, J., Banerjee, S., Flaherty, A. “PERI.2 Goes to PreSchool and Beyond, in Search of AGI”. In: Proceedings of the 15th International Conference on Artificial General Intelligence (AGI-22). Ed. by B. Goertzel, M. Iklé, A. Potapov, D. Ponomaryov. Springer Cham, 2022.
Bringsjord, S., Rozek, B., Giancola, M., Govindarajulu, N. S. “A Framework for Testimony-Infused Automated Adjudicative Dynamic Multi-Agent Reasoning in Ethically Charged Scenarios”. In: Proceedings of the Seventh International Conference on Robot Ethics and Standards (ICRES 2022). 2022.
Banerjee, S., Bringsjord, S., Giancola, M., Govindarajulu, N. S. “Qualitative Mechanical Problem-Solving by Artificial Agents: Further Progress, Under Psychometric AI”. In: Proceedings of the 35th International FLAIRS Conference. 2022.
pdf
Giancola, M., Bringsjord, S., Govindarajulu, N. S. “A Solution to an Ethical Super Dilemma via a Relaxation of the Doctrine of Triple Effect”. In: Proceedings of the Sixth International Conference on Robot Ethics and Standards (ICRES 2021). Ed. by S. Bringsjord, M.O. Tokhi, M.I.A. Ferreira, N.S. Govindarajulu, M.F. Silva. London, UK: CLAWAR, July. 2021, pp. 23–32.
pdf
Giancola, M., Bringsjord, S., Govindarajulu, N. S., Varela, C. “Ethical Reasoning for Autonomous Agents Under Uncertainty”. In: Proceedings of the Fifth International Conference on Robot Ethics and Standards (ICRES 2020). Ed. by M.O. Tokhi, M.I.A. Ferreira, N.S. Govindarajulu, M.F. Silva, E.E. Kadar, J. Wang, and A.P. Kaur. London, UK: CLAWAR, Sept. 2020, pp. 26–41.
pdf | code | presentation
Bringsjord, S., Giancola, M., Govindarajulu, N. S., “Culturally Aware Social Robots That Carry Humans Inside Them, Protected by Defeasible Argumentation Systems”. In: Culturally Sustainable Social Robotics (Proceedings of Robophilosophy 2020). Ed. by M. Nørskov, J. Seibt, and O. S. Quick. Volume 335 of Frontiers in Artificial Intelligence and Applications. IOS Press, 2020, pp. 440–456. doi: 10.3233/FAIA200941.
pdf | presentation
Bringsjord, S., Govindarajulu, N. S., Licato, J., and Giancola, M.. “Learning Ex Nihilo”. In: Proceedings of the Sixth Global Conference on Artificial Intelligence (GCAI 2020). Ed. by G. Danoy, J. Pang, and G. Sutcliffe. Volume 72 of EPiC Series in Computing. EasyChair, 2020, pp. 1-27. doi: 10.29007/ggcf.
Paper Webpage | presentation
Mitrano, P., Burklund, J., Giancola, M., and Pinciroli, C. “A Minimalistic Approach to Segregation in Robot Swarms”. In: Second International Symposium on Multi-Robot and Multi-Agent Systems (MRS 2019). IEEE, 2019, pp. 105-111. doi: 10.1109/MRS.2019.8901068
pdf (arXiv preprint) | code
Giancola, M., Paffenroth, R., and Whitehill, J. “Permutation-Invariant Consensus Over Crowdsourced Labels”. In: Proceedings of the Sixth AAAI Conference on Human Computation and Crowdsourcing (HCOMP 2018). AAAI Press, 2018, pp. 21-30.
Winner of the Provost’s MQP Award in Mathematical Sciences at WPI
Extended version published in WPI’s Electronic Projects Collection
pdf | code
presentation | poster
Extended Abstracts
Giancola, M., Bringsjord, S., Govindarajulu, N. S. “Novel Intensional Defeasible Reasoning for AI: Is it Cognitively Adequate?” In: Proceedings of the IJCAI Workshop on “Cognitive Aspects of Knowledge Representation” (CAKR 2022) CEUR-WS, 2022.
pdf
Bringsjord, S., Angel, J., Govindarajulu, N. S., Giancola, M., Bringsjord, E. “Artificial Agents to Help Address the U.S. K–12 Math Gap Between Economically Disadvantaged vs. Advantaged Youth”. In: Artificial Intelligence for K–12 Education, Part of the AAAI Spring Symposium Series. CEUR-WS, 2021.
pdf | presentation
Giancola, M., Bringsjord, S., Govindarajulu, N. S., and Licato, J. “Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI”. In: Proceedings of the Sixth Global Conference on Artificial Intelligence (GCAI 2020). Ed. by G. Danoy, J. Pang, and G. Sutcliffe. Volume 72 of EPiC Series in Computing. EasyChair, 2020, pp. 28–33. doi: 10.29007/k647.
Paper Webpage | code | presentation
Guest Lectures
Intermediate Formal Logic & AI – Professor Selmer Bringsjord
Fall 2020
Rensselaer Polytechnic Institute
September 24 - “Reasoning with Inconsistency”
slides
Are Humans Rational? – Professor Selmer Bringsjord
Fall 2019
Rensselaer Polytechnic Institute
September 16 - “‘Artilects’ and the Mechanisms of Cognition”
slides
September 30 - “Rationality & The Meaning of Life”
slides
October 3 - “The Singularity, Rationally Considered”
slides
October 17 - “Logicist Machine Ethics Can Save Us”
slides
October 21 - “The Dangers of Inconsistency”
slides
Presentations
AAAI2021 Spring Symposium on Artificial Intelligence for K-12 Education
March 22nd & 23rd, 2021
Virtual
Talk on “Artificial Agents to Help Address the U.S. K–12 Math Gap”
Talk given jointly with John Angel
presentation (my section) | presentation (full)
Sixth Global Conference on Artificial Intelligence (GCAI)
October 30th, 2020
Virtual (Hosted at Zhejiang University, Hangzhou, China)
Talk on “Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI”
slides | presentation (to come)
Talk on “Learning Ex Nihilo”
slides | presentation (to come)
Fifth International Conference on Robot Ethics and Standards (ICRES)
September 28th & 29th, 2020
Virtual (Hosted at the Industrial Technology Research Institute, Taipei, Taiwan)
Talk on “Ethical Reasoning For Autonomous Agents Under Uncertainty”
slides | presentation (to come)
International Research Conference on Robophilosophy 2020
August 18th – 21st, 2020
Virtual (Hosted at Aarhus University, Aarhus, Denmark)
Talk on “Toward Defeasible Multi-Operator Argumentation Systems for Culturally Aware Social Robots that Carry Humans Inside Them”
presentation
Fourth International Conference on Robot Ethics and Standards (ICRES)
July 29th & 30th, 2019
London South Bank University, London, UK
Talk on “Argument Adjudication in a Deontic Logic”
slides (Keynote) | slides (PDF)
Talk on “Toward Smart Cities at the Mental Level via TAI Agents”
slides (Keynote) | slides (PDF)
Symposium on AI & Consistency
July 8th, 2019
RAIR Lab, RPI, Troy, NY, USA
Talk on “Inconsistency in Aviation Safety Systems: A Case Study”
slides
SIAM Annual Meeting
July 10th, 2018
Oregon Convention Center, Portland, Oregon, USA
Poster on “Permutation-Invariant Consensus over Crowdsourced Labels”
poster
Sixth AAAI Conference on Human Computation & Crowdsourcing (HCOMP)
July 7th, 2018
University of Zurich, Zurich, Switzerland
Talk on “Permutation-Invariant Consensus over Crowdsourced Labels”
slides
Other Work
Spring 2019
Investigations of Inferential Inconsistency
An informal survey paper of the history of inferential inconsistency.
Written for MA 4030: Computability & Logic at RPI
pdf
Fall 2017
Forecasting the Impacts of Autonomous Vehicles
Written for HU 3900: Philosophy and the City: Urban Humanities at WPI
pdf
Spring 2017
Investigating “Learning to learn by gradient descent by gradient descent”
Written for CS 525: Deep Neural Networks at WPI
pdf | code
Analysis of Breast Cancer Dataset
Written for MA 463X: Data Analytics & Statistical Learning at WPI
pdf | code
Fall 2016
Predicting Bank License Revocation
Written for my Interactive Qualifying Project at WPI
Published in WPI’s Electronic Projects Collection
pdf | code
Spring 2016
Interactive Proof Systems
Written for MA 4891: Introduction to Game Theory at WPI
pdf
How AI Affects the Work Force
Written for WR 1011: Writing about Science & Technology at WPI
pdf