skip to main content
Idioma:
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

Formal models of agents ESPRIT Project ModelAge final workshop selected papers

John-Jules Ch Meyer; Pierre-Yves Schobbens 1961-

Berlin Springer New York c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1760 )(Acessar)

  • Título:
    Formal models of agents ESPRIT Project ModelAge final workshop selected papers
  • Autor: John-Jules Ch Meyer; Pierre-Yves Schobbens 1961-
  • Assuntos: Intelligent agents (Computer software); Formal methods (Computer science); INTELIGÊNCIA ARTIFICIAL; REDES DE COMPUTADORES; ENGENHARIA DE SOFTWARE; SISTEMAS DISTRIBUÍDOS
  • Notas: Includes bibliographical references and index
  • Descrição: Formal models of agents : an introduction / John-Jules Ch. Meyer and Pierre-Yves Schobbens -- A model of BDI-agent in game-theoretic framework / Stanis±aw Ambroszkiewicz and Jan Komar -- Dynamic belief hierarchies / John Bell and Zhisheng Huang-- Modelling internal dynamic behaviour of BDI agents / Frances Brazier ... [et al.] -- Towards an agent-oriented framework for specification of information systems / Stefan Conrad, Gunter Saake, Can Türker --The impossibility of modellingcooperation in PD-game / Rosaria Conte, Cristiano Castelfranchi and Roberto Pedone -- Designing multi-agent systems around an extensible communication abstraction / Enrico Denti and Andrea Omicini-- Social interactions of autonomous agents :private and global views on communication / Frank Dignum -- Towards a proof-theoretic foundation for actor specification and verification / Carlos H.C. Duarte -- Nondeterministic actions with typical effects : reasoning about scenarios / BarbaraDunin-Keplicz and Anna Radzikowska -- Agents' dynamic mental attitudes / Bruno Errico -- Diagnostic agents for distributed systems / Peter Fröhlich ... [et al.] -- Preferential action semantics (preliminary report) / John-Jules Ch. Meyer andPatrick Doherty -- Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report) / Henry Prakken -- The roleof diagnosis and decision theory in normative reasoning / Leendert W.N. van der Torre ... [etal.] -- Contextual deontic logic /
    Leendert W.N. van der Torre ... [et al.]
  • Títulos relacionados: Série:Lecture notes in computer science Lecture notes in artificial intelligence; Lecture notes in computer science 1760
  • Editor: Berlin Springer New York
  • Data de criação/publicação: c1999
  • Formato: viii, 251 p. ill. 24 cm.
  • Idioma: Inglês
Links
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  4 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.