1. Jian Huang and Adrian R. Pearce. Collaborative Inductive Logic Programming for Path Planning. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, Hyderabad, India, pages 1327-1332, 2007. Keyword(s): multi-agent learning, collaborative problem solving. [bibtex-entry]

1. Jian Huang and Adrian R. Pearce. Distributed Interactive Learning in Multi-Agent Systems. In Proceedings of the Twenty-First National Conference on Artificial Intelligence, Boston, MA, USA, pages 666-671, 2006. AAAI Press. Keyword(s): multi-agent learning. [bibtex-entry]



2. Jian Huang and Adrian R. Pearce. Toward Inductive Logic Programming for Collaborative Problem Solving. In Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'06), Hong Kong, China, pages 284-290, 2006. IEEE Computer Society. Keyword(s): multi-agent learning, collaborative problem solving. [bibtex-entry]



3. Ryan Kelly and Adrian R. Pearce. High Level Program Execution for Multi-Agent Teams. In AAMAS, Hakodate, Japan, 2006. Keyword(s): situation calculus, agent programming language. [bibtex-entry]

1. Jenhui Chen and Li-Ren Li. Path Planning Protocol for Collaborative Multi-Robot Systems. In Proceedings 2005 IEEE International Symposium on Computational Intelligence in Robotics and Automation, Espoo, Finland, pages 721-726, 2005. Keyword(s): multi-agent planning, path planning. [bibtex-entry]



2. Jeffrey S. Cox and Edmund H. Durfee. An Efficient Algorithm for Multiagent Plan Coordination. In AAMAS '05: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, 2005. ACM. Keyword(s): multi-agent coordination, multi-agent system. [bibtex-entry]



3. Hyuckchul Jung and Milind Tambe. On Communication in Solving Distributed Constraint Satisfaction Problems. In International Central and Eastern European Conference on Multi-Agent Systems, 2005. Keyword(s): distributed constraint satisfaction. [bibtex-entry]

1. Alejandro Guerra-Hernández, Amal El Fallah-Seghrouchni, and Henry Soldano. Distributed Learning in Intentional BDI Multi-Agent Systems. In Mexican International Conference in Computer Science, Colima, México, 2004. IEEE Computer Society Press. Keyword(s): multi-agent learning, BDI architecture, inductive logic programming, high relevance. [bibtex-entry]



2. T. I. Wang and K. L. Clark. Distributed Logic Programming Using Mobile Agents. In 18th International Conference on Advanced Information Networking and Applications, volume 2, pages 137-142, 2004. Keyword(s): distributed knowledge system. [bibtex-entry]

1. Thomas Bartold and Edmund H. Durfee. Limiting Disruption in Multiagent Replanning. In second international joint conference on Autonomous agents and multiagent systems, Melbourne, Australia, pages 49-56, 2003. ACM press. Keyword(s): multi-agent system, planning. [bibtex-entry]



2. The Duy Bui and Wojciech Jamroga. Multi-Agent Planning with Planning Graph. In Proceedings of eunite2003, Oulu, Finland, pages 558-564, 2003. Keyword(s): multi-agent planning, path planning. [bibtex-entry]



3. Anmin Zhu and Simon X. Yang. Path Planning of Multi-robot Systems with Cooperation. In Proceedings 2003 IEEE International Symposium on Computational Intelligence in Robotics and Automation, volume 2, Kobe, Japan, pages 1028-1033, 2003. Keyword(s): multi-agent planning, path planning. [bibtex-entry]

1. Marcelo A. T. Aragão and Alvaro A. A. Fernandes. Inductive-Deductive Databases for Knowledge Management. In Workshop on Knowledge Management and Organizational Memories, 15th ECAI, pages 11-19, 2002. Keyword(s): deductive-inductive system. [bibtex-entry]



2. Carlos Areces and Juan Heguiabehere. HyLoRes: A Hybrid Logic Prover Based on Direct Resolution. In Advances in Modal Logic (AiML'02), 2002. Keyword(s): logics, modal logic, hybrid logic, proof system. [bibtex-entry]



3. Eric Martin, Phuong Nguyen, Arun Sharma, and Frank Stephan. Learning in Logic with RichProlog. In ICLP '02: Proceedings of the 18th International Conference on Logic Programming, pages 239-254, 2002. Springer-Verlag. Keyword(s): logic programming, inductive reasoning. [bibtex-entry]



4. Jessica Staddon, Dirk Balfanz, and Glenn Durfee. Efficient Tracing of Failed Nodes in Sensor Networks. In Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications, pages 122-130, 2002. ACM Press. Keyword(s): fault management sensor network. [bibtex-entry]



5. Tzone I Wang and Chien Chao Wang. Mobile Agents for Distributed Logic Programming. In Proceedings of the Ninth International Conference on Parallel and Distributed Systems, pages 177-182, 2002. Keyword(s): distributed knowledge system. [bibtex-entry]

1. Okan Arikan, Stephen Chenney, and D. A. Forsyth. Efficient Multi-Agent Path Planning. In Proceedings of the Eurographic Workshop on Computer Animation and Simulation, Manchester, UK, pages 151-162, 2001. Springer-Verlag. Keyword(s): multi-agent planning, path planning. [bibtex-entry]



2. U. Hustadt, C. Dixon, R. A. Schmidt, M. Fisher, J.-J. Ch. Meyer, and W. van der Hoek. Reasoning about Agents in the KARO Framework. In Proceedings. Eighth International Symposium on Temporal Representation and Reasoning, pages 206-213, 2001. Keyword(s): KARO framework, agent theory. [bibtex-entry]



3. Eric Martin, Arun Sharma, and Frank Stephan. A General Theory of Deduction, Induction, and Learning. In DS '01: Proceedings of the 4th International Conference on Discovery Science, pages 228-242, 2001. Springer-Verlag. Keyword(s): logic programming, inductive reasoning. [bibtex-entry]



4. Luis Farinas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, and Fabio Massacci. Lotrec The Generic Tableau Prover for Modal and Description Logics. In International Joint Conference on Automated Reasoning, 2001. Keyword(s): modal logic, proof system. [bibtex-entry]

1. Eduardo Alonso and Daniel Kudenko. Logic-based Multi-Agent Systems for Conflict Simulations: A Preliminary Report on Architecture and Implementation. In The Third Workshop of the UK Special Interest Group on Multi-Agetnt Systems, 2000. Keyword(s): multi-agent system, multi-agent learning, explanation-based learning, inductive logic programming. [bibtex-entry]



2. Alvaro A. A. Fernandes. Combining Inductive and Deductive Inference in Knowledge Management Tasks. In Proceedings of the 11th International Workshop on Database and Expert Systems Applications, pages 1109-1114, 2000. IEEE Computer Society. Keyword(s): deductive-inductive system. [bibtex-entry]



3. Fedor A. Kolushev and Alexander A. Bogdanov. Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles. In PSI '99: Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics, volume 1755, pages 503-510, 2000. Springer-Verlag. Keyword(s): multi-agent planning, path planning. [bibtex-entry]



4. David Lorenzo and Ramon P. Otero. Using a ILP algorithm to learn Logic Programs for Reasoning about Actions. In J. Cussens and A. Frisch, editors, Work-in-Progress Track at the 10th International Conference on Inductive Logic Programming, pages 163-171, 2000. Keyword(s): situation calculus, inductive logic programming. [bibtex-entry]



5. Tohgoroh Matsui, Nobuhiro Inuzuka, and Hirohisa Seki. A Proposal for Inductive Learning Agent Using First-Order Logic. In Proceedings of the Work-in-Progress Track at the 10th International Conference on Inductive Logic Programming, pages 180-193, 2000. Keyword(s): inductive learning. [bibtex-entry]



6. Hayato Ohwada, Hiroyuki Nishiyama, and Fumio Mizoguchi. Concurrent Execution of Optimal Hypothesis Search for Inverse Entailment. In 10th International Conference on Inductive Logic Programming, pages 165-173, 2000. Springer-Verlag. Keyword(s): inductive logic programming, distributed problem solving. [bibtex-entry]



7. S. L. Ricker and K. Rudie. Distributed Knowledge for Communication in Decentralized Discrete-Event Systems. In Proceedings of the 39th IEEE Conference on Decision and Control, volume 1, pages 9-15, 2000. Keyword(s): distributed knowledge system, modal logic. [bibtex-entry]

1. Eduardo Alonso and Daniel Kudenko. Machine Learning Techniques for Adaptive Logic-Based Multi-Agent Systems A Preliminary Report. In The Second Workshop of the UK Special Interest Group on Multi-Agetnt Systems, 1999. Keyword(s): multi-agent system, multi-agent learning, explanation-based learning, inductive logic programming. [bibtex-entry]



2. A. Prodromidis and S. Stolfo. Agent-Based Distributed Learning Applied to Fraud Detection. In Sixteenth National Conference on Artificial Intelligence, 1999. Keyword(s): machine learning, distributed artificial intelligence, multi-agent learning. [bibtex-entry]

1. Guillaume Beslon, Frédérique Biennier, and Béat Hirsbrunner. Multi-Robot Path-Planning Based on Implicit Cooperation in a Robotic Swarm. In Proceedings of the Second International Conference on Autonomous Agents, Minneapolis, Minnesota, United States, pages 39-46, 1998. ACM Press. Keyword(s): multi-agent planning, path planning. [bibtex-entry]



2. Nico Jacobs, Kurt Driessens, and Luc De Raedt. Using ILP-Systems for Verification and Validation of Multi-agent Systems. In ILP '98: Proceedings of the 8th International Workshop on Inductive Logic Programming, pages 145-154, 1998. Springer-Verlag. Keyword(s): inductive logic programming, deductive-inductive system, multi-agent system. [bibtex-entry]

1. Winton Davies and Peter Edwards. The Communication of Inductive Inferences. In Gerhard Weiss, editor, ECAI '96: Selected papers from the Workshop on Distributed Artificial Intelligence Meets Machine Learning, Learning in Multi-Agent Environments, pages 223-241, 1997. Springer-Verlag. Keyword(s): multi-agent learning, interactive learning, inductive learning, high relevance. [bibtex-entry]



2. Holger Friedrich, Michael Kaiser Oliver Rogalla, and Rüdiger Dillmann. Learning and Communication in Multi-Agent Systems. In ECAI '96: Selected papers from the Workshop on Distributed Artificial Intelligence Meets Machine Learning, Learning in Multi-Agent Environments, pages 259-275, 1997. Springer-Verlag. Keyword(s): multi-agent learning, interactive learning, high relevance. [bibtex-entry]



3. Raymond J. Mooney. Integrating Abduction and Induction in Machine Learning. In Working Notes of the IJCAI-97 Workshop on Abduction and Induction in AI, Nagoya, Japan, pages 37-42, 1997. Keyword(s): machine learning, inductive logic programming, inductive reasoning. [bibtex-entry]



4. Enric Plaza, Josep Lluìs Arcos, and Francisco J. Martìn. Cooperative Case-Based Reasoning. In ECAI '96: Selected papers from the Workshop on Distributed Artificial Intelligence Meets Machine Learning, Learning in Multi-Agent Environments, pages 180-201, 1997. Springer-Verlag. Keyword(s): multi-agent learning, interactive learning, high relevance. [bibtex-entry]



5. M. V. Nagendra Prasad and Victor R. Lesser. Learning Problem Solving Control in Cooperative Multi-Agent Systems. In Workshop on Multi-Agent Learning, AAAI-97, Providence, Rhode Island, 1997. Keyword(s): multi-agent coordination, multi-agent learning. [bibtex-entry]



6. W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. An Integrated Modal Approach to Rational Agents. In Proceedings of 2nd AISB Workshop on Practical Reasoning and Rationality, pages 123-159, 1997. Keyword(s): modal logic, intelligent agents. [bibtex-entry]

1. Atocha Aliseda. A Unified Framework for Abductive and Inductive Reasoning in Philosophy and AI. In Proceedings of the ECAI'96 Workshop on Abductive and Inductive Reasoning, 1996. Keyword(s): inductive reasoning. [bibtex-entry]



2. John Bell. Induction in Philosophy and AI. In Proceedings of the ECAI'96 Workshop on Abductive and Inductive Reasoning, pages 7-9, 1996. Keyword(s): inductive reasoning. [bibtex-entry]



3. Brigitte Bessant. The Babelism about Induction and Abduction. In Proceedings of the ECAI'96 Workshop on Abductive and Inductive Reasoning, pages 10-13, 1996. Keyword(s): inductive reasoning. [bibtex-entry]



4. Marc Denecker, Bern Martens, and Luc De Raedt. On the Difference between Abduction and Induction: A Model Theoretic Perspective. In Proceedings of the ECAI'96 Workshop on Abductive and Inductive Reasoning, pages 19-22, 1996. Keyword(s): logic programming, inductive logic programming, inductive reasoning. [bibtex-entry]



5. Yannis Dimopoulos and Antonis Kakas. Abduction and Induction: an AI Perspective. In Proceedings of the ECAI'96 Workshop on Abductive and Inductive Reasoning, pages 68-70, 1996. Keyword(s): inductive reasoning. [bibtex-entry]



6. F. Esposito, E. Lamma, D. Malerba, P. Mello, M. Milano, F. Riguzzi, and G. Semeraro. Learning abductive logic programs. In Proceedings of the ECAI'96 Workshop on Abductive and Inductive Reasoning, 1996. Keyword(s): inductive reasoning, inductive logic programming. [bibtex-entry]



7. Peter A. Flach. Rationality Postulates for Induction. In Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, pages 267-281, 1996. Morgan Kaufmann Publishers. Keyword(s): inductive reasoning. [bibtex-entry]



8. Éric Grégoire and Lakhdar Sais. Inductive Reasoning is Sometimes Deductive. In Proceedings of the ECAI'96 Workshop on Abductive and Inductive Reasoning, 1996. Keyword(s): inductive reasoning. [bibtex-entry]



9. Foster John Provost and Daniel N. Hennessy. Scaling Up: Distributed Machine Learning with Cooperation. In Thirteenth National Conference on Artificial Intelligence, 1996. Keyword(s): multi-agent coordination, machine learning. [bibtex-entry]



10. José M. Vidal and Edmund H. Durfee. The Impact of Nested Agent Models in an Information Economy. In Proceedings of the Second International Conference on Multi-Agent Systems, pages 377-384, 1996. Keyword(s): multi-agent system, multi-agent learning, high relevance. [bibtex-entry]

1. Samir Aknine. Issues in Cooperative Systems: Extending the Contract Net Protocol. In Proceedings of the First Internation Conference on Multiagent Systems (ICMAS-95), 1995. Keyword(s): contract net, multi-agent system, collaborative problem solving. [bibtex-entry]



2. Philip R. Cohen and Hector J. Levesque. Communicative Actions for Artificial Agents. In Victor Lesser and Les Gasser, editors, Proceedings of the First International Conference on Multi-Agent Systems, pages 65-72, 1995. The MIT Press. Keyword(s): speech act, agent communication. [bibtex-entry]



3. Winton Davies. Agent-Based Knowledge Discovery. In Working Notes of the AAAI Spring Symposium on Information Gathering from Heterogeneous, Distributed Environments, Standford University, 1995. Keyword(s): distributed knowledge system, multi-agent learning, interactive learning, inductive learning, high relevance. [bibtex-entry]



4. Luc Dehaspe and Luc De Raedt. Parallel Inductive Logic Programming. In MLnet Familiarization Workshop on Statistics, Machine Learning and Knowledge Discovery in Databases, 1995. Keyword(s): inductive logic programming, distributed problem solving. [bibtex-entry]



5. Michael L. Littman, Anthony R. Cassandra, and Leslie Pack Kaelbling. Learning Policies for Partially Observable Environments: Scaling up. In Armand Prieditis and Stuart Russell, editors, Twelfth International Conference on Machine Learning, pages 362-370, 1995. Morgan Kaufmann. Keyword(s): machine learning. [bibtex-entry]



6. Michael J. Wooldridge and Nicholas R. Jennings. Agent Theories, Architectures, and Languages: A Survey. In Michael J. Wooldridge and Nicholas R. Jennings, editors, Workshop on Agent Theories, Architectures and Languages (ECAI'94), volume 890, pages 1-22, 1995. Springer-Verlag. Keyword(s): agent theory, agent architecture, agent programming language, survey. [bibtex-entry]



7. Makoto Yokoo. Asynchronous Weak-commitment Search for Solving Distributed Constraint Satisfaction Problems. In CP '95: Proceedings of the First International Conference on Principles and Practice of Constraint Programming, pages 88-102, 1995. Springer-Verlag. Keyword(s): distributed constraint satisfaction, distributed artificial intelligence, multi-agent system. [bibtex-entry]

1. D. Cho, F. Kusunoki, S. Ono, and T. Terano. Developing a Multi-Agent Model for Distributed Knowledge Systems. In Proceedings of International Conference on Expert Systems for Development, volume 28-31, pages 49-54, 1994. Keyword(s): distributed knowledge system, machine learning. [bibtex-entry]



2. Tim Finin, Richard Fritzson, Don McKay, and Robin McEntire. KQML as an Agent Communication Language. In CIKM '94: Proceedings of the Third International Conference on Information and Knowledge Management, pages 456-463, 1994. Keyword(s): agent communication. [bibtex-entry]



3. Peter Haddawy and AnHai Doan. Abstracting Probabilistic Actions. In Tenth Conference on Uncertainty in Artificial Intelligence, 1994. Keyword(s): planning. [bibtex-entry]



4. Peter Haddawy and Meliani Suwandi. Decision-Theoretic Refinement Planning Using Inheritance Abstraction. In International Conference on AI Planning and Scheduling, pages 266-271, 1994. Keyword(s): decision theory. [bibtex-entry]



5. Mehmet Ali Orgun and Wanli Ma. An Overview of Temporal and Modal Logic Programming. In ICTL'94: The 1st International Conference on Temporal Logic, 1994. Springer-Verlag. Keyword(s): modal logic, temporal logic, agent programming language, survey. [bibtex-entry]



6. Sandip Sen, Mahendra Sekaran, and John Hale. Learning to Coordinate without Sharing Information. In Proceedings of the Twelfth National Conference on Artificial Intelligence, Seattle, WA, pages 426-431, 1994. Keyword(s): multi-agent system, multi-agent coordination, multi-agent learning. [bibtex-entry]



7. W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. A Logic of Capabilities. In Proceedings of the Third International Symposium on Logical Foundations of Computer Science, pages 366-378, 1994. Springer-Verlag. Keyword(s): logics, modal logic, dynamic logic, KARO framework. [bibtex-entry]

1. Claude Sammut. The Origins of Inductive Logic Programming: A Prehistoric Tale. In S. Muggleton, editor, Proceedings of the 3rd International Workshop on Inductive Logic Programming, pages 127-148, 1993. J. Stefan Institute. Keyword(s): inductive logic programming. [bibtex-entry]

1. Jean Marc Allioty, Andreas Herzig, and Mamede Lima Marquesx. Implementing Prolog Extensions A Parallel Inference Machine. In International Conference on Fifth Generation Computer Systems, ICOT, Japan, 1992. Association for Computing Machinery. Keyword(s): modal logic, proof system. [bibtex-entry]



2. Michael A. Bauer and Tong Wang. Strategies for Distributed Search. In ACM annual conference on Communications, pages 251-260, 1992. ACM Press. Keyword(s): algorithm. [bibtex-entry]



3. Mark A. Peot and David E. Smith. Conditional Nonlinear Planning. In James Hendler, editor, First International Conference on AI Planning Systems, pages 189-197, 1992. Morgan Kaufmann. Keyword(s): planning. [bibtex-entry]



4. Makoto Yokoo, Edmund H. Durfee, Toru Ishida, and Kazuhiro Kuwabara. Distributed Constraint Satisfaction for Formalizing Distributed Problem Solving. In International Conference on Distributed Computing Systems, pages 614-621, 1992. Keyword(s): distributed constraint satisfaction, distributed problem solving. [bibtex-entry]

1. Anand S. Rao and Michael P. Georgeff. Modeling Rational Agents within a BDI-Architecture. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR91), pages 473-484, 1991. Morgan Kaufmann. Keyword(s): BDI architecture. [bibtex-entry]



2. Munindar P. Singh. A Logic of Situated Know-How. In Thomas Dean and Kathy McKeown, editors, Proceedings of the Ninth National Conference on Artificial Intelligence, pages 343-348, 1991. AAAI Press. Keyword(s): logics, modal logic, dynamic logic. [bibtex-entry]

1. M. Li and P. M. B. Vitanyi. Inductive Reasoning and Kolmogorov Complexity. In Structure in Complexity Theory Conference, pages 165-185, 1989. Keyword(s): inductive reasoning. [bibtex-entry]



2. Stephen Muggleton. Duce, an Oracle-Based Approach to Constructive Induction. In Proc. Tenth International Joint Conference on Artificial Intelligence, pages 287-292, 1989. Morgan Kaufmann. Keyword(s): inductive logic programming. [bibtex-entry]

1. Stephen Muggleton and W. Buntine. Machine Invention of First-Order Predicates by Inverting Resolution. In Procceding of the Fifth International Conference on Machine Learning, pages 339-352, 1988. Morgan Kaufmann. Keyword(s): inductive logic programming. [bibtex-entry]



2. Hans Jürgen Ohlbach. A Resolution Calculus for Modal Logics. In 9th International Conference on Automated Deduction, pages 500-516, 1988. Springer-Verlag. Keyword(s): modal logic. [bibtex-entry]

1. Joseph Y. Halpern and Lenore D. Zuck. A Little Knowledge Goes a Long Way: Simple Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols. In Proceedings of the sixth annual ACM Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, pages 269-280, 1987. ACM Press. Keyword(s): epistemic logic. [bibtex-entry]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html