Paulo Shakarian

Scholarly Works

Scholarly Works per year 2010 2015 2016 2018 2019 2023 2023

• 68 Conference contribution
• 38 Chapter
• 19 Article
• 5 Conference article
• 11 More
  • 3 Book
  • 3 Editorial
  • 3 Patent
  • 1 Paper
  • 1 Review article

Scholarly Works per year

Scholarly Works per year

Search results

• 2023

  Brief Introduction to Propositional Logic and Predicate Calculus

  Shakarian, P., Baral, C., Simari, G. I., Xi, B. & Pokala, L., 2023, SpringerBriefs in Computer Science. Springer, p. 3-14 12 p. (SpringerBriefs in Computer Science; vol. Part F1425).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Propositional Logic 100%
  • Predicate Calculus 100%
  • First-order Logic 50%
  • Fixed Point Operator 50%
  • Lattice Theory 50%

• Fuzzy and Annotated Logic for Neuro Symbolic Artificial Intelligence

  Shakarian, P., Baral, C., Simari, G. I., Xi, B. & Pokala, L., 2023, SpringerBriefs in Computer Science. Springer, p. 15-31 17 p. (SpringerBriefs in Computer Science; vol. Part F1425).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Artificial Intelligence 100%
  • Neural Network 100%
  • Symbolic Approach 100%
  • Tensor Network 100%
  • Tensor 100%

• LNN: Logical Neural Networks

  Shakarian, P., Baral, C., Simari, G. I., Xi, B. & Pokala, L., 2023, SpringerBriefs in Computer Science. Springer, p. 53-61 9 p. (SpringerBriefs in Computer Science; vol. Part F1425).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Neural Network 100%
  • Logical Neural Network 100%
  • Logic Programming 66%
  • Architectural Decision 33%
  • Training Data 33%

• LTN: Logic Tensor Networks

  Shakarian, P., Baral, C., Simari, G. I., Xi, B. & Pokala, L., 2023, SpringerBriefs in Computer Science. Springer, p. 33-41 9 p. (SpringerBriefs in Computer Science; vol. Part F1425).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Literature 100%
  • Usefulness 100%
  • logical syntax 100%
  • Tensor Network 100%
  • Use Case 20%
  1 Scopus citations

• NeurASP

  Shakarian, P., Baral, C., Simari, G. I., Xi, B. & Pokala, L., 2023, SpringerBriefs in Computer Science. Springer, p. 63-74 12 p. (SpringerBriefs in Computer Science; vol. Part F1425).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Answer Set Programming 100%
  • Logic Programming 50%
  • Explicit Knowledge 50%
  • Symbolic Approach 50%
  • Declarative Problem Solving 50%

• Neuro Symbolic AI for Sequential Decision Making

  Shakarian, P., Baral, C., Simari, G. I., Xi, B. & Pokala, L., 2023, SpringerBriefs in Computer Science. Springer, p. 99-108 10 p. (SpringerBriefs in Computer Science; vol. Part F1425).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Decision-Making 100%
  • Reinforcement Learning 100%
  • Symbolic Verification 100%

• Neuro Symbolic Applications

  Shakarian, P., Baral, C., Simari, G. I., Xi, B. & Pokala, L., 2023, SpringerBriefs in Computer Science. Springer, p. 109-119 11 p. (SpringerBriefs in Computer Science; vol. Part F1425).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Neural Network 100%
  • Reinforcement Learning 100%
  • Natural Language Processing 100%
  • Neural Reasoning 50%

• Neuro Symbolic Learning with Differentiable Inductive Logic Programming

  Shakarian, P., Baral, C., Simari, G. I., Xi, B. & Pokala, L., 2023, SpringerBriefs in Computer Science. Springer, p. 75-87 13 p. (SpringerBriefs in Computer Science; vol. Part F1425).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Inductive Logic Programming 100%
  • Differentiable Inductive Logic Programming 100%
  • Logic Programming 33%
  • Logical Structure 33%

• Neuro Symbolic Reasoning with Ontological Networks

  Shakarian, P., Baral, C., Simari, G. I., Xi, B. & Pokala, L., 2023, SpringerBriefs in Computer Science. Springer, p. 43-51 9 p. (SpringerBriefs in Computer Science; vol. Part F1425).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Deep Neural Network 100%
  • Symbolic Approach 100%
  • Automated Learning 100%
  • Reasoning Network 100%
  • Neural Network 100%

• New Ideas in Neuro Symbolic Reasoning and Learning

  Shakarian, P., Baral, C., Simari, G. I., Xi, B. & Pokala, L., 2023, SpringerBriefs in Computer Science. Springer, p. 1-2 2 p. (SpringerBriefs in Computer Science; vol. Part F1425).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Neural-symbolic Reasoning 100%
  • Neuro-symbolic Learning 100%
  • Neural Network 100%
  • Explainability 33%
  • Deep Neural Network 33%
  2 Scopus citations

• Understanding SATNet: Constraint Learning and Symbol Grounding

  Shakarian, P., Baral, C., Simari, G. I., Xi, B. & Pokala, L., 2023, SpringerBriefs in Computer Science. Springer, p. 89-97 9 p. (SpringerBriefs in Computer Science; vol. Part F1425).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Combinatorial Problem 100%
  • Constraint Learning 100%
  • Deep Learning 33%
  • Learning Process 33%
  • Semidefinite Programming 33%
• 2021

  Characterizing Pathogenic Social Media Accounts

  Alvari, H., Shaabani, E. & Shakarian, P., 2021, SpringerBriefs in Computer Science. Springer, p. 9-28 20 p. (SpringerBriefs in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Pathogenic Social Media Accounts 100%
  • Social Media 100%
  • Social Medium Account 100%
  • General Public 33%
  • Political Public 33%

• Conclusion

  Alvari, H., Shaabani, E. & Shakarian, P., 2021, SpringerBriefs in Computer Science. Springer, p. 95 1 p. (SpringerBriefs in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  Open Access

  • Chap 100%
  • Social Medium Account 100%
  • Social Medium User 100%
  • Social Media 50%
  • Normal Behavior 50%

• Early Detection of Pathogenic Social Media Accounts

  Alvari, H., Shaabani, E. & Shakarian, P., 2021, SpringerBriefs in Computer Science. Springer, p. 39-49 11 p. (SpringerBriefs in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Early Detection 100%
  • Collect Information 100%
  • Social Medium Account 100%
  • Community Detection 100%
  • Classification Algorithm 100%
  1 Scopus citations

• Feature-Driven Method for Identifying Pathogenic Social Media Accounts

  Alvari, H., Shaabani, E. & Shakarian, P., 2021, SpringerBriefs in Computer Science. Springer, p. 77-94 18 p. (SpringerBriefs in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Profile Characteristics 100%
  • Viral Cascades 50%
  • Cascade Characteristics 50%
  • URL Address 50%
  • Linked Information 50%

• Graph-Based Semi-Supervised and Supervised Approaches for Detecting Pathogenic Social Media Accounts

  Alvari, H., Shaabani, E. & Shakarian, P., 2021, SpringerBriefs in Computer Science. Springer, p. 63-75 13 p. (SpringerBriefs in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Graph-based 100%
  • Pathogenic Social Media Accounts 100%
  • F1 Score 100%
  • Supervised Approach 100%
  • Information Network 100%

• Introduction

  Alvari, H., Shaabani, E. & Shakarian, P., 2021, SpringerBriefs in Computer Science. Springer, p. 1-7 7 p. (SpringerBriefs in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Online Platform 100%
  • Exponential Growth 50%
  • Information Sharing 50%
  • Security Privacy 50%
  • Microblogging 50%

• Semi-Supervised Causal Inference for Identifying Pathogenic Social Media Accounts

  Alvari, H., Shaabani, E. & Shakarian, P., 2021, SpringerBriefs in Computer Science. Springer, p. 51-61 11 p. (SpringerBriefs in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Causal Inference 100%
  • PSM® 100%
  • Pathogenic Social Media Accounts 100%
  • Social Medium Account 100%
  • Unlabeled Data 100%
  1 Scopus citations

• Unsupervised Pathogenic Social Media Accounts Detection Without Content or Network Structure

  Alvari, H., Shaabani, E. & Shakarian, P., 2021, SpringerBriefs in Computer Science. Springer, p. 29-38 10 p. (SpringerBriefs in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Detection Precision 100%
  • Information Users 100%
  • Botnet Detection 100%
  • Path Information 100%
• 2020

  A Logic Programming Approach to Predict Enterprise-Targeted Cyberattacks

  Almukaynizi, M., Marin, E., Shah, M., Nunes, E., Simari, G. I. & Shakarian, P., 2020, Intelligent Systems Reference Library. Springer, p. 13-32 20 p. (Intelligent Systems Reference Library; vol. 177).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Cyberattack 100%
  • Logic Programming 100%
  • Software Vulnerability 50%
  • Malicious Hacker 50%
  • Prediction Model 50%
  3 Scopus citations
• 2019

  Patch before exploited: An approach to identify targeted software vulnerabilities

  Almukaynizi, M., Nunes, E., Dharaiya, K., Senguttuvan, M., Shakarian, J. & Shakarian, P., 2019, Intelligent Systems Reference Library. Springer Science and Business Media Deutschland GmbH, p. 81-113 33 p. (Intelligent Systems Reference Library; vol. 151).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Deep Web 100%
  • Model Benchmark 100%
  • Minority Class 100%
  • White Hat 100%
  • Base Score 80%
  13 Scopus citations
• 2018

  Applying argumentation models for cyber attribution

  Nunes, E., Shakarian, P., Simari, G. I. & Ruef, A., 2018, SpringerBriefs in Computer Science. 9783319737874 ed. Springer, p. 75-84 10 p. (SpringerBriefs in Computer Science; vol. 0, no. 9783319737874).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Attackers 100%
  • Argumentation 100%
  • Search Space 100%
  • Cyberattack 50%
  • Cyber Attack 50%
  1 Scopus citations

• Argumentation-based cyber attribution: The DeLP3E model

  Nunes, E., Shakarian, P., Simari, G. I. & Ruef, A., 2018, SpringerBriefs in Computer Science. 9783319737874 ed. Springer, p. 17-45 29 p. (SpringerBriefs in Computer Science; vol. 0, no. 9783319737874).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Cyber Attribution 100%
  • Argumentation 100%
  • Cybersecurity 50%
  • Knowledge Base 50%
  • Logic Programming 50%

• Baseline cyber attribution models

  Nunes, E., Shakarian, P., Simari, G. I. & Ruef, A., 2018, SpringerBriefs in Computer Science. 9783319737874 ed. Springer, p. 5-16 12 p. (SpringerBriefs in Computer Science; vol. 0, no. 9783319737874).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Cyber-attacks 100%
  • Cyber Attribution 100%
  • Attribution Model 100%
  • Cyberattack 100%
  • Cybersecurity 100%

• Belief revision in DeLP3E

  Nunes, E., Shakarian, P., Simari, G. I. & Ruef, A., 2018, SpringerBriefs in Computer Science. 9783319737874 ed. Springer, p. 47-74 28 p. (SpringerBriefs in Computer Science; vol. 0, no. 9783319737874).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Function-based 100%
  • Belief Revision 100%
  • Annotation 100%
  • Knowledge Base 50%
  • Cyber Attribution 25%

• Conclusion

  Nunes, E., Shakarian, P., Simari, G. I. & Ruef, A., 2018, SpringerBriefs in Computer Science. 9783319737874 ed. Springer, p. 91 1 p. (SpringerBriefs in Computer Science; vol. 0, no. 9783319737874).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Deception 100%
  • Chap 100%
  • Learning System 100%
  • Machine Learning Models 50%
  • Performance Improvement 50%

• Enhanced data collection for cyber attribution

  Nunes, E., Shakarian, P., Simari, G. I. & Ruef, A., 2018, SpringerBriefs in Computer Science. 9783319737874 ed. Springer, p. 85-90 6 p. (SpringerBriefs in Computer Science; vol. 0, no. 9783319737874).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Cyber Attribution 100%
  • Enhanced Data 100%
  • Open Source Software 100%
  • Data Record 100%
  • Attribution Research 100%
• 2016

  Cyber-deception and attribution in capture-the-flag exercises

  Nunes, E., Kulkarni, N., Shakarian, P., Ruef, A. & Little, J., Jan 1 2016, Cyber Deception: Building the Scientific Foundation. Springer International Publishing, p. 149-165 17 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Cyberattack 100%
  • Cyber Attack 100%
  • Classification Technique 100%
  • Misclassified Samples 50%
  8 Scopus citations

• Exploring malicious hacker forums

  Shakarian, J., Gunn, A. T. & Shakarian, P., Jan 1 2016, Cyber Deception: Building the Scientific Foundation. Springer International Publishing, p. 259-282 24 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Black-hat Hackers 100%
  • Black Hat Hacker 100%
  • Mobile Phone 100%
  • Stuxnet 50%
  • Cyber Capabilities 50%
  30 Scopus citations
• 2015

  Conclusion

  Shakarian, P., Bhatnagar, A., Aleali, A., Shaabani, E. & Guo, R., 2015, SpringerBriefs in Computer Science. 9783319231044 ed. Springer, p. 101 1 p. (SpringerBriefs in Computer Science; vol. 0, no. 9783319231044).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Scientific Community 100%
  • Early Development 100%
  • Machine Learning Approach 100%
  • Computer Science 100%
  • Data-driven Approach 100%

• Criminal social network intelligence analysis with the gang software

  Shakarian, P., Martin, M., Bertetto, J. A., Fischl, B., Hannigan, J., Hernandez, G., Kenney, E., Lademan, J., Paulo, D. & Young, C., Jan 1 2015, Illuminating Dark Networks. Cambridge University Press, p. 143-156 14 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Police 100%
  • Crime 100%
  • Social Network 100%
  • Network Analysis 33%
  • Social Network Analysis 33%
  1 Scopus citations

• Evolutionary graph theory

  Shakarian, P., Bhatnagar, A., Aleali, A., Shaabani, E. & Guo, R., 2015, SpringerBriefs in Computer Science. 9783319231044 ed. Springer, p. 75-91 17 p. (SpringerBriefs in Computer Science; vol. 0, no. 9783319231044).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Evolutionary Graph Theory 100%
  • Dynamics 100%
  • Game Analysis 66%
  • Evolutionary Dynamics 33%
  • Major Works 33%
  2 Scopus citations

• Examining diffusion in the real world

  Shakarian, P., Bhatnagar, A., Aleali, A., Shaabani, E. & Guo, R., 2015, SpringerBriefs in Computer Science. 9783319231044 ed. Springer, p. 93-100 8 p. (SpringerBriefs in Computer Science; vol. 0, no. 9783319231044).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Computer Science 100%
  • Computer Physics 100%
  • Information Cascades 100%
  • Computers in Biology 100%
  • Early Identification 100%

• Introduction

  Shakarian, P., Bhatnagar, A., Aleali, A., Shaabani, E. & Guo, R., 2015, SpringerBriefs in Computer Science. 9783319231044 ed. Springer, p. 1-2 2 p. (SpringerBriefs in Computer Science; vol. 0, no. 9783319231044).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Computer Science 100%
  • Diseases 100%
  • Social Network Analysis 100%
  • Sociological Perspective 100%
  • Social Network 100%

• Logic programming based diffusion models

  Shakarian, P., Bhatnagar, A., Aleali, A., Shaabani, E. & Guo, R., 2015, SpringerBriefs in Computer Science. 9783319231044 ed. Springer, p. 49-73 25 p. (SpringerBriefs in Computer Science; vol. 0, no. 9783319231044).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Logic Programming 100%
  • Diffusion Model 100%
  • Social Network 100%
  • Social Networks 50%
  • Optimization Problem 50%
  1 Scopus citations

• The independent cascade and linear threshold models

  Shakarian, P., Bhatnagar, A., Aleali, A., Shaabani, E. & Guo, R., 2015, SpringerBriefs in Computer Science. 9783319231044 ed. Springer, p. 35-48 14 p. (SpringerBriefs in Computer Science; vol. 0, no. 9783319231044).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Independent Cascade 100%
  • Maximization 100%
  • Diffusion Model 100%
  • Model Threshold 33%
  • Independent Cascade Model 33%
  44 Scopus citations

• The SIR model and identification of spreaders

  Shakarian, P., Bhatnagar, A., Aleali, A., Shaabani, E. & Guo, R., 2015, SpringerBriefs in Computer Science. 9783319231044 ed. Springer, p. 3-18 16 p. (SpringerBriefs in Computer Science; vol. 0, no. 9783319231044).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Susceptible-infected-recovered Model 100%
  • Spreader 100%
  • Social Network 100%
  • Betweenness 100%
  • Degree Centrality 100%
  8 Scopus citations

• The tipping model and the minimum seed problem

  Shakarian, P., Bhatnagar, A., Aleali, A., Shaabani, E. & Guo, R., 2015, SpringerBriefs in Computer Science. 9783319231044 ed. Springer, p. 19-33 15 p. (SpringerBriefs in Computer Science; vol. 0, no. 9783319231044).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Tipping Model 100%
  • Social Network 100%
  • Heuristic Method 100%
  • Initial Seed 100%
  • Nodes 100%