Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999. Proceedings
Aus der Reihe
Lecture Notes in Artificial Intelligence
-
- Englisch ausgewählt
49,99 €
inkl. gesetzl. MwSt.,
Lieferung nach Hause
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
26.05.1999
Herausgeber
Neil V. MurrayVerlag
Springer BerlinSeitenzahl
334
Maße (L/B/H)
23,5/15,5/1,8 cm
Gewicht
444 g
Auflage
1999
Sprache
Englisch
ISBN
978-3-540-66086-6
ThisvolumecontainsaselectionofpaperspresentedattheInternationalConf- ence on Analytic Tableaux and Related Methods (TABLEAUX¿99) held on June 7-11, 1999 at the Inn at Saratoga, Saratoga Springs, NY, USA. This conference was the continuation of international meetings on Theorem Proving with A- lytic Tableaux and Related Methods held in Lautenbach near Karlsruhe (1992), Marseille (1993), Abingdon near Oxford (1994), St. Goar near Koblenz (1995), Terrasini near Palermo (1996), Pont-` a-Mousson near Nancy (1997), and Oist- wijk near Tilburg (1998). TABLEAUX¿99 marks the ?rst time the conference has been held in North America. Tableau and related methods have been found to be convenient and e?ective for automating deduction in various non-standard logics as well as in classical logic. Examples taken from this meeting alone include temporal, description, tense, quantum, modal, projective, hybrid, intuitionistic, and linear logics. - eas of application include veri?cation of software and computer systems, ded- tive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brought together researchers interested in all aspects ¿ theoretical foundations, implementation techniques, systems devel- ment and applications ¿ of the mechanization of reasoning with tableaux and related methods.
Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung
Kurze Frage zu unserer Seite
Vielen Dank für dein Feedback
Wir nutzen dein Feedback, um unsere Produktseiten zu verbessern. Bitte habe Verständnis, dass wir dir keine Rückmeldung geben können. Falls du Kontakt mit uns aufnehmen möchtest, kannst du dich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice