Paul J. Krause

56 papers A 6B 4C 5Journal 23Unranked 17

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	A tutorial on data mining for Bayesian networks, with a specific focus on IoT for agriculture. Internet Things Paul J. Krause, Vivek Bokinala
2015	—	`conf`	Service Choreography, SBVR, and Time. FOCLASA Nurulhuda A. Manaf, Sotiris Moschoyiannis, Paul J. Krause
2015	J	`jnl`	True Concurrency in Long-running Transactions for Digital Ecosystems. Fundam. Informaticae Sotiris Moschoyiannis, Paul J. Krause
2013	J	`jnl`	Argumentation as a General Framework for Uncertain Reasoning CoRR John Fox, Paul J. Krause, Morten Elvang-Gøransson
2013	J	`jnl`	Dialectic Reasoning with Inconsistent Information CoRR Morten Elvang-Gøransson, Paul J. Krause, John Fox
2013	J	`jnl`	Is There a Role for Qualitative Risk Assessment? CoRR Paul J. Krause, John Fox, Philip N. Judson
2013	J	`jnl`	Symbolic Decision Theory and Autonomous Systems CoRR John Fox, Paul J. Krause
2012	—	`conf`	An animation tool for exploring transactions in a DE. DEST Sotiris Moschoyiannis, Paul J. Krause, Pavlos Georgiou
2012	—	`conf`	Tiger Nation: Empowering citizen scientists. DEST Aaron D. Mason, Georgios Michalakidis, Paul J. Krause
2011	—	`conf`	An SBVR Editor with Highlighting and Auto-completion. RuleML America (2) Alexandros Marinos, Pagan Gazzard, Paul J. Krause
2011	J	`jnl`	Towards a RESTful infrastructure for Digital Ecosystems. Int. J. Electron. Bus. Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause
2010	—	`conf`	An SBVR to SQL Compiler. RuleML Challenge Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause
2010	—	`conf`	Flypeer: A JXTA Implementation of DE Transactions. OPAALS Amir Reza Razavi, Paulo R. C. Siqueira, Fabio K. Serra, Paul J. Krause
2010	—	`conf`	Generating SQL Queries from SBVR Rules. RuleML Sotiris Moschoyiannis, Alexandros Marinos, Paul J. Krause
2010	—	`conf`	Towards the Web of Models: A Rule-Driven RESTful Architecture for Distributed Systems. RuleML Alexandros Marinos, Paul J. Krause
2009	—	`conf`	An SBVR Framework for RESTful Web Applications. RuleML Alexandros Marinos, Paul J. Krause
2009	J	`jnl`	An open digital environment to support business ecosystems. Peer-to-Peer Netw. Appl. Amir Reza Razavi, Sotiris Moschoyiannis, Paul J. Krause
2009	B	`conf`	RESTful Transactions Supported by the Isolation Theorems. ICWE Amir Reza Razavi, Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause
2009	A	`conf`	RETRO: A Consistent and Recoverable RESTful Transaction Model. ICWS Alexandros Marinos, Amir Reza Razavi, Sotiris Moschoyiannis, Paul J. Krause
2009	C	`conf`	Towards a RESTful infrastructure for digital ecosystems. MEDES Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause
2009	J	`jnl`	Using formal specifications to support testing. ACM Comput. Surv. 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
2008	J	`jnl`	A review of current defeasible reasoning implementations. Knowl. Eng. Rev. Daniel Bryant, Paul J. Krause
2008	—	`conf`	Transaction Scripts: Making Implicit Scenarios Explicit. FESCA@ETAPS Sotiris Moschoyiannis, Amir Reza Razavi, Paul J. Krause
2007	—	`conf`	A True-Concurrent Interpretation of Behavioural Scenarios. FESCA@ETAPS Sotiris Moschoyiannis, Paul J. Krause, Michael W. Shields
2007	—	`conf`	Concurrency Control and Recovery Management for Open e-Business Transactions. CPA Amir Reza Razavi, Sotiris Moschoyiannis, Paul J. Krause
2006	B	`conf`	A Tool to Facilitate Agent Deliberation. JELIA Daniel Bryant, Paul J. Krause, Sotiris Moschoyiannis
2006	B	`conf`	An Implementation of a Lightweight Argumentation Engine for Agent Applications. JELIA Daniel Bryant, Paul J. Krause
2006	C	`conf`	Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications. COMMA Daniel Bryant, Paul J. Krause, Gerard Vreeswijk
2005	J	`jnl`	Exploring defect causes in products developed by virtual teams. Inf. Softw. Technol. Jef Jacobs, Jan van Moll, Paul J. Krause, Rob J. Kusters, Jos J. M. Trienekens, Aarnout Brombacher
2005	—	`conf`	Modelling Component Behaviour with Concurrent Automata. FESCA@ETAPS Sotiris Moschoyiannis, Michael W. Shields, Paul J. Krause
2003	—	`conf`	Effects of Virtual Development on Product Quality: Exploring Defect Causes. STEP Jef Jacobs, J. H. van Moll, Paul J. Krause, Rob J. Kusters, Jos J. M. Trienekens
2002	B	`conf`	FORTEST: Formal Methods and Testing. COMPSAC Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause
1999	J	`jnl`	Learning probabilistic networks. Knowl. Eng. Rev. Paul J. Krause
1998	—	`conf`	Qualitative risk assessment fulfils a need. Applications of Uncertainty Formalisms Paul J. Krause, John Fox, Philip N. Judson, Mukesh Patel
1997	J	`jnl`	Reliable and accountable system design. Knowl. Eng. Rev. Paul J. Krause, Jane Hesketh, Dave Robertson
1997	J	`jnl`	Representation of Chemical Structures in Knowledge-Based Systems: The StAR System. J. Chem. Inf. Comput. Sci. Christian A. G. Tonnelier, John Fox, Philip N. Judson, Paul J. Krause, Nicola Pappas, Mukesh Patel
1996	—	`conf`	A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations. FAPR Subrata Kumar Das, John Fox, Paul J. Krause
1996	J	`jnl`	Using New Reasoning Technology in Chemical Information Systems. J. Chem. Inf. Comput. Sci. Philip N. Judson, John Fox, Paul J. Krause
1995	J	`jnl`	A Logic of Argumentation for Reasoning under Uncertainty. Comput. Intell. Paul J. Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox
1995	A	`conf`	Is There a Role for Qualitative Risk Assessment? UAI Paul J. Krause, John Fox, Philip N. Judson
1995	J	`jnl`	Knowledge representation and reasoning: The view from cognitive psychology. Knowl. Eng. Rev. John Fox, Paul J. Krause
1994	J	`jnl`	Formal specification and decision support. Decis. Support Syst. Paul J. Krause, Patrick J. Byers, Saki Hajnal
1994	J	`jnl`	The Nature of Uncertainty. Intell. Tutoring Media Dominic A. Clark, Paul J. Krause
1993	C	`conf`	Acceptability of arguments as 'logical uncertainty'. ECSQARU Morten Elvang-Gøransson, Paul J. Krause, John Fox
1993	A	`conf`	Argumentation as a General Framework for Uncertain Reasoning. UAI John Fox, Paul J. Krause, Morten Elvang-Gøransson
1993	J	`jnl`	Can we Formally Specify a Medical Decision Support System? IEEE Expert Paul J. Krause, John Fox, Mike O'Neil, Andrzej J. Glowinski
1993	J	`jnl`	DRUMS: Defeasible Reasoning and Uncertainty Management Systems. AI Commun. 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
1993	A	`conf`	Dialectic reasoning with inconsistent information. UAI Morten Elvang-Gøransson, Paul J. Krause, John Fox
1993	J	`jnl`	Formal specifications and medical decision support systems. Appl. Artif. Intell. Paul J. Krause, Andrzej J. Glowinski
1993	—	`book`	Representing uncertain knowledge - an artificial intelligence approach. Paul J. Krause, Dominic A. Clark
1992	A	`conf`	Arguments, Contradicitions and Practical Reasoning. ECAI John Fox, Paul J. Krause, Simon Ambler
1992	J	`jnl`	Qualitative frameworks for decision support: lessons from medicine. Knowl. Eng. Rev. John Fox, Paul J. Krause
1992	C	`conf`	The Development of a "Logic of Argumentation". IPMU Paul J. Krause, Simon Ambler, John Fox
1991	C	`conf`	An Extended Logic Language For Representing Belief. ECSQARU John Fox, Paul J. Krause, Mirko Dohnal
1991	A	`conf`	Decision Theory and Autonomous Systems. UAI John Fox, Paul J. Krause
1989	—	`conf`	Computer Aided Transformation of Z into Prolog. Z User Workshop A. J. J. Dick, Paul J. Krause, J. Cozens