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 |