Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /

This book is dedicated to Marek Sergot, Professor in Computational Logic at Imperial College London, on the occasion of his 60th birthday. Professor Sergot’s scientific contributions range over many different fields. He has developed a series of novel ideas and formal methods bridging areas includin...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Artikis, Alexander (Επιμελητής έκδοσης), Craven, Robert (Επιμελητής έκδοσης), Kesim Çiçekli, Nihan (Επιμελητής έκδοσης), Sadighi, Babak (Επιμελητής έκδοσης), Stathis, Kostas (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Σειρά:	Lecture Notes in Computer Science, 7360
Θέματα:	Computer science. Computer communication systems. Software engineering. Computer logic. Mathematical logic. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Computer Communication Networks. Mathematical Logic and Formal Languages. Software Engineering. Information Systems Applications (incl. Internet). Logics and Meanings of Programs.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday /
Έκδοση: (2010)

Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /
Έκδοση: (2010)

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings /
Έκδοση: (2010)

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday /
Έκδοση: (2005)

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
Έκδοση: (2017)

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers /
Έκδοση: (2016)

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Έκδοση: (2017)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings /
Έκδοση: (2016)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings /
Έκδοση: (2017)

Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings /
Έκδοση: (2011)

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /
Έκδοση: (2013)

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
Έκδοση: (2014)

Argumentation in Multi-Agent Systems 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers /
Έκδοση: (2010)

Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings /
Έκδοση: (2010)

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /
Έκδοση: (2016)

Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
Έκδοση: (2015)

Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /
Έκδοση: (2015)

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /
Έκδοση: (2013)

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /
Έκδοση: (2017)

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings /
Έκδοση: (2010)

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
Έκδοση: (2014)

Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers /
Έκδοση: (2012)

Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
Έκδοση: (2012)

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
Έκδοση: (2013)

Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings /
Έκδοση: (2016)

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings /
Έκδοση: (2005)

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
Έκδοση: (2008)

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
Έκδοση: (2007)

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings /
Έκδοση: (2005)

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings /
Έκδοση: (2005)

Coordination, Organizations, Institutions and Norms in Agent Systems IV COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised Selected Papers /
Έκδοση: (2009)

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers /
Έκδοση: (2007)

Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers /
Έκδοση: (2008)

Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
Έκδοση: (2015)

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
Έκδοση: (2008)

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
Έκδοση: (2015)

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
Έκδοση: (2015)

Logic Based Program Synthesis and Transformation 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers /
Έκδοση: (2004)

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
Έκδοση: (2007)

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
Έκδοση: (2008)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών