![]() | ![]() |
Jeremy Pitt
List of publications from the DBLP Bibliography Server - FAQ
2009 | ||
---|---|---|
79 | EE | Alexander Artikis, Marek J. Sergot, Jeremy V. Pitt: Specifying norm-governed computational societies. ACM Trans. Comput. Log. 10(1): (2009) |
2008 | ||
78 | EE | Asimina Vasalou, Adam N. Joinson, Tanja Bänziger, Peter Goldie, Jeremy Pitt: Avatars in social media: Balancing accuracy, playfulness and embodied messages. Int. J. Hum.-Comput. Stud. 66(11): 801-811 (2008) |
77 | EE | Asimina Vasalou, Astrid Hopfensitz, Jeremy V. Pitt: In praise of forgiveness: Ways for repairing trust breakdowns in one-off online interactions. Int. J. Hum.-Comput. Stud. 66(6): 466-480 (2008) |
2007 | ||
76 | EE | Asimina Vasalou, Adam N. Joinson, Jeremy Pitt: Constructing my online self: avatars that increase self-focused attention. CHI 2007: 445-448 |
75 | Sunilkumar Manvi, Mahabaleshwar Kakkasageri, Jeremy Pitt: Information Search and Access in Vehicular Ad-hoc Networks (VANETs): An Agent Based Approach. Communications in Computing 2007: 23-29 | |
74 | EE | Jeremy Pitt, Daniel Ramirez-Cano, Lloyd Kamara, Brendan Neville: Alternative Dispute Resolution in Virtual Organizations. ESAW 2007: 72-89 |
73 | EE | Alexander Artikis, Marek J. Sergot, Jeremy Pitt: An executable specification of a formal argumentation protocol. Artif. Intell. 171(10-15): 776-804 (2007) |
2006 | ||
72 | EE | Alexander Artikis, Lloyd Kamara, Jeremy Pitt: A Norm-Governed Systems Perspective of Ad Hoc Networks. ESAW 2006: 143-160 |
71 | EE | Dimosthenis Kaponis, Jeremy Pitt: Dynamic Specifications in Norm-Governed Open Computational Societies. ESAW 2006: 265-283 |
70 | EE | Daniel Ramirez-Cano, Jeremy Pitt: Follow the Leader: Profiling Agents in an Opinion Formation Model of Dynamic Confidence and Individual Mind-Sets. IAT 2006: 660-667 |
69 | EE | Asimina Vasalou, Jeremy Pitt, Guillaume Piolle: From Theory to Practice: Forgiveness as a Mechanism to Repair Conflicts in CMC. iTrust 2006: 397-411 |
68 | EE | Jeremy Pitt, Lloyd Kamara, Marek J. Sergot, Alexander Artikis: Voting in Multi-Agent Systems. Comput. J. 49(2): 156-170 (2006) |
2005 | ||
67 | EE | Jeremy V. Pitt, Lloyd Kamara, Marek J. Sergot, Alexander Artikis: Formalization of a voting protocol for virtual organizations. AAMAS 2005: 373-380 |
66 | A. Bhusate, Petar Goulev, Lloyd Kamara, Jeremy V. Pitt, T. Regner: Agent-Oriented Context Collection and Customised Service Delivery. CIMCA/IAWTIC 2005: 444-450 | |
65 | EE | Jeremy Pitt, Pallapa Venkataram, Abe Mamdani: QoS Management in MANETs Using Norm-Governed Agent Societies. ESAW 2005: 221-240 |
64 | Jeremy V. Pitt, Lloyd Kamara, Marek J. Sergot, Alexander Artikis: Voting in Online Deliberative Assemblies. ICAIL 2005: 195-204 | |
63 | EE | Lloyd Kamara, Jeremy Pitt, Marek J. Sergot: Towards Norm-Governed Self-Organising Networks. NORMAS 2005: 137-148 |
62 | EE | Giovanni Sartor, Jeremy V. Pitt, Alessandra Villecco: Computer-aided law and advanced technologies. SAC 2005: 280-281 |
61 | EE | Asimina Vasalou, Jeremy Pitt: Reinventing Forgiveness: A Formal Investigation of Moral Facilitation. iTrust 2005: 146-160 |
60 | EE | Jeremy Pitt: The open agent society as a platform for the user-friendly information society. AI Soc. 19(2): 123-158 (2005) |
59 | EE | Jeremy Pitt: The open agent society as a platform for the user-friendly information society. AI Soc. 19(2): 123-158 (2005) |
2004 | ||
58 | Andrea Omicini, Paolo Petta, Jeremy Pitt: Engineering Societies in the Agents World IV, 4th International Workshop, ESAW 2003, London, UK, October 29-31, 2003, Revised Selected and Invited Papers Springer 2004 | |
57 | EE | Daniel Ramirez-Cano, Jeremy Pitt: Emergent Structures of Social Exchange in Socio-cognitive Grids. AP2PC 2004: 74-85 |
56 | EE | Alexander Artikis, Lloyd Kamara, Jeremy Pitt, Marek J. Sergot: A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks. DALT 2004: 221-238 |
55 | EE | Konstantinos Prouskas, Jeremy V. Pitt: A real-time architecture for time-aware agents. IEEE Transactions on Systems, Man, and Cybernetics, Part B 34(3): 1553-1568 (2004) |
2003 | ||
54 | EE | Frank Guerin, Jeremy Pitt: Verification and Compliance Testing. Communication in Multiagent Systems 2003: 98-112 |
53 | EE | Brendan Neville, Jeremy Pitt: A Computational Framework for Social Agents in Agent Mediated E-commerce. ESAW 2003: 376-391 |
52 | Alexander Artikis, Marek J. Sergot, Jeremy Pitt: An Executable Specification of an Argumentation Protocol. ICAIL 2003: 1-11 | |
51 | Jeremy Pitt: Constitutive Rules for Agent Communication Languages. IJCAI 2003: 691-698 | |
50 | EE | Makoto Amamiya, Keith L. Clark, Tadashige Iwao, Frank G. McCabe, Makoto Okada, Jeremy Pitt: Individual Digital Rights Management in Multi-agent Information Trading Societies. MAMUS 2003: 154-173 |
49 | EE | Mark Witkowski, Brendan Neville, Jeremy Pitt: Agent mediated retailing in the connected local community. Interacting with Computers 15(1): 5-32 (2003) |
2002 | ||
48 | EE | Alexander Artikis, Jeremy Pitt, Marek J. Sergot: Animated specifications of computational societies. AAMAS 2002: 1053-1061 |
47 | EE | Frank Guerin, Jeremy Pitt: Proving properties of open agent systems. AAMAS 2002: 557-558 |
46 | EE | Konstantinos Prouskas, Jeremy Pitt: Towards a real-time architecture for time-aware agents. AAMAS 2002: 92-93 |
45 | EE | Frank Guerin, Jeremy Pitt: Guaranteeing Properties for E-commerce Systems. AMEC 2002: 253-272 |
44 | EE | Alexander Artikis, Marek J. Sergot, Jeremy Pitt: Specifying Electronic Societies with the Causal Calculator. AOSE 2002: 1-15 |
43 | EE | Konstantinos Prouskas, Jeremy Pitt: Co-ordinating Heterogeneous Interactions in Systems Composed of Active Human and Agent Societies. ESAW 2002: 199-212 |
42 | EE | Lloyd Kamara, Alexander Artikis, Brendan Neville, Jeremy Pitt: Simulating Computational Societies. ESAW 2002: 53-67 |
41 | EE | Aneurin M. Easwaran, Jeremy Pitt: Supply Chain Formation in Open, Market-Based Multi-Agent Systems. International Journal of Computational Intelligence and Applications 2(3): 349-363 (2002) |
2001 | ||
40 | EE | Alexander Artikis, Jeremy Pitt: A formal model of open agent societies. Agents 2001: 192-193 |
39 | EE | Jeremy Pitt, Lloyd Kamara, Alexander Artikis: Interaction patterns and observable commitments in a multi-agent trading scenario. Agents 2001: 481-488 |
38 | EE | Frank Guerin, Jeremy Pitt: Denotational semantics for agent communication language. Agents 2001: 497-504 |
37 | EE | Aneurin M. Easwaran, Jeremy Pitt: Simultaneous optimization of multiple criteria for efficient agent service brokering. Agents 2001: 69-70 |
36 | EE | Jeremy Pitt, Abe Mamdani, Patricia Charlton: The open agent society and its enemies: a position statement and research programme. Telematics and Informatics 18(1): 67-87 (2001) |
2000 | ||
35 | EE | Alexander Artikis, Frank Guerin, Jeremy Pitt: Integrating Interaction Protocols and Internet Protocols for Agent-Mediated E-Commerce. AMEC 2000: 47-69 |
34 | EE | Jeremy Pitt, Frank Guerin, Christos Stergiou: Protocols and intentional specifications of multi-party agent conversions for brokerage and auctions. Agents 2000: 269-276 |
33 | EE | Alexander Artikis, Jeremy Pitt, Christos Stergiou: Agent communication transfer protocol. Agents 2000: 491-498 |
32 | Aneurin M. Easwaran, Jeremy Pitt: An Agent Service Brokering Algorithm for Winner Determination in Combinatorial Auctions. ECAI 2000: 286-290 | |
31 | EE | Konstantinos Prouskas, A. Patel, Jeremy V. Pitt, Javier A. Barria: A Multi-Agent System for Intelligent Network Load Control Using a Market-Based Approach. ICMAS 2000: 231-238 |
30 | EE | Frank Guerin, Jeremy Pitt: A Semantic Framework for Specifying Agent Communication Languages. ICMAS 2000: 395-396 |
29 | EE | Mark Witkowski, Jeremy Pitt: Objective Trust-Based Agents: Trust and Trustworthiness in a Multi-Agent Trading Society. ICMAS 2000: 463-464 |
28 | EE | Aneurin M. Easwaran, Jeremy Pitt: A Brokering Algorithm for Cost & QoS-Based Winner Determination on Combinatorial Auctions. IEA/AIE 2000: 119-128 |
27 | EE | Christos Stergiou, Jeremy Pitt, Frank Guerin, Alexander Artikis: Implementing Multi-party Agent Conversations. IEA/AIE 2000: 4-13 |
26 | A. Patel, Konstantinos Prouskas, Javier A. Barria, Jeremy V. Pitt: IN Load Control Using a Competitive Market-Based Multi-agent System. IS&N 2000: 239-254 | |
25 | E. H. Mamdani, Arash G. Sichanie, Jeremy Pitt: Soft Agent Computing: Towards Enhancing Agent Technology. Intelligent Systems and Soft Computing 2000: 110-135 | |
24 | Jeremy Pitt, E. H. Mamdani: Communication Protocols in Multi-agent Systems: A Development Method and Reference Architecture. Issues in Agent Communication 2000: 160-177 | |
23 | Jeremy Pitt, E. H. Mamdani: Some Legal Aspects of Inter-agent Communication: From the Sincerity Condition to 'Ethical' Agents. Issues in Agent Communication 2000: 46-62 | |
22 | EE | Mark Witkowski, Alexander Artikis, Jeremy Pitt: Experiments in Building Experiential Trust in a Society of Objective-Trust Based Agents. Trust in Cyber-societies 2000: 111-132 |
21 | EE | E. H. Mamdani, Jeremy Pitt: Responsible Agent Behavior: A Distributed Computing Perspective. IEEE Internet Computing 4(5): 27-31 (2000) |
20 | EE | A. Patel, Konstantinos Prouskas, Javier A. Barria, Jeremy V. Pitt: A Computational Economy for IN Load Control Using a Multi-Agent System. J. Network Syst. Manage. 8(3): (2000) |
1999 | ||
19 | EE | Aneurin M. Easwaran, Jeremy Pitt, Stefan Poslad: The Agent Service Brokering Problem as a Generalised Travelling Salesman Problem. Agents 1999: 414-415 |
18 | Jeremy Pitt, E. H. Mamdani: A Protocol-Based Semantics for an Agent Communication Language. IJCAI 1999: 486-491 | |
17 | Jeremy Pitt, E. H. Mamdani: Designing Agent Communication Languages for Multi-agent Systems. MAAMAW 1999: 102-114 | |
16 | Jeremy Pitt, E. H. Mamdani: Some Remarks on the Semantics of FIPA?s Agent Communication Language. Autonomous Agents and Multi-Agent Systems 2(4): 333-356 (1999) | |
15 | EE | Brendan Jennings, Rob Brennan, Rune Gustavsson, Robert Feldt, Jeremy V. Pitt, Konstantinos Prouskas, Joachim Quantz: FIPA-compliant agents for real-time control of Intelligent Network traffic. Computer Networks 31(19): 2017-2036 (1999) |
14 | E. H. Mamdani, Jeremy Pitt, Kostas Stathis: Connected Communities from the Standpoint of Multi-agent Systems. New Generation Comput. 17(4): 381-393 (1999) | |
1998 | ||
13 | EE | Marcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt: WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. Intelligent Tutoring Systems 1998: 605 |
12 | EE | Jeremy V. Pitt: Benchmark Evaluation of Square-KE. TABLEAUX 1998: 38-39 |
1997 | ||
11 | Patricia Charlton, Yan Chen, E. H. Mamdani, Olle Olsson, Jeremy V. Pitt, Fergal Somers, Annika Waern: An Open Agent Architecture for Integrating Multimedia Services. Agents 1997: 522-523 | |
10 | Patricia Charlton, Fredrik Espinoza, E. H. Mamdani, Olle Olsson, Jeremy V. Pitt, Fergal Somers, Annika Waern: Using an Asset Model for Integration of Agents and Multimedia to Provide an Open Service Architecture. ECMAST 1997: 635-650 | |
1996 | ||
9 | Jeremy V. Pitt, Jim Cunningham: Distributed Modal Theorem Proving with KE. TABLEAUX 1996: 160-176 | |
8 | Jeremy Pitt, Matthew Anderton, Jim Cunningham: Normalized Interactions between Autonomous Agents A Case Study in Inter-Organizational Project Management. Computer Supported Cooperative Work 5(2/3): 201-222 (1996) | |
7 | EE | Jeremy Pitt, Jim Cunningham: Theorem Proving and Model Building with the Calculus KE. Logic Journal of the IGPL 4(1): 129-150 (1996) |
1995 | ||
6 | Matthew Anderton, Jim Cunningham, Jeremy Pitt: A Multi-Agent Framework for Inter-Organizational Applications. ICMAS 1995: 435 | |
5 | EE | Jeremy Pitt, Jim Cunningham: Making Requirements Specifications Accessible via Logic, Language and Graphics: A Progress Report. IEA/AIE 1995: 655-663 |
4 | Jeremy V. Pitt: MacKE: Yet Another Proof Assistant & Automated Pedagogic Tool. TABLEAUX 1995: 324-337 | |
1994 | ||
3 | EE | Jeremy Pitt, Jim Cunningham, Jong-Hyun Kim: Co-Operative Answering to Natural Language Email Queries. IEA/AIE 1994: 273-281 |
1992 | ||
2 | Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt: Towards Tableau Theorem-Proving with Analytic Cut. TABLEAUX 1992: 23-25 | |
1990 | ||
1 | Jeremy V. Pitt, Jim Cunningham: Attributed Translation and the Semantics of Natural Language. WAGA 1990: 284-297 |