Paul J. Krause

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 1

Top Topics

Uncertain Reasoning

Autonomous Systems

Preference Elicitation

Top Venues

Fundam. Informaticae

Internet Things

Publications

Paul J. Krause, Vivek Bokinala
A tutorial on data mining for Bayesian networks, with a specific focus on IoT for agriculture. Internet Things 22 (2023)
Sotiris Moschoyiannis, Paul J. Krause
True Concurrency in Long-running Transactions for Digital Ecosystems. Fundam. Informaticae 138 (4) (2015)
Nurulhuda A. Manaf, Sotiris Moschoyiannis, Paul J. Krause
Service Choreography, SBVR, and Time. FOCLASA (2015)
John Fox, Paul J. Krause, Morten Elvang-Gøransson
Argumentation as a General Framework for Uncertain Reasoning CoRR (2013)
Morten Elvang-Gøransson, Paul J. Krause, John Fox
Dialectic Reasoning with Inconsistent Information CoRR (2013)
John Fox, Paul J. Krause
Symbolic Decision Theory and Autonomous Systems CoRR (2013)
Paul J. Krause, John Fox, Philip N. Judson
Is There a Role for Qualitative Risk Assessment? CoRR (2013)
Aaron D. Mason, Georgios Michalakidis, Paul J. Krause
Tiger Nation: Empowering citizen scientists. DEST (2012)
Sotiris Moschoyiannis, Paul J. Krause, Pavlos Georgiou
An animation tool for exploring transactions in a DE. DEST (2012)
Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause
Towards a RESTful infrastructure for Digital Ecosystems. Int. J. Electron. Bus. 9 (5/6) (2011)
Alexandros Marinos, Pagan Gazzard, Paul J. Krause
An SBVR Editor with Highlighting and Auto-completion. RuleML America (2) (2011)
Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause
An SBVR to SQL Compiler. RuleML Challenge (2010)
Amir Reza Razavi, Paulo R. C. Siqueira, Fabio K. Serra, Paul J. Krause
Flypeer: A JXTA Implementation of DE Transactions. OPAALS (2010)
Sotiris Moschoyiannis, Amir Reza Razavi, Paul J. Krause
Transaction Scripts: Making Implicit Scenarios Explicit. Electron. Notes Theor. Comput. Sci. 238 (6) (2010)
Alexandros Marinos, Paul J. Krause
Towards the Web of Models: A Rule-Driven RESTful Architecture for Distributed Systems. RuleML (2010)
Sotiris Moschoyiannis, Alexandros Marinos, Paul J. Krause
Generating SQL Queries from SBVR Rules. RuleML (2010)
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
Using formal specifications to support testing. ACM Comput. Surv. 41 (2) (2009)
Alexandros Marinos, Paul J. Krause
An SBVR Framework for RESTful Web Applications. RuleML (2009)
Amir Reza Razavi, Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause
RESTful Transactions Supported by the Isolation Theorems. ICWE (2009)
Amir Reza Razavi, Sotiris Moschoyiannis, Paul J. Krause
An open digital environment to support business ecosystems. Peer-to-Peer Netw. Appl. 2 (4) (2009)
Alexandros Marinos, Amir Reza Razavi, Sotiris Moschoyiannis, Paul J. Krause
RETRO: A Consistent and Recoverable RESTful Transaction Model. ICWS (2009)
Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause
Towards a RESTful infrastructure for digital ecosystems. MEDES (2009)
Sotiris Moschoyiannis, Paul J. Krause, Michael W. Shields
A True-Concurrent Interpretation of Behavioural Scenarios. Electron. Notes Theor. Comput. Sci. 203 (7) (2009)
Daniel Bryant, Paul J. Krause
A review of current defeasible reasoning implementations. Knowl. Eng. Rev. 23 (3) (2008)
Amir Reza Razavi, Sotiris Moschoyiannis, Paul J. Krause
Concurrency Control and Recovery Management for Open e-Business Transactions. CPA (2007)
Daniel Bryant, Paul J. Krause
An Implementation of a Lightweight Argumentation Engine for Agent Applications. JELIA (2006)
Daniel Bryant, Paul J. Krause, Sotiris Moschoyiannis
A Tool to Facilitate Agent Deliberation. JELIA (2006)
Daniel Bryant, Paul J. Krause, Gerard Vreeswijk
Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications. COMMA (2006)
Sotiris Moschoyiannis, Michael W. Shields, Paul J. Krause
Modelling Component Behaviour with Concurrent Automata. Electron. Notes Theor. Comput. Sci. 141 (3) (2005)
Jef Jacobs, Jan van Moll, Paul J. Krause, Rob J. Kusters, Jos J. M. Trienekens, Aarnout Brombacher
Exploring defect causes in products developed by virtual teams. Inf. Softw. Technol. 47 (6) (2005)
Jef Jacobs, J. H. van Moll, Paul J. Krause, Rob J. Kusters, Jos J. M. Trienekens
Effects of Virtual Development on Product Quality: Exploring Defect Causes. STEP (2003)
Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause
FORTEST: Formal Methods and Testing. COMPSAC (2002)
Paul J. Krause
Learning probabilistic networks. Knowl. Eng. Rev. 13 (4) (1999)
Paul J. Krause, John Fox, Philip N. Judson, Mukesh Patel
Qualitative risk assessment fulfils a need. Applications of Uncertainty Formalisms (1998)
Christian A. G. Tonnelier, John Fox, Philip N. Judson, Paul J. Krause, N. Pappas, Mukesh Patel
Representation of Chemical Structures in Knowledge-Based Systems: The StAR System. J. Chem. Inf. Comput. Sci. 37 (1) (1997)
Paul J. Krause, Jane Hesketh, Dave Robertson
Reliable and accountable system design. Knowl. Eng. Rev. 12 (3) (1997)
Subrata Kumar Das, John Fox, Paul J. Krause
A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations. FAPR (1996)
Philip N. Judson, John Fox, Paul J. Krause
Using New Reasoning Technology in Chemical Information Systems. J. Chem. Inf. Comput. Sci. 36 (4) (1996)
Paul J. Krause
by P. T. Saunders (Ed.), North Holland, Amsterdam, 1993, pp 160, Dfl 170.00, ISBN 0-444-88486-6. Knowl. Eng. Rev. 10 (2) (1995)
Paul J. Krause
by Leon Sterling and Ehud Shapiro, MIT Press, Cambridge, MA 1994, pp 509, £19.95 (paperback), £44.94 (hardback), ISBN 0-262-19338-8. Knowl. Eng. Rev. 10 (4) (1995)
Paul J. Krause
by Sally Popkorn, Cambridge University Press, 1994, pp 314, £25.00, ISBN 0-521-46482-X. Knowl. Eng. Rev. 10 (2) (1995)
Paul J. Krause
by Wilfred Hodges, Encyclopedia of Mathematics and its Applications, Vol 42, Cambridge University Press, 1994, pp 772, £65.00, ISBN 0-521-30442-3. Knowl. Eng. Rev. 10 (1) (1995)
Paul J. Krause
by Rudolf Kruse, Jörg Gebhardt and Frank Klawonn, John Wiley & Sons, Chichester, 1994, pp 265, £29.95, ISBN 0-471-94243-X. Knowl. Eng. Rev. 10 (1) (1995)
Paul J. Krause, John Fox, Philip N. Judson
Is There a Role for Qualitative Risk Assessment? UAI (1995)
Paul J. Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox
A Logic of Argumentation for Reasoning under Uncertainty. Comput. Intell. 11 (1995)
John Fox, Paul J. Krause
Knowledge representation and reasoning: The view from cognitive psychology. Knowl. Eng. Rev. 10 (1) (1995)
Paul J. Krause
edited by Lotfi Zadeh and Janusz Kacprzyk, John Wiley & Sons, New York, 1992, pp 1-676, £47.50, ISBN 0-471-54799-9. Knowl. Eng. Rev. 10 (1) (1995)
Paul J. Krause
edited by Peter Gärdenfors, Cambridge University Press, 1992, pp 277, £22.95, ISBN 0-521-41260-9. Knowl. Eng. Rev. 9 (2) (1994)
Paul J. Krause, Patrick J. Byers, Saki Hajnal
Formal specification and decision support. Decis. Support Syst. 12 (3) (1994)
Paul J. Krause
by David Roberston, Alan Bundy, Robert Meutzelfeldt, Mandy Haggith and Michael Uschold, MIT Press, Cambridge, MA, 1991, £31.50. ISBN 0-262-18143-6. Knowl. Eng. Rev. 9 (1) (1994)
Dominic A. Clark, Paul J. Krause
The Nature of Uncertainty. Intell. Tutoring Media 5 (1) (1994)
Paul J. Krause
by Brewka Gerhard, Cambridge University Press, Combridge, 1992, £19.50. Knowl. Eng. Rev. 8 (2) (1993)
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
DRUMS: Defeasible Reasoning and Uncertainty Management Systems. AI Commun. 6 (1) (1993)
Morten Elvang-Gøransson, Paul J. Krause, John Fox
Dialectic reasoning with inconsistent information. UAI (1993)
Paul J. Krause, John Fox, Mike O'Neil, Andrzej J. Glowinski
Can we Formally Specify a Medical Decision Support System? IEEE Expert 8 (3) (1993)
Paul J. Krause, Andrzej J. Glowinski
Formal specifications and medical decision support systems. Appl. Artif. Intell. 7 (3) (1993)
Morten Elvang-Gøransson, Paul J. Krause, John Fox
Acceptability of arguments as 'logical uncertainty'. ECSQARU (1993)
John Fox, Paul J. Krause, Morten Elvang-Gøransson
Argumentation as a General Framework for Uncertain Reasoning. UAI (1993)
Paul J. Krause
by Tony Dodd, Richard Owens and Steve Torrance (Eds), Intellect Books, Oxford, 1991, pp 208, £29.95, ISBN 1-871516-15-03. Knowl. Eng. Rev. 7 (3) (1992)
John Fox, Paul J. Krause, Simon Ambler
Arguments, Contradicitions and Practical Reasoning. ECAI (1992)
Paul J. Krause
by R Kruse, E Schwecke and J Heinsohn, Springer-Verlag, Berlin, £35.00. ISBN 3-540-54165-9. Knowl. Eng. Rev. 7 (3) (1992)
John Fox, Paul J. Krause
Qualitative frameworks for decision support: lessons from medicine. Knowl. Eng. Rev. 7 (1) (1992)
Paul J. Krause, Simon Ambler, John Fox
The Development of a "Logic of Argumentation". IPMU (1992)
Paul J. Krause
by RB Banerji (Ed.), North Holland, Amsterdam, 1990, pp 437, Dfl 160.00. ISBN 0 444 88130 1. Knowl. Eng. Rev. 7 (1) (1992)
John Fox, Paul J. Krause
Decision Theory and Autonomous Systems. UAI (1991)
Paul J. Krause
by Murray Shanahan and Richard Southwick, Ellis Horwood, Chichester, 1989, pp 140. Knowl. Eng. Rev. 6 (3) (1991)
John Fox, Paul J. Krause, Mirko Dohnal
An Extended Logic Language For Representing Belief. ECSQARU (1991)
A. J. J. Dick, Paul J. Krause, J. Cozens
Computer Aided Transformation of Z into Prolog. Z User Workshop (1989)