Lito Perez Cruz

According to our database, Lito Perez Cruz authored at least 10 papers between 2003 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Theoremus - A Student's Guide to Mathematical Proofs

Lito Perez Cruz

Springer, ISBN: 978-3-030-68374-0, 2021

2018

Making AI Great Again: Keeping the AI Spring.

Lito Perez Cruz, David Treisman

Proceedings of the 10th International Joint Conference on Computational Intelligence, 2018

2017

When Data Science Becomes Software Engineering.

Lito Perez Cruz

Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2017

2015

Logics Modulo Theories: a logical framework for multi-agent systems.

Lito Perez Cruz, John Newsome Crossley

Log. J. IGPL, 2015

2012

LMT: A Lightweight Logical Framework for Multi-agent Systems.

John Newsome Crossley, Lito Perez Cruz

Proceedings of the Advances in Knowledge-Based and Intelligent Information and Engineering Systems, 2012

2010

Contextualizing Ontologies for Agents.

Lito Perez Cruz, John Newsome Crossley

Proceedings of the KEOD 2010, 2010

2009

Tiered Logic for Agents in Contexts.

Rosalito Perez Cruz, John Newsome Crossley

Proceedings of the Agents and Artificial Intelligence - International Conference, 2009

Tiered Logic for Agents.

Rosalito Perez Cruz, John Newsome Crossley

Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

2003

Assembling Agents On-Demand for Pervasive Wireless Services.

Glenn T. Jayaputera, Oshadi Alahakoon, Lito Perez Cruz, Seng Wai Loke, Arkady B. Zaslavsky

Proceedings of the Wireless Information Systems, 2003

Building a Collaborative Information Agent in a HomeBot Application.

Lito Perez Cruz, Arkady B. Zaslavsky, David Squire

Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003