| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paul E. Dunne |
Irrationality in Persuasive Argumentation.  |
Logic Programs, Norms and Action  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne |
On Constructing Minimal Formulae. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael Wooldridge |
Weighted argument systems: Basic definitions, algorithms, and complexity results. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Baroni, Paul E. Dunne, Massimiliano Giacomin |
On the resolution-based family of abstract argumentation semantics and its grounded instance. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Baroni, Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin |
Computing with Infinite Argumentation Frameworks: The Case of AFRAs. |
TAFA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Dvorák, Paul E. Dunne, Stefan Woltran |
Parametric Properties of Ideal Semantics. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Brewka, Paul E. Dunne, Stefan Woltran |
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Paul E. Dunne, Sarit Kraus, Efrat Manisterski, Michael Wooldridge |
Solving coalitional resource games. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Sanjay Modgil, Trevor J. M. Bench-Capon |
Computation in Extended Argumentation Frameworks. |
ECAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pietro Baroni, Paul E. Dunne, Massimiliano Giacomin |
On Extension Counting Problems in Argumentation Frameworks. |
COMMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne |
Tractability in Value-based Argumentation. |
COMMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Diego C. Martínez, Alejandro Javier García, Guillermo Ricardo Simari |
Computation with varied-strength attacks in abstract argumentation frameworks. |
COMMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahd Saud Nawwab, Paul E. Dunne, Trevor J. M. Bench-Capon |
Exploring the Role of Emotions in Rational Decision Making. |
COMMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne |
The computational complexity of ideal semantics. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Baroni, Paul E. Dunne, Massimiliano Giacomin |
Computational Properties of Resolution-based Grounded Semantics. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Fahd Saud Nawwab, Trevor J. M. Bench-Capon, Paul E. Dunne |
Emotions in Rational Decision Making. |
ArgMAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael Wooldridge |
Inconsistency tolerance in weighted argument systems. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
handling inconsistency, complexity, argumentation |
| 1 | Paul E. Dunne, Yann Chevaleyre |
The complexity of deciding reachability properties of distributed negotiation schemes. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Martin Caminada |
Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Wiebe van der Hoek, Sarit Kraus, Michael Wooldridge |
Cooperative Boolean games. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor J. M. Bench-Capon, Sylvie Doutre, Paul E. Dunne |
Asking the right question: forcing commitment in examination dialogues. |
COMMA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Fahd Saud Nawwab, Trevor J. M. Bench-Capon, Paul E. Dunne |
A Methodology for Action-Selection using Value-Based Argumentation. |
COMMA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paul E. Dunne |
The Computational Complexity of Ideal Semantics I: Abstract Argumentation Frameworks. |
COMMA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paul E. Dunne, Wiebe van der Hoek, Michael Wooldridge |
A logical characterisation of qualitative coalitional games. |
Journal of Applied Non-Classical Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Trevor J. M. Bench-Capon, Paul E. Dunne |
Argumentation in artificial intelligence. |
Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor J. M. Bench-Capon, Sylvie Doutre, Paul E. Dunne |
Audiences in argumentation frameworks. |
Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne |
Computational properties of argument systems satisfying graph-theoretic constraints. |
Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek |
Logic for Automated Mechanism Design - A Progress Report. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yann 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) |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Wooldridge, Paul E. Dunne |
On the computational complexity of coalitional resource games. |
Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wooldridge, Paul E. Dunne, Simon Parsons |
On the Complexity of Linking Deductive and Abstract Argument Systems. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Paul E. Dunne |
Suspicion of Hidden Agenda in Persuasive Argument. |
COMMA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Paul E. Dunne |
Complexity Properties of Restricted Abstract Argument Systems. |
COMMA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Paul E. Dunne, Trevor J. M. Bench-Capon (eds.) |
Computational Models of Argument: Proceedings of COMMA 2006, September 11-12, 2006, Liverpool, UK |
COMMA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yann Chevaleyre, Paul E. Dunne, Ulle Endriss, Jérôme Lang, Nicolas Maudet, Juan A. Rodríguez-Aguilar |
Multiagent resource allocation. |
Knowledge Eng. Review |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne |
A Value-based Argument Model of Convention Degradation. |
Artif. Intell. Law |
2005 |
DBLP DOI BibTeX RDF |
social conventions, value-based argument |
| 1 | Trevor J. M. Bench-Capon, Paul E. Dunne |
Argumentation in AI and Law: Editors' Introduction. |
Artif. Intell. Law |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne |
Extremal Behaviour in Multiagent Contract Negotiation. |
J. Artif. Intell. Res. (JAIR) |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Michael Wooldridge, Michael Laurence |
The complexity of contract negotiation. |
Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wooldridge, Paul E. Dunne |
The complexity of agent design problems: Determinism and history dependence. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
AMS subject classification 03D15 (complexity), 68T35 (artificial intelligence) |
| 1 | Sylvie Doutre, Trevor J. M. Bench-Capon, Paul E. Dunne |
Explaining preferences with argument positions. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Paul E. Dunne, Sylvie Doutre, Trevor J. M. Bench-Capon |
Discovering Inconsistency through Examination Dialogues. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sylvie Doutre, Trevor J. M. Bench-Capon, Paul E. Dunne |
Determining Preferences Through Argumentation. |
AI*IA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne |
Multiagent Resource Allocation in the Presence of Externalities. |
CEEMAS |
2005 |
DBLP DOI BibTeX RDF |
Computational Complexity, Multiagent Resource allocation |
| 1 | Michael Wooldridge, Paul E. Dunne |
On the computational complexity of qualitative coalitional games. |
Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne |
Context Dependence in Multiagent Resource Allocation. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Paul E. Dunne, Michael Laurence, Michael Wooldridge |
Tractability Results for Automatic Contracting. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Paul E. Dunne, Trevor J. M. Bench-Capon |
Complexity in Value-Based Argument Systems. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Wiebe van der Hoek |
Representation and Complexity in Boolean Games. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Trevor J. M. Bench-Capon |
Identifying Audience Preferences in Legal and Social Domains. |
DEXA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Trevor J. M. Bench-Capon |
Two party immediate response disputes: Properties and efficiency. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Peter McBurney |
Concepts of Optimal Utterance in Dialogue: Selection and Complexity. |
Workshop on Agent Communication Languages |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Peter McBurney |
Optimal utterances in dialogue protocols. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
argumentation and persuasion, dialogue protocols, locution selection, computational complexity, agent communication languages |
| 1 | Paul E. Dunne |
Prevarication in Dispute Protocols. |
ICAIL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Paul E. Dunne, Paul H. Leng, Gerald F. Nwana |
Demand-driven logic simulation using a network of loosely coupled processors. |
Journal of Systems Architecture |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne |
On Concise Encodings of Preferred Extensions |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Paul E. Dunne, Trevor J. M. Bench-Capon |
Coherence in finite argument systems. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Michael Wooldridge, Michael Laurence |
The computational complexity of boolean and stochastic agent design problems. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
agent design problem, computational complexity, task specifications |
| 1 | Trevor J. M. Bench-Capon, Paul E. Dunne |
No agent is an island: a framework for the study of inter-agent behavior. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
multi-agent systems, interaction, conflict |
| 1 | Paul E. Dunne |
On concise encodings of preferred extensions. |
NMR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Paul 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. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | William Duckworth, Paul E. Dunne, Alan Gibbons, Michele Zito |
Leafy spanning trees in hypercubes. |
Appl. Math. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wooldridge, Paul E. Dunne |
The Computational Complexity of Agent Verification. |
ATAL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Alan Gibbons, Michele Zito |
Complexity-theoretic models of phase transitions in search problems. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Alan Gibbons |
J.UCS Special Issue on BCTCS. |
J. UCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael Wooldridge, Paul E. Dunne |
Optimistic and Disjunctive Agent Design Problems. |
ATAL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Paul H. Leng |
The Average Case Performance of an Algorithm for Demand-Driven Evaluation of Boolean Formulae. |
J. UCS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Paul E. Dunne, Michele Zito |
An Inproved Upper Bound on the Non-3-Colourability Threshold. |
Inf. Process. Lett. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Trevor J. M. Bench-Capon |
The Maximum Length of Prime Implicates for Instances of 3-SAT. |
Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Frans Coenen, Paul E. Dunne |
The Verification and Validation of Rulebases Using a Binary Encoded Incidence Matrix Technique. |
EUROVAV |
1997 |
DBLP BibTeX RDF |
|
| 1 | Martyn Amos, Alan Gibbons, Paul E. Dunne |
The Complexity and Viability of DNA Computations. |
BCEC |
1997 |
DBLP BibTeX RDF |
|
| 1 | Paul E. Dunne |
Ceilings of Monotone Boolean Functions. |
J. UCS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Paul E. Dunne, Chris J. Gittings, Paul H. Leng |
Multiprocessor Simulation Strategies with Optimal Speed-up. |
Inf. Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. S. Dunne, Paul H. Leng, Gerald F. Nwana |
On the Complexity of Boolean Functions Computed by Lazy Oracles. |
IEEE Trans. Computers |
1995 |
DBLP DOI BibTeX RDF |
Boolean function complexity, demand-driven simulation, Circuit simulation, lazy evaluation, symmetric Boolean functions |
| 1 | Colin C. Charlton, Paul E. Dunne, Paul H. Leng, Janet Little, M. R. Woodward |
Distributing quality-controlled software via the internet. |
Microprocessing and Microprogramming |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Chris J. J. Gittings, Paul H. Leng |
Sequential and parallel strategies for the demand-driven simulation of logic circuits. |
Microprocessing and Microprogramming |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin C. Charlton, Paul E. Dunne, K. Halewood, Paul H. Leng |
An Algorithm to Generate Random Large Combinational Circuits. |
Comput. J. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor J. M. Bench-Capon, Paul E. S. Dunne, Geof Staniford |
Linearisation Schemata for Hypertext. |
DEXA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Geof Staniford, Trevor J. M. Bench-Capon, Paul E. S. Dunne |
Cooperative Dialogues with the Support of Autonomous Agents. |
CoopIS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Trevor J. M. Bench-Capon, Paul E. S. Dunne, Geof Staniford |
Linearising Hypertext through Target Graph Specifications. |
DEXA |
1992 |
DBLP BibTeX RDF |
|
| 1 | Paul E. S. Dunne |
Comment on Kochol's Paper ``Efficient Monotone Circuits for Threshold Functions''. |
Inf. Process. Lett. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor J. M. Bench-Capon, Paul E. S. Dunne |
An Approach to the Integration of Legal Support Systems. |
DEXA |
1990 |
DBLP BibTeX RDF |
|
| 1 | Paul E. S. Dunne |
On Monotone Simulations of Nonmonotone Networks. |
Theor. Comput. Sci. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor J. M. Bench-Capon, Paul E. S. Dunne |
Some Computational Properties of a Model for Electronic Documents. |
Electronic Publishing |
1988 |
DBLP BibTeX RDF |
|
| 1 | Paul E. S. Dunne |
A Result on k -Valent Graphs and Its Application to a Graph Embedding Problem. |
Acta Inf. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. S. Dunne |
The Complexity of Central Slice Functions. |
Theor. Comput. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne |
Lower bounds on the complexity of 1-time only branching programs. |
FCT |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. S. Dunne |
A 2.5n Lower Bound on the Monotone Network Complexity of T_3^n. |
Acta Inf. |
1985 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")