2005

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

CLIMA (Workshop) (4th : 2004 : Fort Lauderdale, Fla.)



 

2005

Computational logic in multi-agent systems : 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers

CLIMA (Workshop) (5th : 2004 : Lisbon, Portugal)



 

2011

Computational logic in multi-agent systems : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, proceedings

CLIMA (Workshop) (12th : 2011 : Barcelona, Spain)



 

2013

Computational logic in multi-agent systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, proceedings

CLIMA (Workshop) (14th : 2013 : La Coruña, Spain)

Berlin : Springer, 2013

 

2004

Declarative agent languages and technologies : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers

International Workshop on Declarative Agent Languages and Technologies (1st : 2003 : Melbourne, Vic.)

Berlin ; New York : Springer, [2004]

Request It 

2005

Declarative agent languages and technologies II : second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers

International Workshop on Declarative Agent Languages and Technologies (2nd : 2004 : New York, N.Y.)



 

2003

Evolving knowledge bases : specification and semantics

Leite, João Alexandre



 

2014

Logics in artificial intelligence : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings

JELIA (Conference) (14th : 2014 : Funchal, Madeira Islands)

Cham : Springer, 2014

 

2014

STAIRS 2014 : proceedings of the 7th European Starting AI Researcher Symposium

Starting Artificial Intelligence Researchers Symposium (7th : 2014 : Prague, Czech Republic)

Amsterdam : IOS Press, 2014