Paul E. Dunne Home Page Coauthor index DBLP Vis pubzone.org

Paul E. S. Dunne

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael Wooldridge: Inconsistency tolerance in weighted argument systems. AAMAS (2) 2009: 851-858
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPietro Baroni, Paul E. Dunne, Massimiliano Giacomin: Computational Properties of Resolution-based Grounded Semantics. IJCAI 2009: 683-689
2008
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Wiebe van der Hoek, Sarit Kraus, Michael Wooldridge: Cooperative Boolean games. AAMAS (2) 2008: 1015-1022
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne: The Computational Complexity of Ideal Semantics I: Abstract Argumentation Frameworks. COMMA 2008: 147-158
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFahd Saud Nawwab, Trevor J. M. Bench-Capon, Paul E. Dunne: A Methodology for Action-Selection using Value-Based Argumentation. COMMA 2008: 264-275
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor J. M. Bench-Capon, Sylvie Doutre, Paul E. Dunne: Asking the right question: forcing commitment in examination dialogues. COMMA 2008: 49-60
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Martin Caminada: Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks. JELIA 2008: 153-165
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Yann Chevaleyre: The complexity of deciding reachability properties of distributed negotiation schemes. Theor. Comput. Sci. 396(1-3): 113-144 (2008)
2007
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek: Logic for Automated Mechanism Design - A Progress Report. AAAI 2007: 9-
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor J. M. Bench-Capon, Sylvie Doutre, Paul E. Dunne: Audiences in argumentation frameworks. Artif. Intell. 171(1): 42-71 (2007)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor J. M. Bench-Capon, Paul E. Dunne: Argumentation in artificial intelligence. Artif. Intell. 171(10-15): 619-641 (2007)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne: Computational properties of argument systems satisfying graph-theoretic constraints. Artif. Intell. 171(10-15): 701-729 (2007)
2006
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Trevor J. M. Bench-Capon: Computational Models of Argument: Proceedings of COMMA 2006, September 11-12, 2006, Liverpool, UK IOS Press 2006
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wooldridge, Paul E. Dunne, Simon Parsons: On the Complexity of Linking Deductive and Abstract Argument Systems. AAAI 2006
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne: Suspicion of Hidden Agenda in Persuasive Argument. COMMA 2006: 329-340
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne: Complexity Properties of Restricted Abstract Argument Systems. COMMA 2006: 85-96
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wooldridge, Paul E. Dunne: On the computational complexity of coalitional resource games. Artif. Intell. 170(10): 835-871 (2006)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYann Chevaleyre, Paul E. Dunne, Ulle Endriss, Jérôme Lang, Michel Lemaître, Nicolas Maudet, Julian A. Padget, Steve Phelps, Juan A. Rodríguez-Aguilar, Paulo Sousa: Issues in Multiagent Resource Allocation. Informatica (Slovenia) 30(1): 3-31 (2006)
2005
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvie Doutre, Trevor J. M. Bench-Capon, Paul E. Dunne: Determining Preferences Through Argumentation. AI*IA 2005: 98-109
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne: Multiagent Resource Allocation in the Presence of Externalities. CEEMAS 2005: 408-417
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvie Doutre, Trevor J. M. Bench-Capon, Paul E. Dunne: Explaining preferences with argument positions. IJCAI 2005: 1560-1561
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Sylvie Doutre, Trevor J. M. Bench-Capon: Discovering Inconsistency through Examination Dialogues. IJCAI 2005: 1680-1681
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wooldridge, Paul E. Dunne: The complexity of agent design problems: Determinism and history dependence. Ann. Math. Artif. Intell. 45(3-4): 343-371 (2005)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Michael Wooldridge, Michael Laurence: The complexity of contract negotiation. Artif. Intell. 164(1-2): 23-46 (2005)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor J. M. Bench-Capon, Paul E. Dunne: Argumentation in AI and Law: Editors' Introduction. Artif. Intell. Law 13(1): 1-8 (2005)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne: A Value-based Argument Model of Convention Degradation. Artif. Intell. Law 13(1): 153-188 (2005)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne: Extremal Behaviour in Multiagent Contract Negotiation. J. Artif. Intell. Res. (JAIR) 23: 41-78 (2005)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYann Chevaleyre, Paul E. Dunne, Ulle Endriss, Jérôme Lang, Nicolas Maudet, Juan A. Rodríguez-Aguilar: Multiagent resource allocation. Knowledge Eng. Review 20(2): 143-149 (2005)
2004
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Trevor J. M. Bench-Capon: Identifying Audience Preferences in Legal and Social Domains. DEXA 2004: 518-527
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne: Context Dependence in Multiagent Resource Allocation. ECAI 2004: 1001-1002
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Michael Laurence, Michael Wooldridge: Tractability Results for Automatic Contracting. ECAI 2004: 1003-1004
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Wiebe van der Hoek: Representation and Complexity in Boolean Games. JELIA 2004: 347-359
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Trevor J. M. Bench-Capon: Complexity in Value-Based Argument Systems. JELIA 2004: 360-371
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wooldridge, Paul E. Dunne: On the computational complexity of qualitative coalitional games. Artif. Intell. 158(1): 27-73 (2004)
2003
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Peter McBurney: Optimal utterances in dialogue protocols. AAMAS 2003: 608-615
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne: Prevarication in Dispute Protocols. ICAIL 2003: 12-21
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Peter McBurney: Concepts of Optimal Utterance in Dialogue: Selection and Complexity. Workshop on Agent Communication Languages 2003: 310-328
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Trevor J. M. Bench-Capon: Two party immediate response disputes: Properties and efficiency. Artif. Intell. 149(2): 221-250 (2003)
2002
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor J. M. Bench-Capon, Paul E. Dunne: No agent is an island: a framework for the study of inter-agent behavior. AAMAS 2002: 690-691
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Michael Wooldridge, Michael Laurence: The computational complexity of boolean and stochastic agent design problems. AAMAS 2002: 976-983
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne: On concise encodings of preferred extensions. NMR 2002: 392-398
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Trevor J. M. Bench-Capon: Coherence in finite argument systems. Artif. Intell. 141(1/2): 187-203 (2002)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne: On Concise Encodings of Preferred Extensions CoRR cs.AI/0207024: (2002)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Paul H. Leng, Gerald F. Nwana: Demand-driven logic simulation using a network of loosely coupled processors. Journal of Systems Architecture 47(14-15): 1117-1128 (2002)
2001
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wooldridge, Paul E. Dunne: The Computational Complexity of Agent Verification. ATAL 2001: 115-127
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam Duckworth, Paul E. Dunne, Alan Gibbons, Michele Zito: Leafy spanning trees in hypercubes. Appl. Math. Lett. 14(7): 801-804 (2001)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Trevor J. M. Bench-Capon: A sharp threshold for the phase transition of a restricted Satisfiability problem for Horn clauses. J. Log. Algebr. Program. 47(1): 1-14 (2001)
2000
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wooldridge, Paul E. Dunne: Optimistic and Disjunctive Agent Design Problems. ATAL 2000: 1-14
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Alan Gibbons: J.UCS Special Issue on BCTCS. J. UCS 6(4): 405-406 (2000)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Alan Gibbons, Michele Zito: Complexity-theoretic models of phase transitions in search problems. Theor. Comput. Sci. 249(2): 243-263 (2000)
1999
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Paul H. Leng: The Average Case Performance of an Algorithm for Demand-Driven Evaluation of Boolean Formulae. J. UCS 5(5): 288-306 (1999)
1998
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Michele Zito: An Inproved Upper Bound on the Non-3-Colourability Threshold. Inf. Process. Lett. 65(1): 17-23 (1998)
1997
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartyn Amos, Alan Gibbons, Paul E. Dunne: The Complexity and Viability of DNA Computations. BCEC 1997: 165-173
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrans Coenen, Paul E. Dunne: The Verification and Validation of Rulebases Using a Binary Encoded Incidence Matrix Technique. EUROVAV 1997: 43-54
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Trevor J. M. Bench-Capon: The Maximum Length of Prime Implicates for Instances of 3-SAT. Artif. Intell. 92(1-2): 317-329 (1997)
1996
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne: Ceilings of Monotone Boolean Functions. J. UCS 2(7): 533-546 (1996)
1995
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. S. Dunne, Paul H. Leng, Gerald F. Nwana: On the Complexity of Boolean Functions Computed by Lazy Oracles. IEEE Trans. Computers 44(4): 495-502 (1995)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Chris J. Gittings, Paul H. Leng: Multiprocessor Simulation Strategies with Optimal Speed-up. Inf. Process. Lett. 54(1): 23-33 (1995)
1994
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLColin C. Charlton, Paul E. Dunne, Paul H. Leng, Janet Little, M. R. Woodward: Distributing quality-controlled software via the internet. Microprocessing and Microprogramming 40(10-12): 861-864 (1994)
1993
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeof Staniford, Trevor J. M. Bench-Capon, Paul E. S. Dunne: Cooperative Dialogues with the Support of Autonomous Agents. CoopIS 1993: 144-151
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor J. M. Bench-Capon, Paul E. S. Dunne, Geof Staniford: Linearisation Schemata for Hypertext. DEXA 1993: 697-708
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLColin C. Charlton, Paul E. Dunne, K. Halewood, Paul H. Leng: An Algorithm to Generate Random Large Combinational Circuits. Comput. J. 36(2): 200-206 (1993)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne, Chris J. J. Gittings, Paul H. Leng: Sequential and parallel strategies for the demand-driven simulation of logic circuits. Microprocessing and Microprogramming 38(1-5): 519-525 (1993)
1992
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor J. M. Bench-Capon, Paul E. S. Dunne, Geof Staniford: Linearising Hypertext through Target Graph Specifications. DEXA 1992: 173-178
1990
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor J. M. Bench-Capon, Paul E. S. Dunne: An Approach to the Integration of Legal Support Systems. DEXA 1990: 105-111
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. S. Dunne: Comment on Kochol's Paper ``Efficient Monotone Circuits for Threshold Functions''. Inf. Process. Lett. 34(5): 221-222 (1990)
1989
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. S. Dunne: On Monotone Simulations of Nonmonotone Networks. Theor. Comput. Sci. 66(1): 15-25 (1989)
1988
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor J. M. Bench-Capon, Paul E. S. Dunne: Some Computational Properties of a Model for Electronic Documents. Electronic Publishing 2(4): 231-256 (1988)
1987
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. S. Dunne: A Result on k -Valent Graphs and Its Application to a Graph Embedding Problem. Acta Inf. 24(4): 447-459 (1987)
1986
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. S. Dunne: The Complexity of Central Slice Functions. Theor. Comput. Sci. 44: 247-257 (1986)
1985
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. Dunne: Lower bounds on the complexity of 1-time only branching programs. FCT 1985: 90-99
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul E. S. Dunne: A 2.5n Lower Bound on the Monotone Network Complexity of T_3^n. Acta Inf. 22(2): 229-240 (1985)

Coauthor Index

1Thomas Ågotnes [64]
2Martyn Amos [20]
3Pietro Baroni [71]
4Trevor J. M. Bench-Capon [5] [8] [9] [12] [13] [18] [26] [31] [34] [35] [40] [44] [48] [51] [52] [54] [60] [62] [63] [67] [68]
5Martin Caminada [66]
6Colin C. Charlton [11] [14]
7Yann Chevaleyre [45] [55] [65]
8Frans Coenen [19]
9Sylvie Doutre [51] [52] [54] [63] [67]
10William Duckworth [27]
11Ulrich Endriss (Ulle Endriss) [45] [55]
12Massimiliano Giacomin [71]
13Alan Gibbons [20] [23] [24] [27]
14Chris J. Gittings [15]
15Chris J. J. Gittings [10]
16K. Halewood [11]
17Wiebe van der Hoek [41] [64] [70]
18Anthony Hunter [72]
19Sarit Kraus [70]
20Jérôme Lang [45] [55]
21Michael Laurence [33] [42] [49]
22Michel Lemaître [55]
23Paul H. Leng [10] [11] [14] [15] [16] [22] [29]
24Janet Little [14]
25Nicolas Maudet [45] [55]
26Peter McBurney [36] [38] [72]
27Fahd Saud Nawwab [68]
28Gerald F. Nwana [16] [29]
29Julian A. Padget [55]
30Simon Parsons [59] [72]
31Steve Phelps [55]
32Juan A. Rodríguez-Aguilar [45] [55]
33Paulo Sousa (Paulo Jorge Paiva de Sousa) [55]
34Geof Staniford [9] [12] [13]
35M. R. Woodward [14]
36Michael Wooldridge (Michael J. Wooldridge) [25] [28] [33] [39] [42] [49] [50] [56] [59] [64] [70] [72]
37Michele Zito [21] [23] [27]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)