System description: SPASS version 3.0

Christoph Weidenbach; Renate A. Schmidt; Thomas Hillenbrand; Rostislav Rusev; Dalibor Topic

System description: SPASS version 3.0

Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent developments in SPASS 3.0, including support for dynamic modal logics, relational logics and expressive description logics, additional renaming and selection strategies, and significant interface enhancements for human and machine users. © Springer-Verlag Berlin Heidelberg 2007.

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)\|Lect. Notes Comput. Sci.
Pages	514-520
Number of pages	6
Volume	4603
Publication status	Published - 2007
Event	21st International Conference on Automated Deduction, CADE-21 2007 - Bremen Duration: 1 Jul 2007 → …

Conference

Conference	21st International Conference on Automated Deduction, CADE-21 2007
City	Bremen
Period	1/07/07 → …

Cite this

@inproceedings{720927109a2a4d3d971782befed2ceea,

title = "System description: SPASS version 3.0",

abstract = "SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent developments in SPASS 3.0, including support for dynamic modal logics, relational logics and expressive description logics, additional renaming and selection strategies, and significant interface enhancements for human and machine users. {\textcopyright} Springer-Verlag Berlin Heidelberg 2007.",

author = "Christoph Weidenbach and Schmidt, {Renate A.} and Thomas Hillenbrand and Rostislav Rusev and Dalibor Topic",

year = "2007",

language = "English",

isbn = "3540735941",

volume = "4603",

pages = "514--520",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.",

note = "21st International Conference on Automated Deduction, CADE-21 2007 ; Conference date: 01-07-2007",

}

Weidenbach, C, Schmidt, RA, Hillenbrand, T, Rusev, R & Topic, D 2007, System description: SPASS version 3.0. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. vol. 4603, pp. 514-520, 21st International Conference on Automated Deduction, CADE-21 2007, Bremen, 1/07/07.

System description: SPASS version 3.0. / Weidenbach, Christoph; Schmidt, Renate A.; Hillenbrand, Thomas et al.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. Vol. 4603 2007. p. 514-520.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - System description: SPASS version 3.0

AU - Weidenbach, Christoph

AU - Schmidt, Renate A.

AU - Hillenbrand, Thomas

AU - Rusev, Rostislav

AU - Topic, Dalibor

PY - 2007

Y1 - 2007

N2 - SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent developments in SPASS 3.0, including support for dynamic modal logics, relational logics and expressive description logics, additional renaming and selection strategies, and significant interface enhancements for human and machine users. © Springer-Verlag Berlin Heidelberg 2007.

AB - SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent developments in SPASS 3.0, including support for dynamic modal logics, relational logics and expressive description logics, additional renaming and selection strategies, and significant interface enhancements for human and machine users. © Springer-Verlag Berlin Heidelberg 2007.

M3 - Conference contribution

SN - 3540735941

SN - 9783540735946

VL - 4603

SP - 514

EP - 520

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.

T2 - 21st International Conference on Automated Deduction, CADE-21 2007

Y2 - 1 July 2007

ER -

System description: SPASS version 3.0

Abstract

Conference

Fingerprint

Cite this