Paul J. Krause

According to our database, Paul J. Krause authored at least 65 papers between 1989 and 2023.

Collaborative distances:

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

2023

A tutorial on data mining for Bayesian networks, with a specific focus on IoT for agriculture.

Paul J. Krause, Vivek Bokinala

Internet Things, July, 2023

2015

True Concurrency in Long-running Transactions for Digital Ecosystems.

Sotiris Moschoyiannis, Paul J. Krause

Fundam. Informaticae, 2015

Service Choreography, SBVR, and Time.

Nurulhuda A. Manaf, Sotiris Moschoyiannis, Paul J. Krause

Proceedings of the Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2015

2013

Symbolic Decision Theory and Autonomous Systems

John Fox, Paul J. Krause

CoRR, 2013

2012

An animation tool for exploring transactions in a DE.

Sotiris Moschoyiannis, Paul J. Krause, Pavlos Georgiou

Proceedings of the 6th IEEE International Conference on Digital Ecosystems and Technologies, 2012

Tiger Nation: Empowering citizen scientists.

Aaron D. Mason, Georgios Michalakidis, Paul J. Krause

Proceedings of the 6th IEEE International Conference on Digital Ecosystems and Technologies, 2012

2011

Towards a RESTful infrastructure for Digital Ecosystems.

Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause

Int. J. Electron. Bus., 2011

An SBVR Editor with Highlighting and Auto-completion.

Alexandros Marinos, Pagan Gazzard, Paul J. Krause

Proceedings of the 5th International RuleML2011@BRF Challenge, 2011

2010

Generating SQL Queries from SBVR Rules.

Sotiris Moschoyiannis, Alexandros Marinos, Paul J. Krause

Proceedings of the Semantic Web Rules - International Symposium, 2010

An SBVR to SQL Compiler.

Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause

Proceedings of the RuleML-2010 Challenge, 2010

Towards the Web of Models: A Rule-Driven RESTful Architecture for Distributed Systems.

Alexandros Marinos, Paul J. Krause

Proceedings of the Semantic Web Rules - International Symposium, 2010

Flypeer: A JXTA Implementation of DE Transactions.

Amir Reza Razavi, Paulo R. C. Siqueira, Fabio K. Serra, Paul J. Krause

Proceedings of the Digital Ecosystems - Third International Conference, 2010

2009

An open digital environment to support business ecosystems.

Amir Reza Razavi, Sotiris Moschoyiannis, Paul J. Krause

Peer-to-Peer Netw. Appl., 2009

Using formal specifications to support testing.

Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan

ACM Comput. Surv., 2009

An SBVR Framework for RESTful Web Applications.

Alexandros Marinos, Paul J. Krause

Proceedings of the Rule Interchange and Applications, International Symposium, 2009

RETRO: A Consistent and Recoverable RESTful Transaction Model.

Alexandros Marinos, Amir Reza Razavi, Sotiris Moschoyiannis, Paul J. Krause

Proceedings of the IEEE International Conference on Web Services, 2009

RESTful Transactions Supported by the Isolation Theorems.

Amir Reza Razavi, Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause

Proceedings of the Web Engineering, 9th International Conference, 2009

2008

A review of current defeasible reasoning implementations.

Daniel Bryant, Paul J. Krause

Knowl. Eng. Rev., 2008

Transaction Scripts: Making Implicit Scenarios Explicit.

Sotiris Moschoyiannis, Amir Reza Razavi, Paul J. Krause

Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2008

2007

A True-Concurrent Interpretation of Behavioural Scenarios.

Sotiris Moschoyiannis, Paul J. Krause, Michael W. Shields

Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007

Concurrency Control and Recovery Management for Open e-Business Transactions.

Amir Reza Razavi, Sotiris Moschoyiannis, Paul J. Krause

Proceedings of the 30th Communicating Process Architectures Conference, 2007

2006

A Tool to Facilitate Agent Deliberation.

Daniel Bryant, Paul J. Krause, Sotiris Moschoyiannis

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

An Implementation of a Lightweight Argumentation Engine for Agent Applications.

Daniel Bryant, Paul J. Krause

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications.

Daniel Bryant, Paul J. Krause, Gerard Vreeswijk

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2006, 2006

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

Modelling Component Behaviour with Concurrent Automata.

Sotiris Moschoyiannis, Michael W. Shields, Paul J. Krause

Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2005

2003

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

Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003

2002

FORTEST: Formal Methods and Testing.

Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

1999

Learning probabilistic networks.

Paul J. Krause

Knowl. Eng. Rev., 1999

1998

Qualitative risk assessment fulfils a need.

Paul J. Krause, John Fox, Philip N. Judson, Mukesh Patel

Proceedings of the Applications of Uncertainty Formalisms, 1998

1997

Reliable and accountable system design.

Paul J. Krause, Jane Hesketh, Dave Robertson

Knowl. Eng. Rev., 1997

Representation of Chemical Structures in Knowledge-Based Systems: The StAR System.

Christian A. G. Tonnelier, John Fox, Philip N. Judson, Paul J. Krause, Nicola Pappas, Mukesh Patel

J. Chem. Inf. Comput. Sci., 1997

1996

Using New Reasoning Technology in Chemical Information Systems.

Philip N. Judson, John Fox, Paul J. Krause

J. Chem. Inf. Comput. Sci., 1996

A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations.

Subrata Kumar Das, John Fox, Paul J. Krause

Proceedings of the Practical Reasoning, 1996

1995

<i>The art of Prolog - second edition</i> 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

<i>First steps in modal logic</i> by Sally Popkorn, Cambridge University Press, 1994, pp 314, £25.00, ISBN 0-521-46482-X.

Paul J. Krause

Knowl. Eng. Rev., 1995

<i>Collected works of A. M. Turing: Volume 1: Pure mathematics</i> by J. L. Britton (Ed.), North Holland, Amsterdam, 1992, pp 288, Dfl, 175.00, ISBN 0-444-88059-3;<i>Collected works of A. M. Turing: Volume 2: Mechanical intelligence</i> by D. C. Ince (Ed.), North Holland, Amsterdam, 1992, pp 226, Dfl 160.00, ISBN 0-444-88058-5;<i>Collected works of A. M. Turing: Volume 3: Morphogenesis</i> 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

<i>Model theory</i> 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

<i>Foundations of fuzzy systems</i> 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

<i>Fuzzy logic for the management of uncertainty</i> 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

Knowledge representation and reasoning: The view from cognitive psychology.

John Fox, Paul J. Krause

Knowl. Eng. Rev., 1995

A Logic of Argumentation for Reasoning under Uncertainty.

Paul J. Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox

Comput. Intell., 1995

Is There a Role for Qualitative Risk Assessment?

Paul J. Krause, John Fox, Philip N. Judson

Proceedings of the UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, 1995

1994

<i>Belief revision</i> 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

<i>Eco-logic: logic-based approaches to ecological modelling</i> 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

Formal specification and decision support.

Paul J. Krause, Patrick J. Byers, Saki Hajnal

Decis. Support Syst., 1994

The Nature of Uncertainty.

Dominic A. Clark, Paul J. Krause

Intell. Tutoring Media, 1994

1993

<i>Nonmonotonic reasoning: logical foundations of commonsense</i> by Brewka Gerhard, Cambridge University Press, Combridge, 1992, £19.50.

Paul J. Krause

Knowl. Eng. Rev., 1993

Can we Formally Specify a Medical Decision Support System?

Paul J. Krause, John Fox, Mike O'Neil, Andrzej J. Glowinski

IEEE Expert, 1993

DRUMS: Defeasible Reasoning and Uncertainty Management Systems.

Philippe Besnard, Yves Moinard, Wilmer Pereira, Michael Clarke, Nic Wilson, Miguel Delgado, Serafín Moral, Juan Cano, Didier Dubois, Henri Prade, Luis Fariñas del Cerro, Jérôme Lang, Stéphane Amarger, John Fox, Paul J. Krause, Michael Dohnal, Christine Froidevaux, Jérôme Mengin, Ramón López de Mántaras, Lluís Godo, E. H. Mamdani, John Bigham, Simon Parsons, Rudolf Kruse, Olivier Paillet, Pierre Siegel, Philippe Smets, Yen-Teh Hsia, Alessandro Saffiotti, Robert Kennes, Hong Xu, Elizabeth Umkehrer, Kurt Sundermeyer, Chris Whitney

AI Commun., 1993

Formal specifications and medical decision support systems.

Paul J. Krause, Andrzej J. Glowinski

Appl. Artif. Intell., 1993

Argumentation as a General Framework for Uncertain Reasoning.

John Fox, Paul J. Krause, Morten Elvang-Gøransson

Proceedings of the UAI '93: Proceedings of the Ninth Annual Conference on Uncertainty in Artificial Intelligence, 1993

Dialectic reasoning with inconsistent information.

Morten Elvang-Gøransson, Paul J. Krause, John Fox

Proceedings of the UAI '93: Proceedings of the Ninth Annual Conference on Uncertainty in Artificial Intelligence, 1993

Acceptability of arguments as 'logical uncertainty'.

Morten Elvang-Gøransson, Paul J. Krause, John Fox

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

Representing uncertain knowledge - an artificial intelligence approach.

Paul J. Krause, Dominic A. Clark

Intellect Books, ISBN: 978-1-871516-17-3, 1993

1992

<i>Uncertainty and vagueness in knowledge based systems</i> 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

<i>LOGIC Programming: expanding the horizons</i> 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

<i>Formal methods in artificial intelligence</i> by Allan Ramsay, Cambridge University Press, Cambridge, 1991, pp 289, £14.95 (paperback). ISBN 0 521 42421 6.<i>Formalism in AI and computer science</i> by Philip Leith, Ellis Horwood, Chichester, 1990, pp 225, £29.95. ISBN 013 325549 2.<i>Formal techniques in artificial intelligence: a sourcebook</i> 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

Qualitative frameworks for decision support: lessons from medicine.

John Fox, Paul J. Krause

Knowl. Eng. Rev., 1992

The Development of a "Logic of Argumentation".

Paul J. Krause, Simon Ambler, John Fox

Proceedings of the IPMU '92, 1992

Arguments, Contradicitions and Practical Reasoning.

John Fox, Paul J. Krause, Simon Ambler

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991

<i>Approximate reasoning models</i> by Ramon Lopez de Mántaras, Ellis Horwood, Chichester, 1990, pp 109.<i>Search, inference and dependencies in artificial intelligence</i> by Murray Shanahan and Richard Southwick, Ellis Horwood, Chichester, 1989, pp 140.

Paul J. Krause

Knowl. Eng. Rev., 1991

Decision Theory and Autonomous Systems.

John Fox, Paul J. Krause

Proceedings of the UAI '91: Proceedings of the Seventh Annual Conference on Uncertainty in Artificial Intelligence, 1991

An Extended Logic Language For Representing Belief.

John Fox, Paul J. Krause, Mirko Dohnal

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

1989

Computer Aided Transformation of Z into Prolog.

A. J. J. Dick, Paul J. Krause, J. Cozens

Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989, 1989