Jump to main content

yr 〜
yr

Search results 10

Logics in artificial intelligence : 14th European conference, JELIA 2014 : Funchal, Madeira, Portugal, September 24-26, 2014 : proceedings : journées européennes sur la logique en intelligence artificielle : Sep 2014, Funchal, Portugal. (Lecture Notes in Computer Science ; 8761. Lecture Notes in Artificial Intelligence)

Logics in artificial intelligence : 14th European conference, JELIA 2014 : Funchal, Madeira, Portugal, September 24-26, 2014 : proceedings : journées européennes sur la logique en intelligence artificielle : Sep 2014, Funchal, Portugal. (Lecture Notes in Computer Science ; 8761. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-1491>
National Diet Library

Computational logic in multi-agent systems : 12th international workshop, CLIMA 12 : Barcelona, Spain, July 17-18, 2011 : proceedings : Jul 2011, Barcelona, Spain. (Lecture Notes in Computer Science ; 6814. Lecture Notes in Artificial Intelligence)

Computational logic in multi-agent systems : 12th international workshop, CLIMA 12 : Barcelona, Spain, July 17-18, 2011 : proceedings : Jul 2011, Barcelona, Spain. (Lecture Notes in Computer Science ; 6814. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-12-51>
National Diet Library
  • Author HeadingCLIMA (Conference) (12th : 2011 : Barcelona, Spain) Leite, João Alexandre.

Computational logic in multi-agent systems : 14th international workshop, CLIMA 14 : Corunna, Spain, September 16-18, 2013 : proceedings : Sep 2013, Corunna, Spain. (Lecture Notes in Computer Science ; 8143. Lecture Notes in Artificial Intelligence)

Computational logic in multi-agent systems : 14th international workshop, CLIMA 14 : Corunna, Spain, September 16-18, 2013 : proceedings : Sep 2013, Corunna, Spain. (Lecture Notes in Computer Science ; 8143. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-759>
National Diet Library
  • Author Heading...Coruña, Spain) Leite, João Alexandre. Son, Tran Cao, 1962- Torroni...

Computational logic in multi-agent systems : 5th international workshop, CLIMA 5 : Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers. : Sep 2004, Lisbon, Portugal. (Lecture Notes in Computer Science ; 3487. Lecture Notes in Artificial Intelligence)

Computational logic in multi-agent systems : 5th international workshop, CLIMA 5 : Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers. : Sep 2004, Lisbon, Portugal. (Lecture Notes in Computer Science ; 3487. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2005.<M17-06-9>
National Diet Library
  • Author HeadingLeite, João Alexandre. Torroni, Paolo. CLIMA V (200...

Declarative agent languages and technologies : first international workshop, DALT 2003 : Melbourne, Australia, July 15, 2003 : revised selected and invited papers. : Jul 2003, Melbourne, Australia. (Lecture Notes in Computer Science ; 2990. Lecture Notes in Artificial Intelligence. Hot Topics)

Declarative agent languages and technologies : first international workshop, DALT 2003 : Melbourne, Australia, July 15, 2003 : revised selected and invited papers. : Jul 2003, Melbourne, Australia. (Lecture Notes in Computer Science ; 2990. Lecture Notes in Artificial Intelligence. Hot Topics)
Paper図書
Springerc2004.<M17-04-3011>
National Diet Library
  • Author HeadingLeite, João Alexandre. Declarative agent languages ...

Logics in artificial intelligence : 9th European conference, JELIA 2004 : Lisbon, Portugal, September 27-30, 2004 : proceedings. : 9th European conference on logics in AI : Sep 2004, Lisbon, Portugal. (Lecture Notes in Computer Science ; 3229. Lecture Notes in Artificial Intelligence)

Logics in artificial intelligence : 9th European conference, JELIA 2004 : Lisbon, Portugal, September 27-30, 2004 : proceedings. : 9th European conference on logics in AI : Sep 2004, Lisbon, Portugal. (Lecture Notes in Computer Science ; 3229. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2004.<M17-05-842>
National Diet Library
  • Author Heading...s, José Júlio. Leite, João Alexandre. JELIA 2004 (2004 : Lisbon, P...

Computational logic in multi-agent systems : 4th international workshop, CLIMA 4 : Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers. : Jan 2004, Fort Lauderdale, FL. (Lecture Notes in Computer Science ; 3259. Lecture Notes in Artificial Intelligence. Hot Topics)

Computational logic in multi-agent systems : 4th international workshop, CLIMA 4 : Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers. : Jan 2004, Fort Lauderdale, FL. (Lecture Notes in Computer Science ; 3259. Lecture Notes in Artificial Intelligence. Hot Topics)
Paper図書
Springerc2004.<M17-05-1130>
National Diet Library
  • Author HeadingDix, J. (Jürgen) , 1961- Leite, João Alexandre. International Workshop on Co...

Evolving knowledge bases : specification and semantics : IOS Press : Ohmsha

Evolving knowledge bases : specification and semantics : IOS Press : Ohmsha
Paper図書
João Alexandre LeiteIOS Pressc2003
Other Libraries in Japan
  • Author HeadingLeite, João Alexandre

Computational logic in multi-agent systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revisted selected and invited papers

Computational logic in multi-agent systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revisted selected and invited papers
Paper図書
João Leite, Paolo Torroni (eds.)Springerc2005
Other Libraries in Japan
  • Author Heading...-agent Systems Leite, João Alexandre Torroni, Paolo

Computational logic in multi-agent systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004 : revisted selected and invited papers

Computational logic in multi-agent systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004 : revisted selected and invited papers
Paper図書
Jürgen Dix, João Leite (eds.)Springerc2004
Other Libraries in Japan
  • Author Heading...x, J. (Jürgen) Leite, João Alexandre

Reached to the end of result.

RSS