1. Stephen Muggleton, editor. Inductive Logic Programming, volume 38 of The APIC Series. Academic Press, 1992. Keyword(s): inductive logic programming.
   

   @Book{Muggleton:1992:ILPa,
   editor = "Stephen Muggleton",
   title = "Inductive Logic Programming",
   publisher = "Academic Press",
   volume = "38",
   series = "The APIC Series",
   keywords = "inductive logic programming",
   year = "1992",
   
   }
   

1. Michael J. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, 1992. Keyword(s): agent theory, temporal logic.
   

   @PhdThesis{Wooldridge:1992:LMC,
   author = "Michael J. Wooldridge",
   title = "The Logical Modelling of Computational Multi-Agent Systems",
   keywords = "agent theory, temporal logic",
   year = "1992",
   
   }
   

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.
   

   @InCollection{Muggleton:1992:ILPb,
   author = "Stephen Muggleton",
   title = "Inductive Logic Programming",
   booktitle = "Inductive Logic Programming",
   editor = "Stephen Muggleton",
   series = "The APIC Series",
   publisher = "Academic Press",
   volume = "38",
   pages = "1--27",
   keywords = "inductive logic programming",
   year = "1992",
   
   }
   




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.
   

   @InCollection{Muggleton:1992:EIL,
   author = "Stephen Muggleton and C. Feng",
   title = "Efficient Induction in Logic Programs",
   booktitle = "Inductive Logic Programming",
   editor = "Stephen Muggleton",
   publisher = "Academic Press",
   pages = "281--298",
   keywords = "inductive logic programming",
   year = "1992",
   
   }
   




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.
   

   @Article{Kakas:1992:ALP,
   author = "Antonis C. Kakas and Robert A. Kowalski and Francesca Toni",
   title = "Abductive Logic Programming",
   journal = "Journal of Logic and Computation",
   volume = "2",
   number = "6",
   pages = "719--770",
   keywords = "abductive logic programming",
   year = "1992",
   
   }
   

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.
   

   @InProceedings{Allioty:1992:IPE,
   author = "Jean Marc Allioty and Andreas Herzig and Mamede Lima Marquesx",
   title = "Implementing Prolog Extensions {A} Parallel Inference Machine",
   booktitle = "International Conference on Fifth Generation Computer Systems",
   address = "ICOT, Japan",
   publisher = "Association for Computing Machinery",
   keywords = "modal logic, proof system",
   year = "1992",
   
   }
   




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.
   

   @InProceedings{Bauer:1992:SDS,
   author = "Michael A. Bauer and Tong Wang",
   title = "Strategies for Distributed Search",
   booktitle = "ACM annual conference on Communications",
   publisher = "ACM Press",
   pages = "251--260",
   keywords = "algorithm",
   year = "1992",
   
   }
   




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.
   

   @InProceedings{Peot:1992:CNP,
   author = "Mark A. Peot and David E. Smith",
   title = "Conditional Nonlinear Planning",
   booktitle = "First International Conference on AI Planning Systems",
   editor = "James Hendler",
   publisher = "Morgan Kaufmann",
   pages = "189--197",
   keywords = "planning",
   year = "1992",
   
   }
   




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.
   

   @InProceedings{Yokoo:1992:DCS,
   author = "Makoto Yokoo and Edmund H. Durfee and Toru Ishida and Kazuhiro Kuwabara",
   title = "Distributed Constraint Satisfaction for Formalizing Distributed Problem Solving",
   booktitle = "International Conference on Distributed Computing Systems",
   pages = "614--621",
   keywords = "distributed constraint satisfaction, distributed problem solving",
   year = "1992",
   
   }
   

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