A5065393757- Logic, Reasoning, and Knowledge
- Game Theory and Applications
- Game Theory and Voting Systems
- Multi-Agent Systems and Negotiation
- Auction Theory and Applications
- Formal Methods in Verification
- Logic, programming, and type systems
- Semantic Web and Ontologies
- Complex Network Analysis Techniques
- Experimental Behavioral Economics Studies
- Advanced Algebra and Logic
- Bayesian Modeling and Causal Inference
- Business Process Modeling and Analysis
- Consumer Market Behavior and Pricing
- Opinion Dynamics and Social Influence
- Economic theories and models
- Mobile Agent-Based Network Management
- Business Strategy and Innovation
- Evolutionary Game Theory and Cooperation
- AI-based Problem Solving and Planning
- Topic Modeling
- Complex Systems and Decision Making
- Computability, Logic, AI Algorithms
- Reinforcement Learning in Robotics
- Service-Oriented Architecture and Web Services
University of Oxford
2015-2024
University of Vienna
2022
The University of Melbourne
2022
Federal Ministry of Health
2020
University of Gothenburg
2019
University of Warsaw
2018
Science Oxford
2014
University of Liverpool
2004-2013
University of Southampton
2004-2011
Carnegie Mellon University
2004-2011
Abstract The concept of an agent has become important in both artificial intelligence (AT) and mainstream computer science. Our aim this paper is to point the reader at what we perceive be most theoretical practical issues associated with design construction intelligent agents. For convenience, divide these into three areas (though as will see, divisions are times somewhat arbitrary). Agent theory concerned question is, use mathematical formalisms for representing reasoning about properties...
Systems composed of interacting autonomous agents offer a promising software engineering approach for developing applications in complex domains. However, this multiagent system paradigm introduces number new abstractions and design/development issues when compared with more traditional approaches to development. Accordingly, analysis design methodologies, as well tools, are needed effectively engineer such systems. Against background, the contribution article is twofold. First, we...
Article A methodology for agent-oriented analysis and design Share on Authors: Michael Wooldridge Queen Mary & Westfield College, London, UK UKView Profile , Nicholas R. Jennings David Kinny Univ. of Melbourne, Parkville, Australia AustraliaView Authors Info Claims AGENTS '99: Proceedings the third annual conference Autonomous AgentsApril 1999 Pages 69–76https://doi.org/10.1145/301136.301165Published:01 April 218citation1,784DownloadsMetricsTotal Citations218Total Downloads1,784Last 12...
Article Free Access Share on Pitfalls of agent-oriented development Authors: Michael Wooldridge Department Electronic Engineering, Queen Mary & Westfield College, University London, London E1 4NS, United Kingdom KingdomView Profile , Nicholas R. Jennings Authors Info Claims AGENTS '98: Proceedings the second international conference Autonomous agentsMay 1998 Pages 385–391https://doi.org/10.1145/280765.280867Online:01 May 1998Publication History 127citation1,232DownloadsMetricsTotal...
Click to increase image sizeClick decrease size Additional informationNotes on contributorsNICHOLAS R. JENNINGSAddress correspondence Nicholas Jennings. Department of Electronic Engineering, Queen Mary and Westfield College. Mile End Road, London El 4NS. United Kingdom. E-mail: N.R.Jennings@qmw.ac.uk.
Logics of propositional control, such as van der Hoek and Wooldridge's CL-PC [14], were introduced in order to represent reason about scenarios which each agent within a system is able exercise unique control over some set variables. Our aim the present paper extend study logics settings these agents have incomplete information society they occupy. We consider two possible sources information. First, we possibility that an only read subset overall variables, so any given state, will partial...
An epistemic goal is a about the knowledge possessed by an agent or group of agents. In this paper, we address problem how plans might be developed for agents to cooperate bring such goal. We present novel approach problem, in which formulated as one model checking Alternating Temporal Epistemic Logic (ATEL). After introducing logic, algorithm it, and show that logic tractable. then multiagent planning can treated ATEL, discuss related issue preconditions plans. illustrate with example....