John Newsome Crossley

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 2

Top Topics

Logical Framework

Epistemic Logic

Human Reasoning

Mathematical Modeling

Top Venues

Publications

John Newsome Crossley
What is mathematical logic? An Australian odyssey. Log. J. IGPL 31 (6) (2023)
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)
Rosalito Perez Cruz, John Newsome Crossley
Tiered Logic for Agents in Contexts. ICAART (Revised Selected Papers) (2009)
Rosalito Perez Cruz, John Newsome Crossley
Tiered Logic for Agents. ICAART (2009)