1. Michael J. Wooldridge. Reasoning about Rational Agents. The MIT Press, Cambridge, Massachusetts, 2000. Keyword(s): intelligent agents, multi-agent system, agent architecture. [bibtex-entry]

1. Allan Larsen. The Dynamic Vehicle Routing Problem. PhD thesis, University of Denmark, 2000. Keyword(s): vehicle routing problem. [bibtex-entry]

1. Peter A. Flach. On the Logic of Hypothesis Generation. In Peter A. Flach and Antonis C. Kakas, editors, Abduction and Induction: Essays on Their Relation and Integration, pages 89-106. Kluwer Academic Publishers, 2000. Keyword(s): inductive reasoning. [bibtex-entry]



2. Peter A. Flach and Antonis C. Kakas. Abductive and Inductive Reasoning: Background and Issues. In Peter A. Flach and Antonis C. Kakas, editors, Abduction and Induction: Essays on Their Relation and Integration, pages 1-27. Kluwer Academic Publishers, 2000. Keyword(s): inductive reasoning. [bibtex-entry]



3. Nicolas Lachiche. Abduction and Induction From a Non-Monotonic Reasoning Perspective. In Peter A. Flach and Antonis C. Kakas, editors, Abduction and Induction: Essays on Their Relation and Integration, pages 107-116. Kluwer Academic Publishers, 2000. Keyword(s): inductive reasoning. [bibtex-entry]



4. Bruno De Backer, Vincent Furnon, Paul Shaw, Philip Kilby, and Patrick Prosser. Solving Vehicle Routing Problems using Constraint Programming and Metaheuristics. Journal of Heuristics, 6(4):501-523, 2000. Keyword(s): vehicle routing problem, constraint satisfaction. [bibtex-entry]



5. Patrick Blackburn. Representation, Reasoning, and Relational Structures: A Hybrid Logic Manifesto. Logic Journal of the IGPL, 8(3):339-365, 2000. Keyword(s): modal logic, hybrid logic. [bibtex-entry]



6. Craig Boutilier, Richard Dearden, and Moisés Goldszmidt. Stochastic Dynamic Programming with Factored Representations. Artificial Intelligence, 121(1-2):49-107, 2000. Keyword(s): markov theory. [bibtex-entry]



7. Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. ConGolog, a Concurrent Programming Language based on the Situation Calculus.. Artificial Intelligence, 121(1-2):109-169, 2000. Keyword(s): situation calculus, agent programming language. [bibtex-entry]



8. Markus Hannebauer. A Formalization of Autonomous Dynamic Reconfiguration in Distributed Constraint Satisfaction. Fundamenta Informaticae, 43(1-4):129-151, 2000. Keyword(s): distributed constraint satisfaction, distributed artificial intelligence, multi-agent system. [bibtex-entry]



9. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. Semantics of Communicating Agents Based on Deduction and Abduction. Lecture Notes In Computer Science, 1916(Issues in Agent Communication):63-79, 2000. Keyword(s): agent communication, agent programming language, inductive reasoning. [bibtex-entry]



10. Peter Stone and Manuela Veloso. Multiagent Systems: A Survey from a Machine Learning Perspective. Autonomous Robots, 8(3):345-383, 2000. Keyword(s): multi-agent system, machine learning, survey. [bibtex-entry]



11. Makoto Yokoo and Katsutoshi Hirayama. Algorithms for Distributed Constraint Satisfaction: A Review. Autonomous Agents and Multi-Agent Systems, 3(2):185-207, 2000. Keyword(s): algorithm, constraint satisfaction. [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]

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