| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer |
Reasoning about plan revision in BDI agent programs.  |
Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib |
Logic for coalitions with bounded resources. |
J. Log. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer |
Reasoning about agent deliberation. |
Autonomous Agents and Multi-Agent Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Vikhorev, Natasha Alechina, Brian Logan |
Agent programming with priorities and deadlines. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Julian Zappala, Brian Logan |
Effects of resource availability on consensus decision making in primates. |
Computational & Mathematical Organization Theory |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan |
Belief ascription under bounded resources. |
Synthese |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaofan Liu, Natasha Alechina, Brian Logan |
Syntax and Semantics for Business Rules. |
KES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib |
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. |
MoChArt |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Kiss, Neil Madden, Brian Logan |
Atomic Intentions in Jason +. |
ProMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib |
Resource-bounded alternating-time temporal logic. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan |
Computationally Grounded Account of Belief and Awareness for AI Agents. |
MALLOW |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Lees, Brian Logan, Georgios K. Theodoropoulos |
Analysing probabilistically constrained optimism. |
Concurrency and Computation: Practice and Experience |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Chesney, Iain Coyne, Brian Logan, Neil Madden |
Griefing in virtual worlds: causes, casualties and coping strategies. |
Inf. Syst. J. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan |
A Logic of Situated Resource-Bounded Agents. |
Journal of Logic, Language and Information |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib |
Verifying time, memory and communication bounds in systems of reasoning agents. |
Synthese |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib |
Expressing Properties of Coalitional Ability under Resource Bounds. |
LORI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib |
A Logic for Coalitions with Bounded Resources. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Doan Thu Trang, Brian Logan, Natasha Alechina |
Verifying Dribble Agents. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Madden, Brian Logan |
Modularity and Compositionality in Jason. |
PROMAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Vikhorev, Natasha Alechina, Brian Logan |
The ARTS Real-Time Agent Architecture. |
LADS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Vikhorev, Natasha Alechina, Brian Logan |
The ARTS Real-Time Agent Architecture. |
MALLOW |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael Lees, Brian Logan, Georgios K. Theodoropoulos |
Using Access Patterns to Analyze the Performance of Optimistic Synchronization Algorithms in Simulations of MAS. |
Simulation |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Chen, Roland Ewald, Georgios K. Theodoropoulos, Rob Minson, Ton Oguara, Michael Lees, Brian Logan, Adelinde M. Uhrmacher |
Data access in distributed simulations of multi-agent systems. |
Journal of Systems and Software |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Mark Jago, Brian Logan |
Preference-based belief revision for rule-based agents. |
Synthese |
2008 |
DBLP DOI BibTeX RDF |
Reason maintenance systems, Rule-based agents, Preferences, Belief revision |
| 1 | Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan |
Bounded-Resource Reasoning as (Strong or Classical) Planning. |
CLIMA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib |
Reasoning about Other Agents' Beliefs under Bounded Resources. |
KRAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib |
Verifying Time and Communication Costs of Rule-Based Reasoners. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib |
Verifying Resource Requirements for Distributed Rule-Based Systems. |
RuleML |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer |
Reasoning about Agent Deliberation. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib |
Verifying time, memory and communication bounds in systems of reasoning agents. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan, Mehdi Dastani, John-Jules Ch. Meyer |
Reasoning about agent execution strategies. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Lees, Brian Logan, Georgios K. Theodoropoulos |
Distributed simulation of agent-based systems with HLA. |
ACM Trans. Model. Comput. Simul. |
2007 |
DBLP DOI BibTeX RDF |
HLA_AGENT, IEEE 1516, multiagent systems, high level architecture |
| 1 | Thomas Chesney, Iain Coyne, Brian Logan, Neil Madden |
A Design for Researching Virtual Worlds - Opportunities and Limitations. |
ECIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Lees, Brian Logan, John King |
Multiscale models of bacterial populations. |
Winter Simulation Conference |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer |
A Logic of Agent Programs. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Lees, Brian Logan, Georgios K. Theodoropoulos |
Agents, games and HLA. |
Simulation Modelling Practice and Theory |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Mark Jago, Brian Logan |
Modal Logics for Communicating Rule-Based Agents. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Georgios K. Theodoropoulos, Yi Zhang 0004, Dan Chen, Rob Minson, Stephen John Turner, Wentong Cai, Yong Xie, Brian Logan |
Large Scale Distributed Simulation on the Grid. |
CCGRID |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan |
Automating Belief Revision for AgentSpeak. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Ewald, Dan Chen, Georgios K. Theodoropoulos, Michael Lees, Brian Logan, Ton Oguara, Adelinde Uhrmacher |
Performance Analysis of Shared Data Access Algorithms for Distributed Simulation of Multi-Agent Systems. |
PADS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Lees, Brian Logan, Dan Chen, Ton Oguara, Georgios K. Theodoropoulos |
Analysing the Performance of Optimistic Synchronisation Algorithms in Simulations of Multi-Agent Systems. |
PADS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini |
Verifying Space and Time Requirements for Resource-Bounded Agents. |
MoChArt |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan |
Belief revision for AgentSpeak agents. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
AgentSpeak, Jason, belief revision, BDI |
| 1 | Dan Fielding, Brian Logan, Steve Benford |
Balancing the needs of players and spectators in agent-based commentary systems. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
synthetic and embodied agents, games, MMOGs, reporting |
| 1 | Natasha Alechina, Mark Jago, Piergiorgio Bertoli, Brian Logan, Chiara Ghidini, Luciano Serafini |
Verifying space and time requirements for resource-bounded agents. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
MBP, resource-bounded agents |
| 1 | Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini |
Model-Checking Memory Requirements of Resource-Bounded Reasoners. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Lees, Brian Logan, Dan Chen, Ton Oguara, Georgios K. Theodoropoulos |
Analysing Probabilistically Constrained Optimism. |
DS-RT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Madden, Brian Logan |
It's About Time. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Natasha Alechina, Mark Jago, Brian Logan |
Resource-Bounded Belief Revision and Contraction. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Davidsson, Brian Logan, Keiki Takadama (eds.) |
Multi-Agent and Multi-Agent-Based Simulation, Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers |
MABS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ella Tallyn, Boriana Koleva, Brian Logan, Dan Fielding, Steve Benford, Giulia Gelmini, Neil Madden |
Embodied Reporting Agents as an Approach to Creating Narratives from Live Virtual Worlds. |
International Conference on Virtual Storytelling |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Lees, Brian Logan, Dan Chen, Ton Oguara, Georgios K. Theodoropoulos |
Decision-Theoretic Throttling for Optimistic Simulations of Multi-Agent Systems. |
DS-RT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ton Oguara, Dan Chen, Georgios K. Theodoropoulos, Brian Logan, Michael Lees |
An Adaptive Load Management Mechanism for Distributed Simulation of Multi-agent Systems. |
DS-RT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan |
Verifying Bounds on Deliberation Time in Multi-Agent Systems. |
EUMAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael Lees, Brian Logan, Ton Oguara, Georgios K. Theodoropoulos |
HLA_AGENT: Distributed Simulation of Agent-Based Systems with HLA. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Fielding, Mike Fraser, Brian Logan, Steve Benford |
Extending game participation with embodied reporting agents. |
Advances in Computer Entertainment Technology |
2004 |
DBLP DOI BibTeX RDF |
game agents, on-line participation, reporting, audiences |
| 1 | Michael Lees, Brian Logan, Rob Minson, Ton Oguara, Georgios K. Theodoropoulos |
Distributed Simulation of MAS. |
MABS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyril Schoreels, Brian Logan, Jonathan M. Garibaldi |
Agent based Genetic Algorithm Employing Financial Technical Analysis for Making Trading Decisions Using Historical Equity Market Data. |
IAT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan, Mark Whitsey |
Modelling Communicating Agents in Timed Reasoning Logics. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Lees, Brian Logan, Rob Minson, Ton Oguara, Georgios K. Theodoropoulos |
Modelling Environments for Distributed Simulation. |
E4MAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Fielding, Mike Fraser, Brian Logan, Steve Benford |
Reporters, Editors and Presenters: Using Embodied Agents to Report on Online Computer Games. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan, Mark Whitsey |
A Complete and Decidable Logic for Resource-Bounded Agents. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Elizabeth Gordon, Brian Logan |
A goal processing architecture for game agents. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
computer game agents, teleo-reactive programs, agent architectures |
| 1 | Natasha Alechina, Brian Logan |
Ascribing beliefs to resource bounded agents. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
formalisms and logics |
| 1 | Natasha Alechina, Brian Logan |
State Space Search with Prioritised Soft Constraints. |
Appl. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan |
Logical Omniscience and the Cost of Deliberation. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Scheutz, Aaron Sloman, Brian Logan |
Emotional States and Realistic Agent Behaviour. |
GAME-ON |
2000 |
DBLP BibTeX RDF |
|
| 1 | Aaron Sloman, Brian Logan |
Building Cognitively Rich Agents Using the SIM_AGENT Toolkit. |
Commun. ACM |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Sloman, Brian Logan |
Cognition and Affect: Architectures and Tools. |
Agents |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Logan, Natasha Alechina |
A* with Bounded Costs. |
AAAI/IAAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Brian Logan, Steven Reece, Karen Sparck Jones |
Modelling Information Retrieval Agents with Belief Revision. |
SIGIR |
1994 |
DBLP BibTeX RDF |
|
| 1 | Brian Logan, David Corne, Tim Smithers |
The Edinburgh Designer System: An Architecture for Solving Ill-Structured Problems. |
ECAI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Tim Smithers, Alistair Conkie, Jim Doheny, Brian Logan, Karl Millington, Ming Xi Tang |
Design as intelligent behaviour: An AI in design research programme. |
AI in Engineering |
1990 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")