Lito Perez Cruz

Publication Activity (10 Years)

Years Active: 2003-2018
Publications (10 Years): 3

Top Topics

Modulo Theories

Logical Framework

Top Venues

Publications

Lito Perez Cruz, David Treisman
Making AI Great Again: Keeping the AI Spring. IJCCI (2018)
Lito Perez Cruz
When Data Science Becomes Software Engineering. KEOD (2017)
Lito Perez Cruz, John Newsome Crossley
Logics Modulo Theories: a logical framework for multi-agent systems. Log. J. IGPL 23 (4) (2015)
John Newsome Crossley, Lito Perez Cruz
LMT: A Lightweight Logical Framework for Multi-agent Systems. KES (2012)
Lito Perez Cruz, John Newsome Crossley
Contextualizing Ontologies for Agents. KEOD (2010)
Glenn T. Jayaputera, Oshadi Alahakoon, Lito Perez Cruz, Seng Wai Loke, Arkady B. Zaslavsky
Assembling Agents On-Demand for Pervasive Wireless Services. Wireless Information Systems (2003)
Lito Perez Cruz, Arkady B. Zaslavsky, David Squire
Building a Collaborative Information Agent in a HomeBot Application. CAiSE Workshops (2003)