João Leite – författare
Visar alla böcker från författaren João Leite. Handla med fri frakt och snabb leverans.
30 produkter
Progress in Artificial Intelligence
24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1–3, 2025, Proceedings, Part I
Av José Valente de Oliveira, João Leite m. fl.
Häftad, 2025
1106 kr
Lägg i varukorg
This two-volume set LNAI 16121-16122 constitutes the proceedings of the 24th EPIA Conference on Progress in Artificial Intelligence, EPIA 2025, held in Faro, Portugal, during October 1–3, 2025.The 76 full papers included in these proceedings were carefully reviewed and selected from 158 …
Progress in Artificial Intelligence
24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I
Av Pedro Cardoso, Joao Dias m. fl.
E-bok, 2025
1091 kr
Lägg i varukorg
This two-volume set LNAI 16121-16122 constitutes the proceedings of the 24th EPIA Conference on Progress in Artificial Intelligence, EPIA 2025, held in Faro, Portugal, during October 1–3, 2025.The 76 full papers included in these proceedings were carefully reviewed and selected from 158 …
Progress in Artificial Intelligence
24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1–3, 2025, Proceedings, Part II
Av José Valente de Oliveira, João Leite m. fl.
Häftad, 2025
837 kr
Lägg i varukorg
This two-volume set LNAI 16121-16122 constitutes the proceedings of the 24th EPIA Conference on Progress in Artificial Intelligence, EPIA 2025, held in Faro, Portugal, during October 1–3, 2025.The 76 full papers included in these proceedings were carefully reviewed and selected from 158 …
Progress in Artificial Intelligence
24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part II
Av Pedro Cardoso, Joao Dias m. fl.
E-bok, 2025
1091 kr
Lägg i varukorg
This two-volume set LNAI 16121-16122 constitutes the proceedings of the 24th EPIA Conference on Progress in Artificial Intelligence, EPIA 2025, held in Faro, Portugal, during October 1–3, 2025.The 76 full papers included in these proceedings were carefully reviewed and selected from 158 …
Logics in Artificial Intelligence
14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings
Häftad, 2014
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. …
Logics in Artificial Intelligence
14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings
E-bok, 2014
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. …
PRIMA 2017: Principles and Practice of Multi-Agent Systems
20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings
Av Bo An, Ana Bazzan m. fl.
Häftad, 2017
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017. The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers …
PRIMA 2017: Principles and Practice of Multi-Agent Systems
20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings
Av Leendert van der Torre, Serena Villata m. fl.
E-bok, 2017
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017. The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers …
Declarative Agent Languages and Technologies
First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
Av Joao Leite, Andrea Omicini m. fl.
Häftad, 2004
568 kr
Lägg i varukorg
Agent metaphors and technologies are increasingly adopted to harness and g- ernthecomplexityoftoday'ssystems.Asaconsequence,thegrowingcomplexity of agent systems calls for models and technologies that promote system p- dictability and enable feature discovery and veri?cation. Formal methods and …
Logics in Artificial Intelligence
9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings
Av Julio Alferes, Jose, Joao Leite
Häftad, 2004
1129 kr
Lägg i varukorg
Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in arti?cial intelligence. With the depth and maturity of formalisms, methodologies and logic-based systems - day, this claim is stronger than ever. The European Conference …
Computational Logic in Multi-Agent Systems
4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Av João Leite
Häftad, 2004
568 kr
Lägg i varukorg
Over recent years, the notion of agency has claimed a major role in de?ning the trends of modern research. In?uencing a broad spectrum of disciplines such as sociology, psychology, philosophy and many more, the agent paradigm virtually invaded every sub?eld of computer science, because of its …
Declarative Agent Languages and Technologies
First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
Av Paolo Torroni, Leon Sterling m. fl.
E-bok, 2004
755 kr
Lägg i varukorg
Declarative Agent Languages and Technologies II
Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
Av João Leite, Andrea Omicini m. fl.
Häftad, 2005
568 kr
Lägg i varukorg
The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New York City, and was a great success. We saw a signi?cant increase in both the number of submitted papers and workshop attendees from the ?rst meeting, held July 2003 in Melbourne. …
Computational Logic in Multi-Agent Systems
5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
Häftad, 2005
568 kr
Lägg i varukorg
The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for …
Computational Logic in Multi-Agent Systems
4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Av Joao Leite
E-bok, 2004
755 kr
Lägg i varukorg
Over recent years, the notion of agency has claimed a major role in de?ning the trends of modern research. In?uencing a broad spectrum of disciplines such as sociology, psychology, philosophy and many more, the agent paradigm virtually invaded every sub?eld of computer science, because of its …
Logics in Artificial Intelligence
9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings
Av Joao Leite, Julio Alferes, Jose
E-bok, 2004
1502 kr
Lägg i varukorg
Computational Logic in Multi-Agent Systems
5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
E-bok, 2005
734 kr
Lägg i varukorg
The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for …
Declarative Agent Languages and Technologies II
Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
Av Pinar Yolum, Paolo Torroni m. fl.
E-bok, 2005
732 kr
Lägg i varukorg
The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New York City, and was a great success. We saw a signi?cant increase in both the number of submitted papers and workshop attendees from the ?rst meeting, held July 2003 in Melbourne. …
Languages, Methodologies and Development Tools for Multi-Agent Systems
First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers
Av Mehdi Dastani, Amal El Fallah Seghrouchni m. fl.
Häftad, 2008
568 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007, held in Durham, UK, in September 2007. The workshop was part of MALLOW 2007, a federation of workshops on …
Languages, Methodologies and Development Tools for Multi-Agent Systems
First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers
Av Paolo Torroni, Joao Leite m. fl.
E-bok, 2008
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007, held in Durham, UK, in September 2007. The workshop was part of MALLOW 2007, a federation of workshops on …
Languages, Methodologies, and Development Tools for Multi-Agent Systems
Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers
Av Mehdi Dastani, Amal El Fallah Seghrouchni m. fl.
Häftad, 2010
568 kr
Lägg i varukorg
This book contains the proceedings of the Second International Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS 2009), which took place during September 7–9, 2009 in Turin, Italy. As in its 2007 edition, this workshop was a part of MALLOW, a federation of …
Languages, Methodologies, and Development Tools for Multi-Agent Systems
Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers
Av Paolo Torroni, Joao Leite m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
This book contains the proceedings of the Second International Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS 2009), which took place during September 7–9, 2009 in Turin, Italy. As in its 2007 edition, this workshop was a part of MALLOW, a federation of …
Computational Logic in Multi-Agent Systems
11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings
Av Jürgen Dix, Joao Leite m. fl.
Häftad, 2010
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XI, held in Lisbon, Portugal in August 2010. The 14 papers included in this volume were carefully reviewed and selected from 31 submissions. The purpose of the …
Computational Logic in Multi-Agent Systems
11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings
Av Wojtek Jamroga, Guido Governatori m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XI, held in Lisbon, Portugal in August 2010. The 14 papers included in this volume were carefully reviewed and selected from 31 submissions. The purpose of the …
Computational Logic in Multi-Agent Systems
12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings
Av Joao Leite, Paolo Torroni m. fl.
Häftad, 2011
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011. The 22 papers presented were carefully reviewed and selected from 43 submissions. The purpose of the CLIMA workshops is to …
Computational Logic in Multi-Agent Systems
12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings
Av Leon van der Torre, Guido Boella m. fl.
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011. The 22 papers presented were carefully reviewed and selected from 43 submissions. The purpose of the CLIMA workshops is to …
Languages, Methodologies, and Development Tools for Multi-Agent Systems
Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers
Av Mehdi Dastani, Amal El Fallah Seghrouchni m. fl.
Häftad, 2011
568 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Languages, Methodologies, and Development Tools for Multi-Agent Systems, LADS 2010, held in Lyon, France, in August/September 2010, as part of MALLOW, a federation of workshops on …
Languages, Methodologies, and Development Tools for Multi-Agent Systems
Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers
Av Joao Leite, Jomi Hubner m. fl.
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Languages, Methodologies, and Development Tools for Multi-Agent Systems, LADS 2010, held in Lyon, France, in August/September 2010, as part of MALLOW, a federation of workshops on …
Computational Logic in Multi-Agent Systems
14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
Av João Leite, Tran Cao Son m. fl.
Häftad, 2013
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013. The 23 regular papers were carefully reviewed and selected from 44 submissions and presented with four invited talks. The …
Computational Logic in Multi-Agent Systems
14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
Av Stefan Woltran, Leon van der Torre m. fl.
E-bok, 2013
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013. The 23 regular papers were carefully reviewed and selected from 44 submissions and presented with four invited talks. The …
