1. Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal Logic. Cambridge University Press, 2001. Keyword(s): logics, modal logic.
   

   @Book{Blackburn:2001:ML,
   author = "Patrick Blackburn and Maarten de Rijke and Yde Venema",
   title = "Modal Logic",
   publisher = "Cambridge University Press",
   keywords = "logics, modal logic",
   year = "2001",
   
   }
   




2. Gabriele Kern-Isberner. Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals As Agents. Springer-Verlag New York, Inc., 2001. Keyword(s): belief change, nonmonotonic logic.
   

   @Book{Kern-Isberner:2001:CNR,
   author = "Gabriele Kern-Isberner",
   title = "Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals As Agents",
   publisher = "Springer-Verlag New York, Inc.",
   keywords = "belief change, nonmonotonic logic",
   year = "2001",
   
   }
   

1. Phuong Nguyen. Inductive Logic Programming. PhD thesis, The University of New South Wales, 2001. Keyword(s): logic programming, inductive reasoning.
   

   @PhdThesis{Nguyen:2001:ILP,
   author = "Phuong Nguyen",
   title = "Inductive Logic Programming",
   school = "The University of New South Wales",
   keywords = "logic programming, inductive reasoning",
   year = "2001",
   
   }
   

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.
   

   @InCollection{Kazakov:2001:MLI,
   author = "Dimitar Kazakov and Daniel Kudenko",
   title = "Machine Learning and Inductive Logic Programming for Multi-agent Systems",
   booktitle = "Multi-Agent Systems and Applications",
   editor = "M. Luck and V. Marik and O. Stepankova",
   publisher = "Springer",
   volume = "2086",
   pages = "246--270",
   keywords = "multi-agent system, machine learning, inductive logic programming, high relevance",
   year = "2001",
   
   }
   




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.
   

   @InCollection{Wooldridge:2001:AOS,
   author = "Michael Wooldridge and Paolo Ciancarini",
   title = "Agent-Oriented Software Engineering: The State of the Art",
   booktitle = "Agent-Oriented Software Engineering",
   editor = "Paolo Ciancarini and Michael Wooldridge",
   publisher = "Springer-Verlag",
   pages = "55--82",
   keywords = "software engineering, multi-agent system",
   year = "2001",
   
   }
   




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.
   

   @InCollection{vanderHoek:2001:LFA,
   author = "Wiebe van der Hoek",
   title = "Logical Foundations of Agent-Based Computing",
   booktitle = "Mutli-agents Systems and Applications",
   publisher = "Springer-Verlag New York, Inc.",
   pages = "50--73",
   keywords = "logics, epistemic logic, agent programming language, model theory",
   year = "2001",
   
   }
   




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.
   

   @Article{Alonso:2001:LMA,
   author = "Eduardo Alonso and Mark D'Inverno and Daniel Kudenko and Michael Luck and Jason Noble",
   title = "Learning in Multi-Agent Systems",
   journal = "Knowledge Engineering Review",
   volume = "16",
   number = "3",
   pages = "277--284",
   keywords = "machine learning, multi-agent system, inductive logic programming, explanation-based reasoning, social learning, high relevance",
   year = "2001",
   
   }
   




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.
   

   @Article{Alonso:2001:MLL,
   author = "Eduardo Alonso and Daniel Kudenko",
   title = "Machine Learning for Logic-Based Multi-agent Systems",
   journal = "Lecture Notes in Computer Science",
   volume = "1871",
   keywords = "multi-agent system, multi-agent learning, explanation-based learning, inductive logic programming",
   year = "2001",
   
   }
   




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.
   

   @Article{Dantsin:2001:CEP,
   author = "Evgeny Dantsin and Thomas Eiter and Georg Gottlob and Andrei Voronkov",
   title = "Complexity and Expressive Power of Logic Programming",
   journal = "ACM Computing Surveys",
   volume = "33",
   number = "3",
   pages = "374--425",
   keywords = "logic programming",
   year = "2001",
   
   }
   




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.
   

   @Article{Hernandez-Orallo:2001:PS,
   author = "Jos\'{e} Hern\'{a}ndez-Orallo and M. Jos\'{e} Ram\'{\i}rez-Quintana",
   title = "Predictive Software",
   journal = "Automated Software Engineering",
   volume = "8",
   number = "2",
   pages = "139--166",
   keywords = "software engineering, inductive learning",
   year = "2001",
   
   }
   




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

   @Article{Sakama:2001:NIL,
   author = "Chiaki Sakama",
   title = "Nonmonotonic Inductive Logic Programming",
   journal = "Lecture Notes in Computer Science",
   volume = "2173",
   pages = "62--80",
   keywords = "inductive logic programming, nonmonotonic logic",
   year = "2001",
   
   }
   




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.
   

   @Article{Srinivasan:2001:ECS,
   author = "Ashwin Srinivasan",
   title = "Extracting Context-Sensitive Models in Inductive Logic Programming",
   journal = "Machine Learning",
   volume = "44",
   number = "3",
   pages = "301--324",
   keywords = "machine learning, inductive logic programming",
   year = "2001",
   
   }
   

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.
   

   @InProceedings{Arikan:2001:EMA,
   author = "Okan Arikan and Stephen Chenney and D. A. Forsyth",
   title = "Efficient Multi-Agent Path Planning",
   booktitle = "Proceedings of the Eurographic Workshop on Computer Animation and Simulation",
   address = "Manchester, UK",
   publisher = "Springer-Verlag",
   pages = "151--162",
   keywords = "multi-agent planning, path planning",
   year = "2001",
   
   }
   




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.
   

   @InProceedings{Hustadt:2001:RAA,
   author = "U. Hustadt and C. Dixon and R. A. Schmidt and M. Fisher and J.-J. Ch. Meyer and W. van der Hoek",
   title = "Reasoning about Agents in the {KARO} Framework",
   booktitle = "Proceedings. Eighth International Symposium on Temporal Representation and Reasoning",
   pages = "206--213",
   keywords = "KARO framework, agent theory",
   year = "2001",
   
   }
   




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.
   

   @InProceedings{Martin:2001:GTD,
   author = "Eric Martin and Arun Sharma and Frank Stephan",
   title = "A General Theory of Deduction, Induction, and Learning",
   booktitle = "DS '01: Proceedings of the 4th International Conference on Discovery Science",
   publisher = "Springer-Verlag",
   pages = "228--242",
   keywords = "logic programming, inductive reasoning",
   year = "2001",
   
   }
   




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.
   

   @InProceedings{delCerro:2001:LGT,
   author = "Luis Fari\H{n}as del Cerro and David Fauthoux and Olivier Gasquet and Andreas Herzig and Dominique Longin and Fabio Massacci",
   title = "Lotrec The Generic Tableau Prover for Modal and Description Logics",
   booktitle = "International Joint Conference on Automated Reasoning",
   keywords = "modal logic, proof system",
   year = "2001",
   
   }
   

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