| The danger of big data: Social media as computational social science A Oboler, K Welsh, L Cruz First Monday, 2012 | 134 | 2012 |
| Assembling Agents On-Demand for Pervasive Wireless Services. GT Jayaputera, O Alahakoon, LP Cruz, SW Loke, AB Zaslavsky Wireless Information Systems, 21-30, 2003 | 13 | 2003 |
| When Data Science Becomes Software Engineering. LP Cruz KEOD, 226-232, 2017 | 6 | 2017 |
| Tiered logic for agents RP Cruz, JN Crossley International Conference on Agents and Artificial Intelligence 1, 369-376, 2009 | 6 | 2009 |
| AI Turning points and the road ahead L Perez Cruz, D Treisman Computational Intelligence: International Joint Conference, IJCCI 2018 …, 2021 | 4 | 2021 |
| Making AI Great Again: Keeping the AI Spring. LP Cruz, D Treisman IJCCI, 144-151, 2018 | 4 | 2018 |
| The danger of big data: Social media as computational social science'First Monday 17, 7 (2 July 2012) A Oboler, K Welsh, L Cruz | 4 | 2012 |
| Logics modulo theories: a logical framework for multi-agent systems LP Cruz, JN Crossley Logic Journal of the IGPL 23 (4), 553-583, 2015 | 2 | 2015 |
| Contextualizing Ontologies for Agents. LP Cruz, JN Crossley KEOD, 147-152, 2010 | 2 | 2010 |
| Tiered logic for contextualizing logics RP Cruz Monash University, 2009 | 2 | 2009 |
| Making AI great again LP Cruz, D Treisman 10th International Joint Conference on Computational Intelligence. SCI Press, 2018 | 1 | 2018 |
| LMT: A Lightweight Logical Framework for Multi-agent Systems. JN Crossley, LP Cruz KES, 118-127, 2012 | 1 | 2012 |
| Tiered logic for agents in contexts RP Cruz, JN Crossley Agents and Artificial Intelligence, 191-204, 2010 | 1 | 2010 |
| Formal System for FOL LP Cruz Theoremus: A Student's Guide to Mathematical Proofs, 93-119, 2021 | | 2021 |
| Types of Theorems LP Cruz Theoremus: A Student's Guide to Mathematical Proofs, 19-24, 2021 | | 2021 |
| Types of Proof Techniques LP Cruz Theoremus: A Student's Guide to Mathematical Proofs, 43-56, 2021 | | 2021 |
| Doing the Math LP Cruz Theoremus: A Student's Guide to Mathematical Proofs, 121-129, 2021 | | 2021 |
| Theorems and Proofs LP Cruz Theoremus: A Student's Guide to Mathematical Proofs, 7-17, 2021 | | 2021 |
| Formal System for PL LP Cruz Theoremus: A Student's Guide to Mathematical Proofs, 59-91, 2021 | | 2021 |
| Logical Foundations of Proof LP Cruz Theoremus: A Student's Guide to Mathematical Proofs, 25-42, 2021 | | 2021 |
Arkady ZaslavskyDeakin University, Data61 @ CSIRO, Monash University, Lulea University of Technology(Sweden)Verified email at deakin.edu.au
