Julian A. Padget
Orcid: 0000-0003-1314-2094Affiliations:
- University of Bath, UK
According to our database1,
Julian A. Padget
authored at least 185 papers
between 1982 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on bath.ac.uk
On csauthors.net:
Bibliography
2023
Int. J. Inf. Manag., 2023
Proceedings of the Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI, 2023
Proceedings of the Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
2022
ACM Trans. Internet Techn., November, 2022
Proceedings of the Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV, 2022
2021
Proceedings of the 38th International Conference on Machine Learning, 2021
2020
ACM Trans. Auton. Adapt. Syst., 2020
Proceedings of the Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIII, 2020
Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020
2019
Auton. Agents Multi Agent Syst., 2019
Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019
Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019
Towards a Goal-Oriented Agent-Based Simulation Framework for High-Performance Computing.
Proceedings of the Artificial Intelligence Research and Development, 2019
2018
User Model. User Adapt. Interact., 2018
ACM Trans. Internet Techn., 2018
Using Social Reasoning Framework to Guide Normative Behaviour of Intelligent Virtual Agents.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Graph-based generation of action-adventure dungeon levels using answer set programming.
Proceedings of the 13th International Conference on the Foundations of Digital Games, 2018
2017
Int. J. Wirel. Inf. Networks, 2017
IEEE Intell. Syst., 2017
Eng. Appl. Artif. Intell., 2017
CoRR, 2017
Auton. Agents Multi Agent Syst., 2017
Identifying Affordances for Modelling Second-Order Emergent Phenomena with the <i>WIT</i> Framework.
Proceedings of the Autonomous Agents and Multiagent Systems, 2017
2016
Ad Hoc Networks, 2016
Proceedings of the STAIRS 2016, 2016
Proceedings of the Legal Knowledge and Information Systems, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems XII, 2016
2015
J. Inf. Secur. Appl., 2015
Artificial Prediction Markets for Online Prediction of Continuous Variables-A Preliminary Report.
CoRR, 2015
CoRR, 2015
Proceedings of the Theory and Applications of Formal Argumentation, 2015
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015
Proceedings of the Interactive Storytelling, 2015
Proceedings of the 10th International Conference on the Foundations of Digital Games, 2015
Proceedings of the 6th Workshop on Computational Models of Narrative, 2015
An Interactive, Generative Punch and Judy Show Using Institutions, ASP and Emotional Agents.
Proceedings of the Coordination, Organizations, Institutions, and Normes in Agent Systems XI, 2015
Proceedings of the Coordination, Organizations, Institutions, and Normes in Agent Systems XI, 2015
Proceedings of the Coordination, Organizations, Institutions, and Normes in Agent Systems XI, 2015
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
Proceedings of the 6th International Conference on Ambient Systems, 2015
2014
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014
Proceedings of the IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, 2014
Proceedings of the Fifth International Conference on Future Energy Systems, 2014
Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems X, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
2013
Comput. Animat. Virtual Worlds, 2013
I-ABM: combining institutional frameworks and agent-based modelling for the design of enforcement policies.
Artif. Intell. Law, 2013
Proceedings of the 6th International Conference on Security of Information and Networks, 2013
Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013
Evaluating the Cost of Enforcement by Agent-Based Simulation: A Wireless Mobile Grid Example.
Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013
Proceedings of the Multiagent System Technologies - 11th German Conference, 2013
Proceedings of the Legal Knowledge and Information Systems, 2013
Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013
Proceedings of the International Conference on Artificial Intelligence and Law, 2013
'just enough' sensing to ENLITEN: a preliminary demonstration of sensing strategy for the 'energy literacy through an intelligent home energy advisor' (ENLITEN) project.
Proceedings of the Fourth International Conference on Future Energy Systems, 2013
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems IX, 2013
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013
HRTS: A Hierarchical Reactive Time Synchronization Protocol for Wireless Sensor Networks.
Proceedings of the Ad Hoc Networks - 5th International ICST Conference, 2013
2012
Scalable Comput. Pract. Exp., 2012
Int. J. Softw. Eng. Knowl. Eng., 2012
Proceedings of the 76th IEEE Vehicular Technology Conference, 2012
Composition of engineering web services with universal distributed data-flows framework based on ROA.
Proceedings of the Third International Workshop on RESTful Design, 2012
Proceedings of the Second IEEE International Workshop on Requirements Engineering for Systems, 2012
Proceedings of the New Frontiers in Artificial Intelligence, 2012
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VIII, 2012
Proceedings of the Cognitive Agents for Virtual Environments, 2012
An Agent-Based Simulation Approach to Comparative Analysis of Enforcement Mechanisms.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VIII, 2012
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
Proceedings of the Fourteenth International Conference on Electronic Commerce, 2012
2011
Int. J. Parallel Emergent Distributed Syst., 2011
Analysing energy-incentivized cooperation in next generation mobile networks using normative frameworks and an agent-based simulation.
Future Gener. Comput. Syst., 2011
Proceedings of the Intelligent Distributed Computing V - Proceedings of the 5th International Symposium on Intelligent Distributed Computing - IDC 2011, Delft, The Netherlands, 2011
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2011
Proceedings of the 2011 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2011
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011
Proceedings of the Coordination, 2011
2010
IEEE Trans. Serv. Comput., 2010
ALIVE: A Model-Driven Framework to Develop Dynamic, Flexible, Distributed Service-Oriented Systems.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010
Proceedings of the New Frontiers in Artificial Intelligence, 2010
ALIVE: an agent-based framework for dynamic and robust service-oriented applications.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
A Probabilistic Mechanism for Agent Discovery and Pairing Using Domain-Specific Data.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VI, 2010
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VI, 2010
2009
J. Artif. Soc. Soc. Simul., 2009
Proceedings of the Second Multi-Agent Logics, 2009
Proceedings of the Second Multi-Agent Logics, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the iiWAS'2009, 2009
Dynamic Service Reconfiguration and Enactment using an Open Matching Architecture.
Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009
Proceedings of the Engineering Societies in the Agents World X, 2009
Proceedings of the Engineering Societies in the Agents World X, 2009
Combining Organisational and Coordination Theory with Model Driven Approaches to Develop Dynamic, Flexible, Distributed Business Systems.
Proceedings of the Digital Business - First Iternational ICST Conference, 2009
Inst<i>QL</i>: A Query Language for Virtual Institutions Using Answer Set Programming.
Proceedings of the Computational Logic in Multi-Agent Systems, 2009
2008
Proceedings of the 2008 International Computer Music Conference, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008
2007
Proceedings of the 2007 International Computer Music Conference, 2007
Proceedings of the Third International Conference on e-Science and Grid Computing, 2007
Proceedings of the Coordination, 2007
Proceedings of the 9th International Conference on Electronic Commerce: The Wireless World of Electronic Commerce, 2007
2006
Scalable Comput. Pract. Exp., 2006
Using software agents to preserve individual health data confidentiality in micro-scale geographical analyses.
J. Biomed. Informatics, 2006
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006
Proceedings of the Grid-Based Problem Solving Environments, 2006
Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2006
2005
Multiagent Grid Syst., 2005
Proceedings of the Parallel Processing and Applied Mathematics, 2005
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005
Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005
Proceedings of the 2005 International Computer Music Conference, 2005
T-LAIMA: Answer Set Programming for Modelling Agents with Trust.
Proceedings of the EUMAS 2005, 2005
Markets vs Auctions: Approaches to Distributed.
Proceedings of the EUMAS 2005, 2005
Specifying and Analysing Agent-based Social Institutions using Answer Set Programming.
Proceedings of the EUMAS 2005, 2005
Proceedings of the ECOOP 2005, 2005
Proceedings of the Declarative Agent Languages and Technologies III, 2005
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005
2004
Proceedings of the 4th International Conference on WEB Delivering of Music (WEDELMUSIC 2004), 2004
Formal Specification and Verification of the SET/A Protocol with an Integrated Approach.
Proceedings of the 2004 IEEE International Conference on E-Commerce Technology (CEC 2004), 2004
Automatic Mapping of OWL Ontologies into Java.
Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004
Proceedings of the Semantic Web: Research and Applications, 2004
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004
2003
Artif. Intell. Medicine, 2003
The organ allocation process: a natural extension of the Carrel Agent-Mediated Electronic Institution.
AI Commun., 2003
Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations.
Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003
On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003
Towards HARMONIA: automatic generation of e-organisations from institution specifications.
Proceedings of the Ontologies in Agent Systems 2003, 2003
Proceedings of the 3rd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2003), 2003
2002
Proceedings of the 2002 International Computer Music Conference, 2002
Integrating the Organ and Tissue Allocation Processes through an Agent-Mediated Electronic Institution.
Proceedings of the Topics in Artificial Intelligence, 5th Catalonian Conference on AI, 2002
Proceedings of the Agent-Mediated Electronic Commerce IV, 2002
2001
Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001
Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001
1999
Proceedings of the Agent Mediated Electronic Commerce II, 1999
Proceedings of the Collaboration between Human and Artificial Societies, 1999
1998
Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing, 1998
Proceedings of the Agent Mediated Electronic Commerce, 1998
1997
FM96.5 A Java-based Electronic Auction House.
Proceedings of the Second International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1997
1995
Proceedings of the Parallel Symbolic Languages and Systems, 1995
Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), 1995
1993
An Overview of EULISP.
LISP Symb. Comput., 1993
Plurals: A SIMD Extension to EuLisp.
LISP Symb. Comput., 1993
EULISP Threads: A Concurrency Toolbox.
LISP Symb. Comput., 1993
Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, 1993
1992
Proceedings of the Parallel Symbolic Computing: Languages, 1992
Proceedings of the Parallel Symbolic Computing: Languages, 1992
1991
A Proposal for a Modular Lisp with Macros and Dynamic Evaluation.
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991
Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991
1990
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990
1988
The Use of Symbolic Computation in Geometric Modelling.
Proceedings of the 3rd IMA Conference on the Mathematics of Surfaces, 1988
1987
Proceedings of the EUROCAL '87, 1987
1986
Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986
Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986
Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1986
1985
Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985
Proceedings of the EUROCAL '85, 1985
1984
Proceedings of the EUROSAM 84, 1984
1983
Proceedings of the Computer Algebra, 1983
1982
Proceedings of the Computer Algebra, 1982