1. Luc De Raedt and Kristian Kersting. Probabilistic Inductive Logic Programming. In Luc De Raedt, Paolo Frasconi, Kristian Kersting, and Stephen Muggleton, editors, Probabilistic Inductive Logic Programming - Theory and Applications, Lecture Notes in Computer Science, pages 1-27. Springer, 2008. Keyword(s): inductive logic programming. [bibtex-entry]



2. Jiefei Ma, Alessandra Russo, Krysia Broda, and Keith Clark. DARE: A System for Distributed Abductive Reasoning. Autonomous Agents and Multi-Agent Systems, 16(3):271-297, 2008. Keyword(s): abductive logic programming, multi-agent learning, distributed problem solving. [bibtex-entry]



3. Chiaki Sakama and Katsumi Inoue. Coordination in Answer Set Programming. ACM Transactions on Computational Logic, 9(2):1-30, 2008. Keyword(s): multi-agent system, multi-agent coordination, answer set programming. [bibtex-entry]

1. Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, and Dirk Vermeir. Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. In Computational Logic in Multi-Agent Systems (CLIMA VII), volume 4371 of Lecture Notes in Computer Science, pages 20-40. Springer, 2007. Keyword(s): multi-agent system, answer set programming. [bibtex-entry]



2. Lilia Paradis and Qi Han. A Survey of Fault Management in Wireless Sensor Networks. Journal of Network and Systems Management, 15(2):171-190, 2007. Keyword(s): fault management, sensor network, survey. [bibtex-entry]



3. Jirì Vokrìnek, Jirì Bìba, Jirì Hodìk, Jaromìr Vybìhal, and Michal Pechoucek. Competitive Contract Net Protocol. Lecture Notes in Computer Science, 4362:656-668, 2007. Keyword(s): contract net, multi-agent system, collaborative problem solving. [bibtex-entry]

1. Stefan Ropke and David Pisinger. An Adaptive Large Neighborhood Search Heuristic for the Pickup and Delivery Problem with Time Windows. Transportation Science, 40(4):455-472, 2006. Keyword(s): problem solving, pickup and delivery problem. [bibtex-entry]

1. Conor Hayes Paolo Avesani and Marco Cova. Language Games Learning Shared Concepts Among Distributed Information Agents. In IJCAI-05 Workshop: Multi-Agent Information Retrieval and Recommender Systems. 2005. Keyword(s): distributed artificial intelligence, multi-agent learning. [bibtex-entry]



2. Imen Boudali, Wajdi Fki, and Khaled Ghedira. An Interactive Distributed Approach For The Vrp With Time Windows. International Journal of Simulation, 6(10):48-59, 2005. Keyword(s): vehicle routing problem, distributed problem solving. [bibtex-entry]



3. Alexandre Le Bouthillier, Teodor G. Crainic, and Peter Kropf. A Guided Cooperative Search for the Vehicle Routing Problem with Time Windows. 20(4):36-42, 2005. Keyword(s): problem solving, vehicle routing problem. [bibtex-entry]



4. Olli Bräysy and Michel Gendreau. Vehicle Routing Problem with Time Windows, Part I Route Construction and Local Search Algorithms. Transportation Science, 39(1):104-118, 2005. Keyword(s): problem solving, vehicle routing problem. [bibtex-entry]



5. Olli Bräysy and Michel Gendreau. Vehicle Routing Problem with Time Windows, Part II Metaheuristics. Transportation Science, 39(1):119-139, 2005. Keyword(s): problem solving, vehicle routing problem. [bibtex-entry]



6. Jochen Burghardt. E-Generalization using Grammars. Artificial Intelligence, 165(1):1-35, 2005. Keyword(s): inductive logic programming. [bibtex-entry]



7. Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla Gomes, Bhaskar Krishnamachari, Bart Selman, and Magda Valls. Sensor Networks and Distributed CSP: Communication, Computation and Complexity. Artificial Intelligence, 161(1-2):117-147, 2005. Keyword(s): algorithm, constraint satisfaction, sensor network. [bibtex-entry]



8. Pragnesh Jay Modi, Wei Min Shen, Milind Tambe, and Makoto Yokoo. Adopt: Asynchronous Distributed Constraint Optimization with Quality Guarantees. Artificial Intelligence, 161(1-2):149-180, 2005. Keyword(s): algorithm, constraint satisfaction. [bibtex-entry]



9. Mirco Nanni, Alessandra Raffaetà, Chiara Renso, and Franco Turini. Deductive and Inductive Reasoning on Spatio-Temporal Data. Lecture Notes in Computer Science, 3392:98-115, 2005. Keyword(s): deductive-inductive system, inductive reasoning. [bibtex-entry]



10. Liviu Panait and Sean Luke. Cooperative Multi-Agent Learning: The State of the Art. Autonomous Agents and Multi-Agent Systems, 11(3):387-434, 2005. Keyword(s): multi-agent learning, interactive learning, survey. [bibtex-entry]



11. Neal Patwari, Joshua N. Ash, Spyros Kyperountas, Alfred O. Hero III, Randolph L. Moses, and Neiyer S. Correal. Locating the Nodes: Cooperative Localization in Wireless Sensor Networks. IEEE Signal Processing Magazine, 22(4):54-69, 2005. Keyword(s): sensor network. [bibtex-entry]



12. Huan-cheng Zhang and Miao-liang Zhu. Self-Organized Architecture for Outdoor Mobile Robot Navigation. Journal of Zhejiang University Science, 6(6):583-590, 2005. Keyword(s): multi-agent planning, path planning. [bibtex-entry]

1. Joke Meheus. Adaptive Logics and the Integration of Induction and Deduction. In F. Stadler, editor, Induction and Deduction in the Sciences, volume 11 of Vienna Circle Institute Yearbook, pages 93-120. Kluwer, 2004. Keyword(s): deductive-inductive system. [bibtex-entry]



2. Silvio do Lago Pereira and Leliane Nunes de Barros. High-Level Robot Programming: An Abductive Approach Using Event Calculus. In Advances in Artificial Intelligence - SBIA 2004, volume 3171 of Lecture Notes in Computer Science, pages 73-82. Springer, 2004. Keyword(s): planning, event calculus, deductive-inductive system, abductive logic programming. [bibtex-entry]



3. Silvio do Lago Pereira and Leliane Nunes de Barros. Planning with Abduction A Logical Framework to Explore Extensions to Classical Planning. In Advances in Artificial Intelligence - SBIA 2004, volume 3171, pages 62-72. Springer, 2004. Keyword(s): planning, event calculus, deductive-inductive system, abductive logic programming. [bibtex-entry]



4. Samir Aknine, Suzanne Pinson, and Melvin F. Shakun. An Extended Multi-Agent Negotiation Protocol. Autonomous Agents and Multi-Agent Systems, 8(1):1387-2532, 2004. Keyword(s): contract net, multi-agent system, multi-agent coordination. [bibtex-entry]



5. David Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, and Jorgen Fischer Nilsson. Synthesis of Programs in Computational Logic. Lecture Notes in Computer Science, 3049:30-65, 2004. Keyword(s): program synthesis, logic programming, survey. [bibtex-entry]



6. Mark D'Inverno, Michael Luck, Michael P. Georgeff, David Kinny, and Michael J. Wooldridge. The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Autonomous Agents and Multi-Agent Systems, 9:5-53, 2004. Keyword(s): agent programming language, multi-agent system. [bibtex-entry]



7. Alejandro Guerra-Hernández, Amal El Fallah-Seghrouchni, and Henry Soldano. Learning in BDI Multi-Agent Systems. Lecture Notes in Computer Science, 3259:218-233, 2004. Keyword(s): multi-agent learning, BDI architecture, inductive logic programming, high relevance. [bibtex-entry]



8. Marina De Vos and Dirk Vermeir. Extending Answer Sets for Logic Programming Agents. Annals of Mathematics and Artificial Intelligence, 42(1-3):103-139, 2004. Keyword(s): multi-agent system, answer set programming. [bibtex-entry]



9. Franco Zambonelli and Andrea Omicini. Challenges and Research Directions in Agent-Oriented Software Engineering. Autonomous Agents and Multi-Agent Systems, 9(3):253-283, 2004. Keyword(s): intelligent agents, multi-agent system, software engineering. [bibtex-entry]

1. Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, and Paolo Torroni. Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate. Annals of Mathematics and Artificial Intelligence, 37(1):65-91, 2003. Keyword(s): abductive logic programming, multi-agent system, multi-agent coordination. [bibtex-entry]



2. Jean-Francois Cordeau and Gilbert Laporte. The Dial-a-Ride Problem (DARP): Variants, Modeling Issues and Algorithms. 4OR: A Quarterly Journal of Operations Research, 1(2):89-101, 2003. Keyword(s): vehicle routing problem. [bibtex-entry]



3. Cora B. Excelente-Toledo and Nicholas R. Jennings. Learning When and How to Coordinate. Web Intelligence and Agent System, 1(3-4):203-218, 2003. Keyword(s): multi-agent coordination, multi-agent learning. [bibtex-entry]



4. Robert Goldblatt. Mathematical Modal Logic: A View of Its Evolution. Journal of Applied Logic, 1(5-6):309-392, 2003. Keyword(s): modal logic, survey. [bibtex-entry]



5. Carlos Guestrin, Daphne Koller, Ronald Parr, and Shobha Venkataraman. Efficient Solution Algorithms for Factored MDPs. Journal of Artificial Intelligence Research, 19:399-468, 2003. Keyword(s): markov theory. [bibtex-entry]



6. Yih-Chun Hu, David B. Johnson, and Adrian Perrig. SEAD: Secure Efficient Distance Vector Routing for Mobile Wireless Ad Hoc Networks. Ad Hoc Networks, 1(1):175-192, 2003. Keyword(s): wireless network. [bibtex-entry]



7. Hoong Chuin Lau, Melvyn Sim, and Kwong Meng Teo. Vehicle Routing Problem with Time Windows and a Limited Number of Vehicles. European Journal of Operational Research, 148(3):559-569, 2003. Keyword(s): problem solving, vehicle routing problem. [bibtex-entry]



8. Peter van Roy, Per Brand, Denys Duchier, Seif Haridi, Christian Schulte, and Martin Henz. Logic Programming in the Context of Multiparadigm Programming: the Oz Experience. Theory and Practice of Logic Programming, 3:717-763, 2003. Keyword(s): logic programming, multi-agent system. [bibtex-entry]

1. Marc Denecker and Antonis C. Kakas. Abduction in Logic Programming. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I, pages 402-436. Springer-Verlag, London, UK, 2002. Keyword(s): logic programming, inductive logic programming, inductive reasoning, survey. [bibtex-entry]



2. Peter Flach and Nada Lavrac. Learning in Clausal Logic: A Perspective on Inductive Logic Programming. In Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part I. Springer-Verlag, 2002. Keyword(s): inductive logic programming, inductive reasoning. [bibtex-entry]



3. Donald Gillies. Logicism and the Development of Computer Science. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pages 588-604. Springer-Verlag, London, UK, 2002. Keyword(s): logics. [bibtex-entry]



4. Katsumi Inoue. Automated Abduction. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pages 311-341. Springer-Verlag, London, UK, 2002. Keyword(s): inductive reasoning. [bibtex-entry]



5. Robert A. Kowalski. Directions for Logic Programming. In Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part I, pages 26-32. Springer-Verlag, 2002. Keyword(s): logic programming, inductive reasoning. [bibtex-entry]



6. Ian F. Akyildiz, Weilian Su, Yogesh Sankarasubramaniam, and Erdal Cayirci. A Survey on Sensor Networks. IEEE Communications Magazine, 40(8):102-114, 2002. Keyword(s): sensor network, survey. [bibtex-entry]



7. Hans Chalupsky, Yolanda Gil, Craig Knoblock, Knoblock Lerman, Jean Oh, David V. Pynadath, Thomas A. Russ, and Milind Tambe. Electric Elves Agent Technology for Supporting Human Organizations. Artificial Intelligence, 23(2):11-24, 2002. Keyword(s): multi-agent system. [bibtex-entry]



8. Samir Chopra and Eric Martin. Generalized Logical Consequence: Making Room for Induction in the Logic of Science. Journal of Philosophical Logic, 31(3):245-280, 2002. Keyword(s): deductive-inductive system, inductive reasoning. [bibtex-entry]



9. Rosaria Conte and Jaime Simáo Sichman. Dependence Graphs: Dependence Within and Between Groups. Computational and Mathematical Organization Theory, 8(2):87-112, 2002. Keyword(s): multi-agent coordination. [bibtex-entry]



10. Vladimir Lifschitz. Answer Set Programming and Plan Generation. Artificial Intelligence, 138(1-2):39-54, 2002. Keyword(s): logic programming, answer set programming. [bibtex-entry]



11. Simon Parsons and Michael Wooldridge. Game Theory and Decision Theory in Multi-Agent Systems. Autonomous Agents and Multi-Agent Systems, 5(3):243-254, 2002. Keyword(s): game theory, decision theory, multi-agent system. [bibtex-entry]



12. Judea Pearl. Reasoning with Cause and Effect. AI Magazine, 23(1):95-111, 2002. Keyword(s): bayesian theory, model theory. [bibtex-entry]



13. David V. Pynadath and Milind Tambe. The Communicative Multiagent Team Decision Problem: Analyzing Teamwork Theories and Models. Journal of AI research, 16:389-423, 2002. Keyword(s): multi-agent coordination. [bibtex-entry]



14. Luc De Raedt. A Perspective on Inductive Databases. SIGKDD Explorations Newsletter, 4(2):69-77, 2002. Keyword(s): inductive logic programming, deductive-inductive system. [bibtex-entry]

1. Dimitar Kazakov and Daniel Kudenko. Machine Learning and Inductive Logic Programming for Multi-agent Systems. In M. Luck, V. Marik, and O. Stepankova, editors, Multi-Agent Systems and Applications, volume 2086, pages 246-270. Springer, 2001. Keyword(s): multi-agent system, machine learning, inductive logic programming, high relevance. [bibtex-entry]



2. Michael Wooldridge and Paolo Ciancarini. Agent-Oriented Software Engineering: The State of the Art. In Paolo Ciancarini and Michael Wooldridge, editors, Agent-Oriented Software Engineering, pages 55-82. Springer-Verlag, 2001. Keyword(s): software engineering, multi-agent system. [bibtex-entry]



3. Wiebe van der Hoek. Logical Foundations of Agent-Based Computing. In Mutli-agents Systems and Applications, pages 50-73. Springer-Verlag New York, Inc., 2001. Keyword(s): logics, epistemic logic, agent programming language, model theory. [bibtex-entry]



4. Eduardo Alonso, Mark D'Inverno, Daniel Kudenko, Michael Luck, and Jason Noble. Learning in Multi-Agent Systems. Knowledge Engineering Review, 16(3):277-284, 2001. Keyword(s): machine learning, multi-agent system, inductive logic programming, explanation-based reasoning, social learning, high relevance. [bibtex-entry]



5. Eduardo Alonso and Daniel Kudenko. Machine Learning for Logic-Based Multi-agent Systems. Lecture Notes in Computer Science, 1871, 2001. Keyword(s): multi-agent system, multi-agent learning, explanation-based learning, inductive logic programming. [bibtex-entry]



6. Evgeny Dantsin, Thomas Eiter, Georg Gottlob, and Andrei Voronkov. Complexity and Expressive Power of Logic Programming. ACM Computing Surveys, 33(3):374-425, 2001. Keyword(s): logic programming. [bibtex-entry]



7. José Hernández-Orallo and M. José Ramìrez-Quintana. Predictive Software. Automated Software Engineering, 8(2):139-166, 2001. Keyword(s): software engineering, inductive learning. [bibtex-entry]



8. Chiaki Sakama. Nonmonotonic Inductive Logic Programming. Lecture Notes in Computer Science, 2173:62-80, 2001. Keyword(s): inductive logic programming, nonmonotonic logic. [bibtex-entry]



9. Ashwin Srinivasan. Extracting Context-Sensitive Models in Inductive Logic Programming. Machine Learning, 44(3):301-324, 2001. Keyword(s): machine learning, inductive logic programming. [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. Edmund H. Durfee. Distributed Problem Solving and Planning. In Gerhard Weiss, editor, Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, pages 121-164. MIT Press, Cambridge, MA, USA, 1999. Keyword(s): distributed artificial intelligence, distributed problem solving. [bibtex-entry]



2. Giuseppe De Giacomo and Hector J. Levesque. An Incremental Interpreter for High-Level Programs with Sensing. In Hector J. Levesque and Fiora Pirri, editors, Logical Foundation for Cognitive Agents: Contributions in Honor of Ray Reiter, pages 86-102. Springer, Berlin, 1999. Keyword(s): situation calculus, agent programming language. [bibtex-entry]



3. Joseph Y. Halpern and Richard A. Shore. Reasoning about Common Knowledge with Infinitely Many Agents. In Logic in Computer Science, pages 384-393. 1999. Keyword(s): epistemic logic, multi-agent system. [bibtex-entry]



4. Michael N. Huhns and Larry M. Stephens. Multiagent Systems and Societies of Agents. In Gerhard Weiss, editor, Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, pages 79-120. MIT Press, Cambridge, MA, USA, 1999. Keyword(s): multi-agent system, multi-agent coordination. [bibtex-entry]



5. Victor W. Marek and Mirosaw Truszczynski. Stable Models and an Alternative Logic Programming Paradigm. In Krzysztof R. Apt, David S. Warren, and Mirek Truszczynski, editors, The Logic Programming Paradigm: a 25-Year Perspective, pages 375-398. Springer-Verlag, New York, 1999. Keyword(s): nonmonotonic logic, logic programming, answer set programming. [bibtex-entry]



6. Tuomas W. Sandholm. Distributed Rational Decision Making. In Gerhard Weiss, editor, Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, pages 201-258. MIT Press, Cambridge, MA, USA, 1999. Keyword(s): decision theory, multi-agent system. [bibtex-entry]



7. Sandip Sen and Gerhard Weiss. Learning in Multiagent Systems. In Gerhard Weiss, editor, Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, pages 259-298. MIT Press, Cambridge, MA, USA, 1999. Keyword(s): multi-agent system, multi-agent learning, machine learning, high relevance. [bibtex-entry]



8. Munindar P. Singh. Know-How. In Anand S. Rao and Michael J. Wooldridge, editors, Foundations of Rational Agency, Applied Logic Series, pages 105-132. Kluwer, 1999. Keyword(s): modal logic, dynamic logic. [bibtex-entry]



9. Munindar P. Singh, Anand S. Rao, and Michael P. Georgeff. Formal Methods in DAI: Logic-Based Representation and Reasoning. In Gerhard Weiss, editor, Multiagent Systems: a Modern Approach to Distributed Artificial Intelligence, pages 331-376. MIT Press, Cambridge, MA, USA, 1999. Keyword(s): agent theory, modal logic, dynamic logic, BDI architecture, multi-agent system. [bibtex-entry]



10. Gerhard Weiss and Pierre Dillenbourg. What is 'multi' in Multiagent Learning?. In Pierre Dillenbourg, editor, Collaborative learning. Cognitive and computational approaches, pages 64-80. Pergamon Press, 1999. Keyword(s): machine learning, multi-agent system, high relevance. [bibtex-entry]



11. Michael J. Wooldridge. Intelligent Agents. In Gerhard Weiss, editor, Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, pages 27-77. MIT Press, Cambridge, MA, USA, 1999. Keyword(s): intelligent agents, agent programming language, agent architecture. [bibtex-entry]



12. Jim Blythe. An Overview of Planning Under Uncertainty. Lecture Notes in Computer Science, 1600:85-110, 1999. Keyword(s): planning, markov theory. [bibtex-entry]



13. Jim Blythe. Decision-Theoretic Planning. AI Magazine, 20(2):37-54, 1999. Keyword(s): decision theory, planning. [bibtex-entry]



14. Craig Boutilier, Thomas Dean, and Steve Hanks. Decision-Theoretic Planning: Structural Assumptions and Computational Leverage. Journal of Artificial Intelligence Research, 11:1-94, 1999. Keyword(s): markov theory, decision theory. [bibtex-entry]



15. Koen V. Hindriks, Frank S. De Boer, Wiebe Van Der Hoek, and John-Jules Ch. Meyer. Agent Programming in 3APL. Autonomous Agents and Multi-Agent Systems, 2(4):357-401, 1999. Keyword(s): agent programming language. [bibtex-entry]



16. Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi. Integrating Induction and Abduction in Logic Programming. Information Sciences, 116(1):25-54, 1999. Keyword(s): logic programming, inductive logic programming, inductive reasoning. [bibtex-entry]



17. Victor R. Lesser. Cooperative Multiagent Systems: A Personal View of the State of the Art. IEEE Transactions on Knowledge and Data Engineering, 11(1):133-142, 1999. Keyword(s): multi-agent system. [bibtex-entry]



18. Stephen Muggleton. Inductive Logic Programming: Issues, Results and the Challenge of Learning Language in Logic. Artificial Intelligence, 114(1-2):283-296, 1999. Keyword(s): inductive logic programming. [bibtex-entry]



19. Ilkka Niemelä. Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. Annals of Mathematics and Artificial Intelligence, 25(3):241-273, 1999. Keyword(s): logic programming, nonmonotonic logic, answer set programming. [bibtex-entry]



20. R. Ramanujam. View-Based Explicit Knowledge. Annals of Pure and Applied Logic, 96(1-3):343-368, 1999. Keyword(s): epistemic logic, distributed knowledge system. [bibtex-entry]



21. Chiaki Sakama. Some Properties of Inverse Resolution in Normal Logic Programs. Lecture Notes in Computer Science, 1634(1999):279-290, 1999. Keyword(s): inductive logic programming. [bibtex-entry]



22. V. S. Subrahmanian. Nonmonotonic Logic Programming. IEEE Transactions on Knowledge and Data Engineering, 11(1):143-152, 1999. Keyword(s): model theory. [bibtex-entry]

1. Peter A. Flach. From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databases. In Burkhard Freitag, Hendrik Decker, Michael Kifer, and Andrei Voronkov, editors, Transactions and Change in Logic Databases, volume 1472 of Lecture Notes in Computer Science, pages 356-387. Springer-Verlag, 1998. Keyword(s): inductive logic programming, deductive-inductive system. [bibtex-entry]



2. Ming Tan. Multi-Agent Reinforcement Learning: Independent vs. Cooperative Agents. In Readings in Agents, pages 487-494. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1998. Keyword(s): multi-agent learning, multi-agent system. [bibtex-entry]



3. Gerhard Brewka and Jürgen Dix. Knowledge Representation with Logic Programs. Lecture Notes in Computer Science, 1471:1-102, 1998. Keyword(s): logic programming, knowledge representation, nonmonotonic logic. [bibtex-entry]



4. David Carmel and Shaul Markovitch. Model-based Learning of Interaction Strategies in Multiagent Systems. Journal of Experimental and Theoretical Artificial Intelligence, 10(3):309-332, 1998. Keyword(s): multi-agent learning, interactive learning, high relevance. [bibtex-entry]



5. F. Ho and M. Kamel. Learning Coordination Strategies for Cooperative Multiagent Systems. Machine Learning, 33(2 - 3):155-177, 1998. Keyword(s): multi-agent learning. [bibtex-entry]



6. Michael N. Huhns and Gernard Weiss. Guest Editorial. Machine Learning, 33(2-3):123-128, 1998. Keyword(s): multi-agent learning, editorial. [bibtex-entry]



7. Nicholas R. Jennings, Katia Sycara, and Michael J. Wooldridge. A Roadmap of Agent Research and Development. Journal of Autonomous Agents and Multi-Agent Systems, 1(1):7-38, 1998. Keyword(s): multi-agent system. [bibtex-entry]



8. Michael P. Wellman and Junling Hu. Conjectural Equilibrium in Multiagent Learning. Machine Learning, Volume , Issue , Nov , Pages, 33(2 - 3):179-200, 1998. Keyword(s): multi-agent learning. [bibtex-entry]



9. Makoto Yokoo, Edmund H. Durfee, Toru Ishida, and Kazuhiro Kuwabara. The Distributed Constraint Satisfaction Problem: Formalization and Algorithms. IEEE Transactions on Knowledge and Data Engineering, 10(5):673-685, 1998. Keyword(s): distributed constraint satisfaction. [bibtex-entry]



10. Bernd van Linder, Wiebe van der Hoek, and John-Jules Ch. Meyer. Formalising Abilities and Opportunities of Agents. Fundamenta Informaticae, 34(1-2):53-101, 1998. Keyword(s): dynamic logic, agent theory, KARO framework. [bibtex-entry]

1. Joseph S. B. Mitchell. Shortest Paths and Networks. In Handbook of Discrete and Computational Geometry, pages 445-466. CRC Press, Boca Raton, FL, USA, 1997. Keyword(s): path planning. [bibtex-entry]



2. José M. Vidal and Edmund H. Durfee. Agents Learning about Agents: A Framework and Analysis. In Collected papers from AAAI-97 workshop on Multiagent Learning, pages 71-76. 1997. Keyword(s): multi-agent system, multi-agent learning, high relevance. [bibtex-entry]



3. Antonio Brogi, Evelina Lamma, Paolo Mancarella, and Paola Mello. A Unifying View for Logic Programming with Non-Monotonic Reasoning. Theoretical Computer Science, 184(1-2):1-59, 1997. Keyword(s): logic programming, nonmonotonic logic. [bibtex-entry]



4. Marcos A. Castilho, Luis Farinas del Cerro, Olivier Gasquet, and Andreas Herzig. Modal Tableaux with Propagation Rules and Structural Rules. Fundamenta Informaticae, 32(3-4):281-297, 1997. Keyword(s): modal logic, proof system. [bibtex-entry]



5. Ronald Fagin, Yoram Moses, Joseph Y. Halpern, and Moshe Y. Vardi. Knowledge-Based Programs. Distributed Computing, 10(4):199-225, 1997. Keyword(s): knowledge representation, epistemic logic. [bibtex-entry]



6. Subbarao Kambhampati. Refinement Planning as a Unifying Framework for Plan Synthesis. AI Magazine, 18(2):67-97, 1997. Keyword(s): planning. [bibtex-entry]



7. Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, and Richard B. Scherl. Golog: A Logic Programming Language for Dynamic Domains. Journal of Logic Programming, 31(1-3):59-83, 1997. Keyword(s): situation calculus, agent programming language. [bibtex-entry]

1. Alain Colmerauer and Philippe Roussel. The Birth of Prolog. In Thomas J. Bergin and Richard G. Gibson, editors, History of programming languages---II, pages 331-367. ACM, 1996. Keyword(s): logic programming. [bibtex-entry]



2. Nicholas R. Jennings. Coordination Techniques for Distributed Artificial Intelligence. In G. M. P. O‚ÇÖHare and N. R. Jennings, editors, Foundations of Distributed Artificial Intelligence,, pages 187-210. John Wiley & Sons, 1996. Keyword(s): multi-agent coordination, agent programming language. [bibtex-entry]



3. Anand S. Rao. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In Agents Breaking Away, pages 42-55. 1996. Keyword(s): agent programming language, BDI architecture. [bibtex-entry]



4. Gerhard Weiss. Adaptation and Learning in Multi-Agent Systems: Some Remarks and a Bibliography. In Gerhard Weiss and Sandip Sen, editors, Adaptation and Learning in Multi-Agent Systems, pages 1-21. Springer Verlag, 1996. Keyword(s): multi-agent system, multi-agent learning, survey. [bibtex-entry]



5. Hiroko Aibat and Takao Terano. A Computational Model for Distributed Knowledge Systems with Learning Mechanisms. Expert Systems with Applications, 10(3-4):417-427, 1996. Keyword(s): distributed knowledge system, multi-agent learning. [bibtex-entry]



6. Shree Murthy and J. J. Garcia-Luna-Aceves. An Efficient Routing Protocol for Wireless Networks. Mobile Networks and Applications, 1(2):183-197, 1996. Keyword(s): wireless network. [bibtex-entry]



7. H. S. Nwana, L. C. Lee, and Nicholas R. Jennings. Co-ordination in Software Agent Systems. The British Telecom Technical Journal, 14(4):79-88, 1996. Keyword(s): multi-agent coordination. [bibtex-entry]



8. Rob J. van Gabbeek and W. Peter Weijland. Branching Time and Abstraction in Bisimulation Semantics. Journal of the Association for Computing Machinery, 43(3):555-600, 1996. Keyword(s): model theory, graph theory. [bibtex-entry]

1. Winton Davies and Peter Edwards. Distributed Learning An Agent-Based Approach to Data-Mining. In Diana Gordon, editor, Working Notes of the ICML '95 Workshop on Agents that Learn from Other Agents. Tahoe City, CA, 1995. Keyword(s): distributed artificial intelligence, multi-agent learning, data mining. [bibtex-entry]



2. Nicholas R. Jennings. Controlling Cooperative Problem Solving in Industrial Multi-Agent Systems Using Joint Intentions. Journal of Artificial Intelligence Research, 75(2):195-240, 1995. Keyword(s): multi-agent coordination. [bibtex-entry]



3. Lode Missiaen, Maurice Bruynooghe, and Marc Denecker. CHICA, An Abductive Planning System Based on Event Calculus. Journal of Logic and Computation, 5(5):579-602, 1995. Keyword(s): planning, event calculus, deductive-inductive system, abductive logic programming. [bibtex-entry]



4. Stephen Muggleton. Inverse Entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming, 13:245-286, 1995. Keyword(s): inductive logic programming. [bibtex-entry]



5. M. W. P. Savelsbergh. The General Pickup and Delivery Problem. Transportation Science, 29(1):17-29, 1995. Keyword(s): problem solving, pickup and delivery problem. [bibtex-entry]



6. Manuela Veloso, Jaime Carbonell, Alicia Pérez, Daniel Borrajo, Eugene Fink, and Jim Blythe. Integrating Planning and Learning: The PRODIGY Architecture. Journal of Experimental and Theoretical Artificial Intelligence, 7(1):81-120, 1995. Keyword(s): planning, agent architecture. [bibtex-entry]

1. Chitta Baral and Michael Gelfond. Logic Programming and Knowledge Representation. Journal of Logic Programming, 19/20:73-148, 1994. Keyword(s): logic programming, knowledge representation, nonmonotonic logic. [bibtex-entry]



2. Yves Deville and Kung-Kiu Lau. Logic Program Synthesis. Journal of Logic Programming, 19/20:321-350, 1994. Keyword(s): program synthesis, logic programming, survey. [bibtex-entry]



3. Robert P. Goldman and Mark S. Broddy. Representing Uncertainty in Simple Planners. KR'94: Principles of Knowledge Representation and Reasoning, 1994. Keyword(s): planning. [bibtex-entry]



4. Jörg-Uwe Kietz and Saso Dzeroski. Inductive Logic Programming and Learnability. SIGART Bulletin, 5(1):22-32, 1994. Keyword(s): inductive learning, inductive logic programming. [bibtex-entry]



5. Raymond J. Mooney and John M. Zelle. Integrating ILP and EBL. SIGART Bulletin, 5(1):12-21, 1994. Keyword(s): inductive logic programming, explanation-based reasoning, machine learning. [bibtex-entry]



6. Stephen Muggleton and Luc De Raedt. Inductive Logic Programming: Theory and Methods. Journal of Logic Programming, 19/20:629-679, 1994. Keyword(s): inductive logic programming. [bibtex-entry]

1. Saso Dzeroski and Nada Lavrac. Inductive Learning in Deductive Databases. IEEE Transactions on Knowledge and Data Engineering, 5(6):939-949, 1993. Keyword(s): deductive-inductive system, inductive reasoning. [bibtex-entry]



2. Munindar P. Singh. A Semantics for Speech Acts. Annals of Mathematics and Artificial Intelligence, 8(1-2):47-71, 1993. Keyword(s): speech act, agent communication. [bibtex-entry]

1. Stephen Muggleton. Inductive Logic Programming. In Stephen Muggleton, editor, Inductive Logic Programming, volume 38 of The APIC Series, pages 1-27. Academic Press, 1992. Keyword(s): inductive logic programming. [bibtex-entry]



2. Stephen Muggleton and C. Feng. Efficient Induction in Logic Programs. In Stephen Muggleton, editor, Inductive Logic Programming, pages 281-298. Academic Press, 1992. Keyword(s): inductive logic programming. [bibtex-entry]



3. Antonis C. Kakas, Robert A. Kowalski, and Francesca Toni. Abductive Logic Programming. Journal of Logic and Computation, 2(6):719-770, 1992. Keyword(s): abductive logic programming. [bibtex-entry]

1. Pavel B. Brazdil, M. Gams, S. Sian, L. Torgo, and W. van de Velde. Learning in Distributed Systems and Multi-Agent Environments. Lecture Notes in Artificial Intelligence: Machine Learning-EWSL-91, 482:412-423, 1991. Keyword(s): multi-agent learning, interactive learning, high relevance. [bibtex-entry]



2. Michael Gelfond and Vladimir Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9(3/4):365-386, 1991. Keyword(s): nonmonotonic logic, logic programming, answer set programming. [bibtex-entry]



3. Michael N. Huhns and David M. Bridgeland. Multiagent Truth Maintenance. IEEE Transactions on Systems, Man and Cybernetics, 21(6):1437-1445, 1991. Keyword(s): multi-agent system, multi-agent coordination, belief change. [bibtex-entry]



4. Victor R. Lesser. A Retrospective View of FA/C Distributed Problem Solving. IEEE Transactions on Systems, Man, and Cybernetics, 21(6):1347-1362, 1991. Keyword(s): distributed problem solving. [bibtex-entry]

1. Pavel B. Brazdil and Luis Torgo. Knowledge Acquisition via Knowledge Integration. In B. Wielenga et al., editor, Current Trends in AI. IOS Press, 1990. Keyword(s): machine learning, knowledge acquisition, inductive learning. [bibtex-entry]



2. Keith S. Decker, Edmund H. Durfee, and Victor R. Lesser. Evaluating Research in Cooperative Distributed Problem Solving. In Distributed Artificial Intelligence, pages 487-519. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1990. Keyword(s): distributed artificial intelligence, distributed problem solving, multi-agent coordination. [bibtex-entry]



3. Joseph Y. Halpern and Yoram Moses. Knowledge and Common Knowledge in a Distributed Environment. Journal of the Association for Computing Machinery, 37(3):549-587, 1990. Keyword(s): epistemic logic, agent programming language, model theory. [bibtex-entry]



4. Victor R. Lesser. An Overview of DAI: Viewing Distributed AI as Distributed Search. Journal of Japanese Society for Artificial Intelligence-Special Issue on Distributed Artificial Intelligence, 5(4):392-400, 1990. Keyword(s): distributed artificial intelligence, distributed problem solving. [bibtex-entry]



5. J. R. Quinlan. Learning Logical Definitions from Relations. Machine Learning, 5(3):239-266, 1990. Keyword(s): machine learning, inductive logic programming. [bibtex-entry]

1. Edmund H. Durfee, Victor R. Lesser, and Daniel D. Corkill. Trends in Cooperative Distributed Problem Solving. IEEE Transactions on Knowledge and Data Engineering, 1(1):63-83, 1989. Keyword(s): distributed artificial intelligence, distributed problem solving, multi-agent coordination. [bibtex-entry]



2. Nicholas S. Flann and Thomas G. Dietterich. A Study of Explanation-Based Methods for Inductive Learning. Machine Learning, 4(2):187-226, 1989. Keyword(s): explanation-based reasoning, machine learning. [bibtex-entry]



3. David Poole. Explanation and Prediction: An Architecture for Default and Abductive Reasoning. Computational Intelligence, 5(2):97-110, 1989. Keyword(s): explanation-based reasoning, inductive reasoning. [bibtex-entry]

1. Vladimir Lifschitz. On the Semantics of STRIPS. In M. P. Georgeff Lansky and A. L., editors, Reasoning about Actions and Plans, pages 1-9. Morgan Kaufmann, 1987. Keyword(s): planning. [bibtex-entry]

1. Gerald Dejong and Raymond J. Mooney. Explanation-Based Learning: An Alternative View. Machine Learning, 1(2):145-176, 1986. Keyword(s): machine learning, explanation-based reasoning. [bibtex-entry]



2. E. Allen Emerson and Joseph Y. Halpern. 'Sometimes' and 'Not Never' Revisited: On Branching versus Linear Time Temporal Logic. Journal of the Association for Computing Machinery, 33(1):151-178, 1986. Keyword(s): temporal logic. [bibtex-entry]



3. M. Georgeff and A. Lansky. Procedural Knowledge. Proceedings of the IEEE (Special Issue on Knowledge Representation), 74:1383-1398, 1986. Keyword(s): procedural reasoning. [bibtex-entry]



4. Tom M. Mitchell, Richard M. Keller, and Smadar T. Kedar-Cabelli. Explanation Based Learning A Unifying View. Machine Learning, 1(1):47-80, 1986. Keyword(s): machine learning, explanation-based learning. [bibtex-entry]

1. David Harel. Dynamic Logic. In D. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic, volume 2 of Extensions of Classical Logic, pages 497-604. D. Reidel Publishing Company, 1984. Keyword(s): logics, modal logic, dynamic logic. [bibtex-entry]

1. Krzysztof R. Apt and M. H. van Emden. Contributions to the Theory of Logic Programming. Journal of the ACM, 29(3):841-862, 1982. Keyword(s): logic programming. [bibtex-entry]

1. Reid G. Smith. The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver. IEEE Transactions on Computers, C-29(12):1104-1113, 1980. Keyword(s): contract net, distributed problem solving. [bibtex-entry]

1. Jaakko Hintikka. Impossible, Possible Worlds Vindicated. The Journal of Philosophical Logic, 4(3):475-484, 1975. Keyword(s): modal logic, epistemic logic. [bibtex-entry]

1. Robert Kowalski. Predicate Logic as Programming Language. Proceedings IFIP Congress 1974, pp 569-574, 1974. Keyword(s): logic programming. [bibtex-entry]

1. Robert Kowalski and Donald Kuehner. Linear Resolution with Selection Function. Artificial Intelligence, 2:227-260, 1971. Keyword(s): logic programming. [bibtex-entry]

1. G. D. Plotkin. A Note on Inductive Generalization. Machine Intelligence, 5:153-163, 1969. Keyword(s): inductive logic programming. [bibtex-entry]

1. J. A. Robinson. A Machine-Oriented Logic Based on the Resolution Principle. Journal of the ACM, 12(1):23-41, 1965. Keyword(s): logic programming. [bibtex-entry]

1. Saul Aaron Kripke. A Semantical Analysis of Modal Logic I: Normal Modal Propositional Calculi. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 9:67-96, 1963. Keyword(s): modal logic, Kripke structure. [bibtex-entry]

1. Karl Popper. Introduction to the Logic of Science. In The Logic of Scientific Discovery. Routledge, London, 1959. Keyword(s): inductive reasoning. [bibtex-entry]

1. Alan Turing. On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42(2):230-265, 1937. Keyword(s): logic programming. [bibtex-entry]

1. Alonzo Church. A Note on the Entscheidungsproblem. Journal of Symbolic Logic, 1(1):40-41, 1936. Keyword(s): logic programming. [bibtex-entry]

1. David Hume. Sceptical Doubts Concerning the Operations of the Understanding. In An Enquiry Concerning Human Understanding, volume 37 of The Harvard classics. Collier & Son, New York: P.F., 1772. Keyword(s): inductive reasoning. [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