BDD based procedures for a theory of equality with uninterpreted functions A Goel, K Sajid, H Zhou, A Aziz, V Singhal Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998 | 126 | 1998 |
Dynamic adaptive autonomy in multi-agent systems K Suzanne Barber, A Goel, CE Martin Journal of Experimental & Theoretical Artificial Intelligence 12 (2), 129-147, 2000 | 122 | 2000 |
Conflict representation and classification in a domain-independent conflict management framework KS Barber, TH Liu, A Goel, CE Martin Proceedings of the third annual conference on Autonomous Agents, 346-347, 1999 | 34 | 1999 |
Conflict resolution in sensible agents A Goel, TH Liu, KS Barber Proceedings of the International Multidisciplinary Conference on Intelligent …, 1996 | 28 | 1996 |
Sensible agents: An implemented multi-agent system and testbed KS Barber, R McKay, M MacMahon, CE Martin, DN Lam, A Goel, DC Han, ... Proceedings of the fifth international conference on Autonomous agents, 92-99, 2001 | 25 | 2001 |
Sensible agent problem-solving simulation for manufacturing environments KS Barber, E White, A Goel, D Han, J Kim, H Li, TH Liu, CE Martin, ... Proceedings of the AAAI SIGMAN Workshop on Artificial Intelligence and …, 1998 | 23 | 1998 |
Classification and representation of conflict in multi-agent systems TH Liu, A Goel, CE Martin, KS Barber The University of Texas at Austin, 1998 | 23 | 1998 |
Flexible reasoning using sensible agent-based systems: a case study in job flow scheduling KS Barber, TH Liu, A Goel, S Ramaswamy Production Planning & Control 10 (7), 606-615, 1999 | 22 | 1999 |
Infrastructure for design, deployment and experimentation of distributed agent-based systems: The requirements, The technologies, and an example KS Barber, A Goel, DC Han, J Kim, DN Lam, TH Liu, M MacMahon, ... Autonomous Agents and Multi-Agent Systems 7, 49-69, 2003 | 19 | 2003 |
BDD based procedures for a theory of equality with uninterpreted functions A Goel, K Sajid, H Zhou, A Aziz, V Singhal Formal Methods in System Design 22, 205-224, 2003 | 16 | 2003 |
Sensible agents in supply chain management: an example highlighting procurement and production decisions KS Barber, RM McKay, CE Martin, TH Liu, J Kim, D Han, A Goel International Design Engineering Technical Conferences and Computers and …, 1999 | 15 | 1999 |
Sensible agents: The distributed architecture and testbed KS Barber, RM McKAY, A Goel, DC Han, J Kim, TH Liu, CE Martin IEICE Transactions on Communications 83 (5), 951-960, 2000 | 13 | 2000 |
Simulation testbed for sensible agent-based systems in dynamic and uncertain environments KS Barber, A Goel, D Han, J Kim, TH Liu, CE Martin, RM McKay Transactions of the Society for Computer Simulation 16 (4), 186-203, 1999 | 12 | 1999 |
Sensible agents KS Barber, A Goel, TJ Graser, TH Liu, RH Macfadzean, CE Martin, ... 1997 IEEE International Conference on Systems, Man, and Cybernetics …, 1997 | 11 | 1997 |
Problem-solving frameworks for sensible agents in an electronic market KS Barber, A Goel, D Han, J Kim, TH Liu, CE Martin, R McKay Multiple Approaches to Intelligent Systems: 12th International Conference on …, 1999 | 8 | 1999 |
An Agent Infrastructure Implementation for Leveraging and Collaboration in Operational and Experimental Environments KS Barber, M MacMahon, R McKay, A Goel, D Han, J Kim, D Lam, ... Invited paper to the Workshop on Infrastructure for Agents, MAS, and …, 2001 | 4 | 2001 |
Sensible Agents Capable of Dynamic Adaptive Autonomy: The Distributed Architecture and Testbed KS Barber, R McKay, A Goel, D Han, J Kim, TH Liu, CE Martin SIMULATION SERIES 32 (2), 127-132, 2000 | 3 | 2000 |
Managing dependencies among applications using satisfiability engine A Goel US Patent App. 11/962,678, 2009 | 2 | 2009 |
The classification and specification of a domain independent agent architecture A Goel, KS Barber Methodology and Tools in Knowledge-Based Systems: 11th International …, 1998 | 2 | 1998 |
A formal specification and classification schema for Agent Architectures A Goel University of Texas at Austin, 1997 | 2 | 1997 |