Computer Aided Transformation of Z into Prolog. - A. J. J. Dick; Paul J. Krause; J. Cozens (Z User Workshop, 1989)

An Extended Logic Language For Representing Belief. - John Fox 001; Paul J. Krause; Mirko Dohnal (ECSQARU, 1991)

Decision Theory and Autonomous Systems. - John Fox 001; Paul J. Krause (UAI, 1991)

Approximate reasoning models by Ramon Lopez de Mántaras, Ellis Horwood, Chichester, 1990, pp 109.Search, inference and dependencies in artificial intelligence by Murray Shanahan and Richard Southwick, Ellis Horwood, Chichester, 1989, pp 140. - Paul J. Krause (Knowl. Eng. Rev., 1991)

Arguments, Contradicitions and Practical Reasoning. - John Fox 001; Paul J. Krause; Simon Ambler (ECAI, 1992)

The Development of a "Logic of Argumentation". - Paul J. Krause; Simon Ambler; John Fox 001 (IPMU, 1992)

Qualitative frameworks for decision support: lessons from medicine. - John Fox 001; Paul J. Krause (Knowl. Eng. Rev., 1992)

Formal methods in artificial intelligence by Allan Ramsay, Cambridge University Press, Cambridge, 1991, pp 289, £14.95 (paperback). ISBN 0 521 42421 6.Formalism in AI and computer science by Philip Leith, Ellis Horwood, Chichester, 1990, pp 225, £29.95. ISBN 013 325549 2.Formal techniques in artificial intelligence: a sourcebook by RB Banerji (Ed.), North Holland, Amsterdam, 1990, pp 437, Dfl 160.00. ISBN 0 444 88130 1. - Paul J. Krause (Knowl. Eng. Rev., 1992)

LOGIC Programming: expanding the horizons by Tony Dodd, Richard Owens and Steve Torrance (Eds), Intellect Books, Oxford, 1991, pp 208, £29.95, ISBN 1-871516-15-03. - Paul J. Krause (Knowl. Eng. Rev., 1992)

Uncertainty and vagueness in knowledge based systems by R Kruse, E Schwecke and J Heinsohn, Springer-Verlag, Berlin, £35.00. ISBN 3-540-54165-9. - Paul J. Krause (Knowl. Eng. Rev., 1992)

Representing uncertain knowledge - an artificial intelligence approach. - Paul J. Krause; Dominic A. Clark (Intellect Books, 1993)

Acceptability of arguments as 'logical uncertainty'. - Morten Elvang-Gøransson; Paul J. Krause; John Fox 001 (ECSQARU, 1993)

Dialectic reasoning with inconsistent information. - Morten Elvang-Gøransson; Paul J. Krause; John Fox 001 (UAI, 1993)

Argumentation as a General Framework for Uncertain Reasoning. - John Fox 001; Paul J. Krause; Morten Elvang-Gøransson (UAI, 1993)

Formal specifications and medical decision support systems. - Paul J. Krause; Andrzej J. Glowinski (Appl. Artif. Intell., 1993)

DRUMS: Defeasible Reasoning and Uncertainty Management Systems. - Philippe Besnard; Yves Moinard; Wilmer Pereira; Michael Clarke; Nic Wilson; Miguel Delgado 001; Serafín Moral; Juan Cano; Didier Dubois; Henri Prade; Luis Fariñas del Cerro; Jérôme Lang; et al. (AI Commun., 1993)

Can we Formally Specify a Medical Decision Support System? - Paul J. Krause; John Fox 001; Mike O'Neil; Andrzej J. Glowinski (IEEE Expert, 1993)

Nonmonotonic reasoning: logical foundations of commonsense by Brewka Gerhard, Cambridge University Press, Combridge, 1992, £19.50. - Paul J. Krause (Knowl. Eng. Rev., 1993)

The Nature of Uncertainty. - Dominic A. Clark; Paul J. Krause (Intell. Tutoring Media, 1994)

Formal specification and decision support. - Paul J. Krause; Patrick J. Byers; Saki Hajnal (Decis. Support Syst., 1994)

Eco-logic: logic-based approaches to ecological modelling by David Roberston, Alan Bundy, Robert Meutzelfeldt, Mandy Haggith and Michael Uschold, MIT Press, Cambridge, MA, 1991, £31.50. ISBN 0-262-18143-6. - Paul J. Krause (Knowl. Eng. Rev., 1994)

Belief revision edited by Peter Gärdenfors, Cambridge University Press, 1992, pp 277, £22.95, ISBN 0-521-41260-9. - Paul J. Krause (Knowl. Eng. Rev., 1994)

Is There a Role for Qualitative Risk Assessment? - Paul J. Krause; John Fox 001; Philip N. Judson (UAI, 1995)

A Logic of Argumentation for Reasoning under Uncertainty. - Paul J. Krause; Simon Ambler; Morten Elvang-Gøransson; John Fox 001 (Comput. Intell., 1995)

Knowledge representation and reasoning: The view from cognitive psychology. - John Fox 001; Paul J. Krause (Knowl. Eng. Rev., 1995)

Fuzzy logic for the management of uncertainty edited by Lotfi Zadeh and Janusz Kacprzyk, John Wiley & Sons, New York, 1992, pp 1-676, £47.50, ISBN 0-471-54799-9. - Paul J. Krause (Knowl. Eng. Rev., 1995)

Foundations of fuzzy systems by Rudolf Kruse, Jörg Gebhardt and Frank Klawonn, John Wiley & Sons, Chichester, 1994, pp 265, £29.95, ISBN 0-471-94243-X. - Paul J. Krause (Knowl. Eng. Rev., 1995)

Model theory by Wilfred Hodges, Encyclopedia of Mathematics and its Applications, Vol 42, Cambridge University Press, 1994, pp 772, £65.00, ISBN 0-521-30442-3. - Paul J. Krause (Knowl. Eng. Rev., 1995)

Collected works of A. M. Turing: Volume 1: Pure mathematics by J. L. Britton (Ed.), North Holland, Amsterdam, 1992, pp 288, Dfl, 175.00, ISBN 0-444-88059-3;Collected works of A. M. Turing: Volume 2: Mechanical intelligence by D. C. Ince (Ed.), North Holland, Amsterdam, 1992, pp 226, Dfl 160.00, ISBN 0-444-88058-5;Collected works of A. M. Turing: Volume 3: Morphogenesis by P. T. Saunders (Ed.), North Holland, Amsterdam, 1993, pp 160, Dfl 170.00, ISBN 0-444-88486-6. - Paul J. Krause (Knowl. Eng. Rev., 1995)

First steps in modal logic by Sally Popkorn, Cambridge University Press, 1994, pp 314, £25.00, ISBN 0-521-46482-X. - Paul J. Krause (Knowl. Eng. Rev., 1995)

The art of Prolog - second edition by Leon Sterling and Ehud Shapiro, MIT Press, Cambridge, MA 1994, pp 509, £19.95 (paperback), £44.94 (hardback), ISBN 0-262-19338-8. - Paul J. Krause (Knowl. Eng. Rev., 1995)

A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations. - Subrata Kumar Das; John Fox 001; Paul J. Krause (FAPR, 1996)

Using New Reasoning Technology in Chemical Information Systems. - Philip N. Judson; John Fox 001; Paul J. Krause (J. Chem. Inf. Comput. Sci., 1996)

Representation of Chemical Structures in Knowledge-Based Systems: The StAR System. - Christian A. G. Tonnelier; John Fox 001; Philip N. Judson; Paul J. Krause; Nicola Pappas; Mukesh Patel (J. Chem. Inf. Comput. Sci., 1997)

Reliable and accountable system design. - Paul J. Krause; Jane Hesketh; Dave Robertson 001 (Knowl. Eng. Rev., 1997)

Qualitative risk assessment fulfils a need. - Paul J. Krause; John Fox 001; Philip N. Judson; Mukesh Patel (Applications of Uncertainty Formalisms, 1998)

Learning probabilistic networks. - Paul J. Krause (Knowl. Eng. Rev., 1999)

FORTEST: Formal Methods and Testing. - Jonathan P. Bowen; Kirill Bogdanov 002; John A. Clark; Mark Harman; Robert M. Hierons; Paul J. Krause (COMPSAC, 2002)

Effects of Virtual Development on Product Quality: Exploring Defect Causes. - Jef Jacobs; J. H. van Moll; Paul J. Krause; Rob J. Kusters; Jos J. M. Trienekens (STEP, 2003)

Modelling Component Behaviour with Concurrent Automata. - Sotiris Moschoyiannis; Michael W. Shields; Paul J. Krause (FESCA@ETAPS, 2005)

Exploring defect causes in products developed by virtual teams. - Jef Jacobs; Jan van Moll; Paul J. Krause; Rob J. Kusters; Jos J. M. Trienekens; Aarnout Brombacher (Inf. Softw. Technol., 2005)

Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications. - Daniel Bryant; Paul J. Krause; Gerard Vreeswijk (COMMA, 2006)

An Implementation of a Lightweight Argumentation Engine for Agent Applications. - Daniel Bryant; Paul J. Krause (JELIA, 2006)

A Tool to Facilitate Agent Deliberation. - Daniel Bryant; Paul J. Krause; Sotiris Moschoyiannis (JELIA, 2006)

Concurrency Control and Recovery Management for Open e-Business Transactions. - Amir Reza Razavi; Sotiris Moschoyiannis; Paul J. Krause (CPA, 2007)

A True-Concurrent Interpretation of Behavioural Scenarios. - Sotiris Moschoyiannis; Paul J. Krause; Michael W. Shields (FESCA@ETAPS, 2007)

Transaction Scripts: Making Implicit Scenarios Explicit. - Sotiris Moschoyiannis; Amir Reza Razavi; Paul J. Krause (FESCA@ETAPS, 2008)

A review of current defeasible reasoning implementations. - Daniel Bryant; Paul J. Krause (Knowl. Eng. Rev., 2008)

RESTful Transactions Supported by the Isolation Theorems. - Amir Reza Razavi; Alexandros Marinos; Sotiris Moschoyiannis; Paul J. Krause (ICWE, 2009)

RETRO: A Consistent and Recoverable RESTful Transaction Model. - Alexandros Marinos; Amir Reza Razavi; Sotiris Moschoyiannis; Paul J. Krause (ICWS, 2009)

An SBVR Framework for RESTful Web Applications. - Alexandros Marinos; Paul J. Krause (RuleML, 2009)

Using formal specifications to support testing. - Robert M. Hierons; Kirill Bogdanov 002; Jonathan P. Bowen; Rance Cleaveland; John Derrick; Jeremy Dick; Marian Gheorghe 001; Mark Harman; Kalpesh Kapoor; Paul J. Krause; Gerald Lüttgen; Anthony J. H. Simons; et al. (ACM Comput. Surv., 2009)

An open digital environment to support business ecosystems. - Amir Reza Razavi; Sotiris Moschoyiannis; Paul J. Krause (Peer-to-Peer Netw. Appl., 2009)

Flypeer: A JXTA Implementation of DE Transactions. - Amir Reza Razavi; Paulo R. C. Siqueira; Fabio K. Serra; Paul J. Krause (OPAALS, 2010)

Towards the Web of Models: A Rule-Driven RESTful Architecture for Distributed Systems. - Alexandros Marinos; Paul J. Krause (RuleML, 2010)

An SBVR to SQL Compiler. - Alexandros Marinos; Sotiris Moschoyiannis; Paul J. Krause (RuleML Challenge, 2010)

Generating SQL Queries from SBVR Rules. - Sotiris Moschoyiannis; Alexandros Marinos; Paul J. Krause (RuleML, 2010)

An SBVR Editor with Highlighting and Auto-completion. - Alexandros Marinos; Pagan Gazzard; Paul J. Krause (RuleML America (2), 2011)

Towards a RESTful infrastructure for Digital Ecosystems. - Alexandros Marinos; Sotiris Moschoyiannis; Paul J. Krause (Int. J. Electron. Bus., 2011)

Tiger Nation: Empowering citizen scientists. - Aaron D. Mason; Georgios Michalakidis; Paul J. Krause (DEST, 2012)

An animation tool for exploring transactions in a DE. - Sotiris Moschoyiannis; Paul J. Krause; Pavlos Georgiou (DEST, 2012)

Symbolic Decision Theory and Autonomous Systems - John Fox 001; Paul J. Krause (CoRR, 2013)

Service Choreography, SBVR, and Time. - Nurulhuda A. Manaf; Sotiris Moschoyiannis; Paul J. Krause (FOCLASA, 2015)

True Concurrency in Long-running Transactions for Digital Ecosystems. - Sotiris Moschoyiannis; Paul J. Krause (Fundam. Informaticae, 2015)

A tutorial on data mining for Bayesian networks, with a specific focus on IoT for agriculture. - Paul J. Krause; Vivek Bokinala (Internet Things, 2023)