Automated reasoning : 6th International joint conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /

Automated reasoning : 6th International joint conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /

This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (I...

Повний опис

Збережено в:

Бібліографічні деталі
Співавтор:	SpringerLink (Online service)
Інші автори:	Miller, Dale, Sattler, Uli, Gramlich, Bernhard
Формат:	eКнига
Мова:	English
Опубліковано:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Серія:	Lecture Notes in Computer Science 7364
Предмети:	Computer science. Software engineering. Logic design. Electronic data processing. Artificial intelligence.
Онлайн доступ:	Click here to view the full text content
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

Automated reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings /
Опубліковано: (2014)

Automated reasoning 5th international joint conference, IJCAR 2010, edinburgh, UK, July 16-19, 2010. Proceedings /
Опубліковано: (2010)

Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
Опубліковано: (2012)

Automated reasoning and mathematics : essays in memory of William W. McCune /
Опубліковано: (2013)

Automated reasoning with analytic tableaux and related methods : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings /
Опубліковано: (2013)

Language and automata theory and applications : 6th International conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings /
Опубліковано: (2012)

Logic for programming, artificial intelligence, and reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
Опубліковано: (2007)

Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
Опубліковано: (2010)

Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
Опубліковано: (2013)

Logic for programming, artificial intelligence, and reasoning (vol. # 3835) : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Correct reasoning : Essays on logic-based AI in honour of vladimir lifschitz /
Опубліковано: (2012)

Automated deduction - CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /
Опубліковано: (2013)

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
Опубліковано: (2012)

Automated deduction - CADE-20 20th International Conference on automated deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
за авторством: Nieuwenhuis, Robert
Опубліковано: (2005)

Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25 - May 1, 2010, revised selected papers /
Опубліковано: (2010)

Relational and algebraic methods in computer science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
Опубліковано: (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 /
Опубліковано: (2012)

Logic for programming, artificial intelligence, and reasoning (vol. # 3452) 11th international workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
за авторством: Baader, Franz
Опубліковано: (2005)

Theory and applications of satisfiability testing - SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /
Опубліковано: (2012)

Logic programming and nonmonotonic reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Опубліковано: (2013)

Automated deduction - CADE-21 21st International Conference on automated deduction Bremen, Germany, July 17-20, 2007 Proceedings /
за авторством: Pfenning, Frank
Опубліковано: (2007)

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings /

Interactive theorem proving third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. proceedings /
за авторством: Beringer, Lennart
Опубліковано: (2012)

Graph structures for knowledge representation and reasoning : Second international workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers /
Опубліковано: (2012)

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Опубліковано: (2012)

Recent advances in constraints (vol. # 3419) joint ERCIM/CoLogNET international workshop on constraint solving and constraint logic programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, revised selected and
за авторством: Fages, Francois
Опубліковано: (2005)

Declarative agent languages and technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers /
Опубліковано: (2013)

Hardware and software : verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Опубліковано: (2013)

Logic and its applications 4th Indian conference, ICLA 2011, Delhi, India, January 5-11, 2011. proceedings /
Опубліковано: (2011)

Practical aspects of declarative languages : 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings /
Опубліковано: (2012)

Abstraction, reformulation and approximation / 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings

Unconventional computation and natural computation 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings /
Опубліковано: (2012)

Adaptive logics for defeasible Reasoning : applications in argumentation, normative reasoning and default reasoning /
за авторством: Straßer, Christian
Опубліковано: (2014)

Persuasive technology. design for health and safety : 7th International Conference, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings /
Опубліковано: (2012)

Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /
Опубліковано: (2013)

Computer aided verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Integration of AI and OR techniques in contraint programming for combinatorial optimzation problems : 9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June1, 2012. Proceedings /
Опубліковано: (2012)

Computer aided verification 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
Опубліковано: (2009)

Evolutionary multi-criterion optimization : 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings /
Опубліковано: (2013)

Algorithmic learning theory : 23rd International conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings /
Опубліковано: (2012)