John Crossley

Emeritus Prof

1965 …2020

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference Paper

Search results

  • 2014

    Taking Christianity into Northern Luzon: The expeditions of 1591

    Crossley, J. N., 2014, 22nd Annual Manila Studied Conference: Selected Papers : Sampaloc, Manila, [Philippines], August 27 - 29, 2013. Camacho, M. S., de Viana, L. & Churchill, B. R. (eds.). Quezon City Philippines: Manila Studies Association, p. 14-52 39 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperOtherpeer-review

  • 2012

    LMT: A lightweight logical framework for multi-agent systems

    Crossley, J. N. & Cruz, L., 2012, Advances in Knowledge-Based and Intelligent Information and Engineering Systems. Grana, M., Toro, C., Posada, J., Howlett, R. J. & Jain, L. C. (eds.). Amsterdam Netherlands: IOS Press, p. 118 - 127 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperOtherpeer-review

    1 Citation (Scopus)
  • 2010

    Contextualizing ontologies for agents

    Cruz, L. & Crossley, J. N., 2010, Proceedings of the International Conference on Knowledge Engineering and Ontology Development. Filipe, J. & Dietz, J. L. G. (eds.). Lisbon Portugal: Scitepress, p. 147 - 152 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    2 Citations (Scopus)
  • Tiered logic for agents in contexts

    Cruz, R. P. & Crossley, J. N., 2010, Agents and Artificial Intelligence - International Conference, ICAART 2009, Revised Selected Papers. Vol. 67 CCIS. p. 191-204 14 p. (Communications in Computer and Information Science; vol. 67 CCIS).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    2 Citations (Scopus)
  • 2009

    Tiered logic for agents

    Cruz, R. P. & Crossley, J. N., 2009, Proceedings of the First International Conference on Agents and Artificial Intelligence (ICAART 2009). Filipe, J., Fred, A. & Sharp, B. (eds.). Setubal Portugal: Institute for Systems and Technologies of Information, Control and Communication (INSTICC), p. 369 - 376 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    5 Citations (Scopus)
  • 2005

    Disjunctive constraint lambda calculi

    Holzl, M. & Crossley, J. N., 2005, Proceedings of the 12th International Conference on Logic Programming, Artificial Intelligence, and Reasoning (LPAR 2005). Sutcliffe, G. & Voronkov, A. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 3835. p. 64 - 78 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

  • 2003

    A layered approach to extracting programs from proofs with an application in graph theory

    Jeavons, J. S., Basit, B., Poernomo, I. H. & Crossley, J. N., 2003, Proceedings of the 7th & 8th Asian Logic Conferences. Downey, R. (ed.). SINGAPORE: World Scientific Publishing, p. 193 - 221 29 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

  • The Curry-Howard isomorphism adapted for imperative program synthesis and reasoning

    Poernomo, I. H. & Crossley, J. N., 2003, Proceedings of the 7th and 8th Asian Logic Conferences. Downey, R., Decheng, D., Ping, T. S., Hui, Q. Y. & Yasugi, M. (eds.). Singapore: World Scientific Publishing, p. 343 - 376 34 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

  • 2002

    Constraint-Lambda Calculi

    Holzl, M. & Crossley, J. N., 2002, Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8-10, 2002 Proceedings. Armando, A. (ed.). Berlin Germany: Springer, p. 207-222 16 p. (Lecture Notes in Computer Science; vol. 2309).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    1 Citation (Scopus)
  • 2001

    Programs, proofs and parametrized specifications

    Poernomo, I., Crossley, J. N. & Wirsing, M., 2001, Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1-3, 2001 Selected Papers. Cerioli, M. & Reggio, G. (eds.). Berlin Germany: Springer, p. 280-304 25 p. (Lecture Notes in Computer Science; vol. 2267).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

  • Protocols between programs and proofs

    Poernomo, I. & Crossley, J. N., 2001, Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers. Lau, K-K. (ed.). Berlin Germany: Springer, p. 18-37 20 p. (Lecture Notes in Computer Science; vol. 2042).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    1 Citation (Scopus)
  • 2000

    A Case Study for Reliable, Reusable Software

    Crossley, J. N., Poernomo, I. & Basit, B., 2000, Proceedings of the Philippine Computing Science Congress (PCSC 2000). Manila Philippines: Computing Society of the Philippines, p. 137 - 143 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

  • Extraction of structured programs from specification proofs

    Crossley, J. N., Poernomo, I. & Wirsing, M., 2000, Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT’99 Chateau de Bonas, September 15-18, 1999 Selected Papers . Bert, D., Choppy, C. & Mosses, P. (eds.). Berlin Germany: Springer, p. 419-437 19 p. (Lecture Notes in Computer Science; vol. 1827).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    4 Citations (Scopus)
  • 1999

    Proof normalization of structured algebraic specifications is convergent

    Wirsing, M., Crossley, J. N. & Peterreins, H., 1999, Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT’98 Lisbon, Portugal, April 2-4, 1998 Selected Papers. Fiadeiro, J. L. (ed.). Berlin Germany: Springer, p. 326-340 15 p. (Lecture Notes in Computer Science; vol. 1589).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    3 Citations (Scopus)
  • 1995

    Practical logic (Invited presentation)

    Crossley, J. N., 1 Jan 1995, Algorithms and Computations - 6th International Symposium, ISAAC 1995, Proceedings. Springer, 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1004).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review