Cargando…

Agent Technology from a Formal Perspective

The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Rouff, Christopher (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	London : Springer London : Imprint: Springer, 2006.
Edición:	1st ed. 2006.
Colección:	NASA Monographs in Systems and Software Engineering,
Temas:	Machine theory. Artificial intelligence. Formal Languages and Automata Theory. Artificial Intelligence.
Acceso en línea:	Texto Completo

Ejemplares similares

Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings /
Publicado: (2014)

Formal Grammar 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings /
Publicado: (2013)

Probability Logics Probability-Based Formalization of Uncertain Reasoning /
por: Ognjanović, Zoran, et al.
Publicado: (2016)

A New Perspective on Nonmonotonic Logics
por: Gabbay, Dov M., et al.
Publicado: (2016)

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /
Publicado: (2016)

Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings /
Publicado: (2016)

Reactive Kripke Semantics
por: Gabbay, Dov M.
Publicado: (2013)

Conditionals and Modularity in General Logics
por: Gabbay, Dov M., et al.
Publicado: (2011)

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings /
Publicado: (2014)

Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
Publicado: (2015)

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
Publicado: (2015)

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /
Publicado: (2014)

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers /
Publicado: (2016)

New Directions in Logic, Language, and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers /
Publicado: (2012)

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings /
Publicado: (2006)

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings /
Publicado: (2008)

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings /
Publicado: (2013)

Stochastic Coalgebraic Logic
por: Doberkat, Ernst-Erich
Publicado: (2009)

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday /
Publicado: (2005)

Transactions on Rough Sets XIV
Publicado: (2011)

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers /
Publicado: (2013)

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /
Publicado: (2016)

Formal Grammar 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011 /
Publicado: (2012)

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings /
Publicado: (2006)

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings /
Publicado: (2005)

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
Publicado: (2005)

Theory and Applications of Satisfiability Testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /
Publicado: (2009)

Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings /
Publicado: (2007)

Theory and Applications of Satisfiability Testing - SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings /
Publicado: (2008)

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
Publicado: (2015)

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /
Publicado: (2010)

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
Publicado: (2015)

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /
Publicado: (2012)

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings /
Publicado: (2012)

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings /
Publicado: (2013)

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /
Publicado: (2014)

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /
Publicado: (2015)

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers /
Publicado: (2016)

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers /
Publicado: (2014)

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers /
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_gbnbsikbdrcq18rrhi8rl8vhcb