default search action
Paul J. Krause
Person information
- affiliation: Department of Computing, University of Surrey, Guildford, Surrey, UK
- affiliation: Philips Research Laboratories, Redhill, Surrey, UK
- affiliation: Imperial Cancer Research Fund (ICRF), London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j32]Paul J. Krause, Vivek Bokinala:
A tutorial on data mining for Bayesian networks, with a specific focus on IoT for agriculture. Internet Things 22: 100738 (2023)
2010 – 2019
- 2015
- [j31]Sotiris Moschoyiannis, Paul J. Krause:
True Concurrency in Long-running Transactions for Digital Ecosystems. Fundam. Informaticae 138(4): 483-514 (2015) - [c32]Nurulhuda A. Manaf
, Sotiris Moschoyiannis, Paul J. Krause:
Service Choreography, SBVR, and Time. FOCLASA 2015: 63-77 - 2013
- [i4]Paul J. Krause, John Fox, Philip N. Judson:
Is There a Role for Qualitative Risk Assessment? CoRR abs/1302.4970 (2013) - [i3]Morten Elvang-Gøransson, Paul J. Krause, John Fox:
Dialectic Reasoning with Inconsistent Information. CoRR abs/1303.1467 (2013) - [i2]John Fox, Paul J. Krause, Morten Elvang-Gøransson:
Argumentation as a General Framework for Uncertain Reasoning. CoRR abs/1303.1505 (2013) - [i1]John Fox, Paul J. Krause:
Symbolic Decision Theory and Autonomous Systems. CoRR abs/1303.5716 (2013) - 2012
- [c31]Aaron D. Mason, Georgios Michalakidis, Paul J. Krause:
Tiger Nation: Empowering citizen scientists. DEST 2012: 1-5 - [c30]Sotiris Moschoyiannis, Paul J. Krause, Pavlos Georgiou:
An animation tool for exploring transactions in a DE. DEST 2012: 1-6 - 2011
- [j30]Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause:
Towards a RESTful infrastructure for Digital Ecosystems. Int. J. Electron. Bus. 9(5/6): 484-498 (2011) - [c29]Alexandros Marinos, Pagan Gazzard, Paul J. Krause:
An SBVR Editor with Highlighting and Auto-completion. RuleML America (2) 2011 - 2010
- [c28]Amir Reza Razavi, Paulo R. C. Siqueira, Fabio K. Serra, Paul J. Krause:
Flypeer: A JXTA Implementation of DE Transactions. OPAALS 2010: 213-223 - [c27]Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause:
An SBVR to SQL Compiler. RuleML Challenge 2010 - [c26]Sotiris Moschoyiannis, Alexandros Marinos, Paul J. Krause:
Generating SQL Queries from SBVR Rules. RuleML 2010: 128-143 - [c25]Alexandros Marinos, Paul J. Krause:
Towards the Web of Models: A Rule-Driven RESTful Architecture for Distributed Systems. RuleML 2010: 251-258
2000 – 2009
- 2009
- [j29]Robert M. Hierons
Using formal specifications to support testing. ACM Comput. Surv. 41(2): 9:1-9:76 (2009) - [j28]Amir Reza Razavi, Sotiris Moschoyiannis, Paul J. Krause:
An open digital environment to support business ecosystems. Peer-to-Peer Netw. Appl. 2(4): 367-397 (2009) - [c24]Amir Reza Razavi, Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause:
RESTful Transactions Supported by the Isolation Theorems. ICWE 2009: 394-409 - [c23]Alexandros Marinos, Amir Reza Razavi, Sotiris Moschoyiannis, Paul J. Krause:
RETRO: A Consistent and Recoverable RESTful Transaction Model. ICWS 2009: 181-188 - [c22]Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause:
Towards a RESTful infrastructure for digital ecosystems. MEDES 2009: 340-344 - [c21]Alexandros Marinos, Paul J. Krause:
An SBVR Framework for RESTful Web Applications. RuleML 2009: 144-158 - 2008
- [j27]Daniel Bryant, Paul J. Krause:
A review of current defeasible reasoning implementations. Knowl. Eng. Rev. 23(3): 227-260 (2008) - [c20]Sotiris Moschoyiannis, Amir Reza Razavi, Paul J. Krause:
Transaction Scripts: Making Implicit Scenarios Explicit. FESCA@ETAPS 2008: 63-79 - 2007
- [c19]Amir Reza Razavi, Sotiris Moschoyiannis, Paul J. Krause:
Concurrency Control and Recovery Management for Open e-Business Transactions. CPA 2007: 267-285 - [c18]Sotiris Moschoyiannis, Paul J. Krause, Michael W. Shields:
A True-Concurrent Interpretation of Behavioural Scenarios. FESCA@ETAPS 2007: 3-22 - 2006
- [c17]Daniel Bryant, Paul J. Krause, Gerard Vreeswijk:
Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications. COMMA 2006: 27-32 - [c16]Daniel Bryant, Paul J. Krause, Sotiris Moschoyiannis:
A Tool to Facilitate Agent Deliberation. JELIA 2006: 465-468 - [c15]Daniel Bryant, Paul J. Krause:
An Implementation of a Lightweight Argumentation Engine for Agent Applications. JELIA 2006: 469-472 - 2005
- [j26]Jef Jacobs, Jan van Moll, Paul J. Krause, Rob J. Kusters
Exploring defect causes in products developed by virtual teams. Inf. Softw. Technol. 47(6): 399-410 (2005) - [c14]Sotiris Moschoyiannis, Michael W. Shields, Paul J. Krause:
Modelling Component Behaviour with Concurrent Automata. FESCA@ETAPS 2005: 199-220 - 2003
- [c13]Jef Jacobs, J. H. van Moll, Paul J. Krause, Rob J. Kusters
Effects of Virtual Development on Product Quality: Exploring Defect Causes. STEP 2003: 6-15 - 2002
- [c12]Jonathan P. Bowen
FORTEST: Formal Methods and Testing. COMPSAC 2002: 91-104
1990 – 1999
- 1999
- [j25]Paul J. Krause:
Learning probabilistic networks. Knowl. Eng. Rev. 13(4): 321-351 (1999) - 1998
- [c11]Paul J. Krause, John Fox, Philip N. Judson, Mukesh Patel
Qualitative risk assessment fulfils a need. Applications of Uncertainty Formalisms 1998: 138-156 - 1997
- [j24]Christian A. G. Tonnelier, John Fox, Philip N. Judson, Paul J. Krause, Nicola Pappas, Mukesh Patel
Representation of Chemical Structures in Knowledge-Based Systems: The StAR System. J. Chem. Inf. Comput. Sci. 37(1): 117-123 (1997) - [j23]Paul J. Krause, Jane Hesketh, Dave Robertson:
Reliable and accountable system design. Knowl. Eng. Rev. 12(3): 289-305 (1997) - 1996
- [j22]Philip N. Judson, John Fox, Paul J. Krause:
Using New Reasoning Technology in Chemical Information Systems. J. Chem. Inf. Comput. Sci. 36(4): 621-624 (1996) - [c10]Subrata Kumar Das, John Fox, Paul J. Krause:
A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations. FAPR 1996: 58-72 - 1995
- [j21]Paul J. Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox:
A Logic of Argumentation for Reasoning under Uncertainty. Comput. Intell. 11: 113-131 (1995) - [j20]John Fox, Paul J. Krause:
Knowledge representation and reasoning: The view from cognitive psychology. Knowl. Eng. Rev. 10(1): 1 (1995) - [j19]Paul J. Krause:
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. Knowl. Eng. Rev. 10(1): 101 (1995) - [j18]Paul J. Krause:
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. Knowl. Eng. Rev. 10(1): 101-102 (1995) - [j17]Paul J. Krause:
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. Knowl. Eng. Rev. 10(1): 105-106 (1995) - [j16]Paul J. Krause:
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. Knowl. Eng. Rev. 10(2): 213-214 (1995) - [j15]Paul J. Krause:
First steps in modal logic by Sally Popkorn, Cambridge University Press, 1994, pp 314, £25.00, ISBN 0-521-46482-X. Knowl. Eng. Rev. 10(2): 220-221 (1995) - [j14]Paul J. Krause:
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. Knowl. Eng. Rev. 10(4): 411 (1995) - [c9]Paul J. Krause, John Fox, Philip N. Judson:
Is There a Role for Qualitative Risk Assessment? UAI 1995: 386-393 - 1994
- [j13]Dominic A. Clark, Paul J. Krause:
The Nature of Uncertainty. Intell. Tutoring Media 5(1): 20-25 (1994) - [j12]Paul J. Krause, Patrick J. Byers, Saki Hajnal:
Formal specification and decision support. Decis. Support Syst. 12(3): 189-197 (1994) - [j11]Paul J. Krause:
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. Knowl. Eng. Rev. 9(1): 84-86 (1994) - [j10]Paul J. Krause:
Belief revision edited by Peter Gärdenfors, Cambridge University Press, 1992, pp 277, £22.95, ISBN 0-521-41260-9. Knowl. Eng. Rev. 9(2): 207-208 (1994) - 1993
- [b1]Paul J. Krause, Dominic A. Clark:
Representing uncertain knowledge - an artificial intelligence approach. Intellect Books 1993, ISBN 978-1-871516-17-3, pp. I-IX, 1-277 - [j9]Paul J. Krause, Andrzej J. Glowinski:
Formal specifications and medical decision support systems. Appl. Artif. Intell. 7(3): 237-256 (1993) - [j8]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): 27-46 (1993) - [j7]Paul J. Krause, John Fox, Mike O'Neil, Andrzej J. Glowinski:
Can we Formally Specify a Medical Decision Support System? IEEE Expert 8(3): 56-61 (1993) - [j6]Paul J. Krause:
Nonmonotonic reasoning: logical foundations of commonsense by Brewka Gerhard, Cambridge University Press, Combridge, 1992, £19.50. Knowl. Eng. Rev. 8(2): 173-175 (1993) - [c8]Morten Elvang-Gøransson, Paul J. Krause, John Fox:
Acceptability of arguments as 'logical uncertainty'. ECSQARU 1993: 85-90 - [c7]Morten Elvang-Gøransson, Paul J. Krause, John Fox:
Dialectic reasoning with inconsistent information. UAI 1993: 114-121 - [c6]John Fox, Paul J. Krause, Morten Elvang-Gøransson:
Argumentation as a General Framework for Uncertain Reasoning. UAI 1993: 428-434 - 1992
- [j5]John Fox, Paul J. Krause:
Qualitative frameworks for decision support: lessons from medicine. Knowl. Eng. Rev. 7(1): 19-33 (1992) - [j4]Paul J. Krause:
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. Knowl. Eng. Rev. 7(1): 81-83 (1992) - [j3]Paul J. Krause:
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. Knowl. Eng. Rev. 7(3): 271-272 (1992) - [j2]Paul J. Krause:
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. Knowl. Eng. Rev. 7(3): 272-275 (1992) - [c5]John Fox, Paul J. Krause, Simon Ambler:
Arguments, Contradicitions and Practical Reasoning. ECAI 1992: 623-627 - [c4]Paul J. Krause, Simon Ambler, John Fox:
The Development of a "Logic of Argumentation". IPMU 1992: 109-118 - 1991
- [j1]Paul J. Krause:
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. Knowl. Eng. Rev. 6(3): 239-242 (1991) - [c3]John Fox, Paul J. Krause, Mirko Dohnal
An Extended Logic Language For Representing Belief. ECSQARU 1991: 63-69 - [c2]John Fox, Paul J. Krause:
Decision Theory and Autonomous Systems. UAI 1991: 103-110
1980 – 1989
- 1989
- [c1]A. J. J. Dick, Paul J. Krause, J. Cozens:
Computer Aided Transformation of Z into Prolog. Z User Workshop 1989: 71-85
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: