Inconsistency tolerance

Inconsistency tolerance

Saved in:

Bibliographic Details
Main Author:	Bertossi, Leopoldo (Author)
Corporate Author:	SpringerLink (Online service)
Other Authors:	Schaub, Torsten, Hunter, Anthony
Format:	eBook
Language:	English
Published:	Berlin Heidelberg : Springer 2005
Series:	Lecture Notes in Computer Science, 3300
Subjects:	Software engineering Logic design Computer science Database management
Online Access:	Click here to view the full text content
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A general framework for reasoning on inconsistency /
by: Martinez, Maria Vanina
Published: (2013)

Advanced methods for inconsistent knowledge management /
by: Nguyen, Ngoc Thanh
Published: (2008)

Advanced methods for inconsistent knowledge management /
by: Nguyen, Ngoc Thanh
Published: (2008)

Finite model theory and its applications /
by: Gradel, Erich
Published: (2007)

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings /
Published: (2012)

Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19 24, 2000 Proceedings /
Published: (2000)

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings /
Published: (2010)

Object-oriented technology. ECOOP 2004 workshop reader ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports
Published: (2005)

Foundations of software science and computational structures (vol. # 3441) 8th international conference, FOSSACS 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005
by: Sassone, Vladimiro
Published: (2005)

Communicating sequential processes. The first 25 years symposium on the occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
Published: (2005)

Component-Based Software Engineering (vol. # 3489) 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
by: Crnkovic, Ivica
Published: (2005)

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /
by: Kurki-Suonio, Reino
Published: (2005)

Verification, model checking, and abstract interpretation (vol. # 3385) 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
by: Cousot, Radhia
Published: (2005)

Practical aspects of declarative languages (vol. # 3350) 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
by: Cabeza, Daniel
Published: (2005)

Fundamental approaches to software engineering (vol. # 3442) 8th international conference, FASE 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April
by: Cerioli, Maura
Published: (2005)

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
Published: (2005)

Model-based testing of reactive systems : advanced lectures
Published: (2005)

Practical aspects of declarative languages (vol. # 3819) : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Verification, model checking, and abstract interpretation (vol. # 3855) : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers /
Published: (2010)

Practical aspects of declarative languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings /
Published: (2010)

Fundamentals of software engineering third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /
by: Arbab, Farhad
Published: (2010)

Generative and transformational techniques in software engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers /
Published: (2011)

Foundations of software science and computational structures 13th international conference, FOSSACS 2010,held as part of the joint european conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Published: (2010)

Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
Published: (2007)

Formal methods applications and technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification
by: Brim, Lubos
Published: (2007)

Formal modeling and analysis of timed systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
Published: (2007)

Foundations of software science and computational structures : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
by: Seidl, Helmut
Published: (2007)

Compiler construction : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.
by: Krishnamurthi, Shriram
Published: (2007)

International Symposium on fundamentals of software engineering : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings /
Published: (2007)

Formal methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
by: Butler, Michael
Published: (2007)

Formal modeling and analysis of timed systems (vol. # 3829) / third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Unifying theories of programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
Published: (2013)

Generative and transformational techniques in software engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
Published: (2013)

Reliable software technologies - Ada-Europe 2013 : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings /
Published: (2013)

Formal methods for components and objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Published: (2013)

CONCUR 2013 - Concurrency Theory : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings /
Published: (2013)

Fundamentals of software engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
Published: (2013)

Formal modeling and analysis of timed systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings /
Published: (2013)

Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Published: (2013)