Automated reasoning with analytic tableaux and related methods: 22th international conference, TABLEAUX 2013, Nancy, France, September 16 - 19, 2013 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
8123 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (X, 287 S.) Ill., graph. Darst. |
| ISBN: | 9783642405365 9783642405372 |
| DOI: | 10.1007/978-3-642-40537-2 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041440680 | ||
| 003 | DE-604 | ||
| 005 | 20140401 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131125s2013 xx ad|| o|||| 10||| eng d | ||
| 020 | |a 9783642405365 |9 978-3-642-40536-5 | ||
| 020 | |a 9783642405372 |c eISBN |9 978-3-642-40537-2 | ||
| 024 | 7 | |a 10.1007/978-3-642-40537-2 |2 doi | |
| 035 | |a (OCoLC)861540923 | ||
| 035 | |a (DE-599)BVBBV041440680 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-91 |a DE-706 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 006.3 | |
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Automated reasoning with analytic tableaux and related methods |b 22th international conference, TABLEAUX 2013, Nancy, France, September 16 - 19, 2013 ; proceedings |c Didier Galmiche ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (X, 287 S.) |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 8123 : Lecture notes in artificial intelligence | |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z Nancy |2 gnd-content | |
| 689 | 0 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Galmiche, Didier |e Sonstige |4 oth | |
| 711 | 2 | |a TABLEAUX |n 22 |d 2013 |c Nancy |j Sonstige |0 (DE-588)1041762534 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 8123 : Lecture notes in artificial intelligence |w (DE-604)BV014880109 |9 8123 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-40537-2 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887455&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887455&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026887455 | |
Datensatz im Suchindex
| _version_ | 1820875539243597824 |
|---|---|
| adam_text |
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INVITED TALKS
WITNESS RUNS FOR COUNTER MACHINES (ABSTRACT)
ON THE DUALITY OF PROOFS AND COUNTERMODELS IN LABELLED SEQUENT CALCULI
A BRIEF SURVEY OF VERIFIED DECISION PROCEDURES FOR EQUIVALENCE OF
REGULAR EXPRESSIONS
RESEARCH PAPERS
DEALING WITH SYMMETRIES IN MODAL TABLEAUX
TABLEAUX FOR VERIFICATION OF DATA-CENTRIC PROCESSES
BOUNDED PROOFS AND STEP FRAMES
COMPRESSION OF PROPOSITIONAL RESOLUTION PROOFS BY LOWERING SUBPROOFS
A TABLEAU SYSTEM FOR RIGHT PROPOSITIONAL NEIGHBORHOOD LOGIC OVER FINITE
LINEAR ORDERS: AN IMPLEMENTATION
HYPERSEQUENT AND LABELLED CALCULI FOR INTERMEDIATE LOGICS
TATL: IMPLEMENTATION OF ATL TABLEAU-BASED DECISION PROCEDURE
A TERMINATING EVALUATION-DRIVEN VARIANT OF G3I
MODEL CHECKING GENERAL LINEAR TEMPORAL LOGIC
SEMANTICALLY GUIDED EVOLUTION OF SHI ABOXES
PSYCHE: A PROOF-SEARCH ENGINE BASED ON SEQUENT CALCULUS WITH AN
LCF-STYLE ARCHITECTURE
UNDERSTANDING RESOLUTION PROOFS THROUGH HERBRAND’S THEOREM
A LABELLED SEQUENT CALCULUS FOR BBI: PROOF THEORY AND PROOF SEARCH
A REFINED TABLEAU CALCULUS WITH CONTROLLED BLOCKING FOR THE DESCRIPTION
LOGIC SHOI
PREFIXED TABLEAU SYSTEMS FOR LOGIC OF PROOFS AND PROVABILITY
CORRESPONDENCE BETWEEN MODAL HILBERT AXIOMS AND SEQUENT RULES WITH AN
APPLICATION TO S5
SCHEMATA OF FORMULAE IN THE THEORY OF ARRAYS
TAFA – A TOOL FOR ADMISSIBILITY IN FINITE ALGEBRAS
FORMALIZING CUT ELIMINATION OF COALGEBRAIC LOGICS IN COQ
INTELLIGENT TABLEAU ALGORITHM FOR DL REASONING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 22TH INTERNATIONAL
CONFERENCE ON AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED
METHODS, TABLEAUX 2013, HELD IN NANCY, FRANCE, IN SEPTEMBER 2013. THE 20
REVISED RESEARCH PAPERS PRESENTED TOGETHER WITH 4 SYSTEM DESCRIPTIONS
WERE CAREFULLY REVIEWED AND SELECTED FROM 38 SUBMISSIONS. THE PAPERS
COVER MANY TOPICS AS PROOF-THEORY IN CLASSICAL AND NON-CLASSICAL LOGICS,
ANALYTIC TABLEAUX FOR VARIOUS LOGICS, RELATED TECHNIQUES AND CONCEPTS,
E.G., MODEL CHECKING AND BDDS, RELATED METHODS (MODEL ELIMINATION,
SEQUENT CALCULI, RESOLUTION, AND CONNECTION METHOD), NEW CALCULI AND
METHODS FOR THEOREM PROVING AND VERIFICATION IN CLASSICAL AND
NON-CLASSICAL LOGICS, SYSTEMS, TOOLS, IMPLEMENTATIONS AND APPLICATIONS
AS WELL AS AUTOMATED DEDUCTION AND FORMAL METHODS APPLIED TO LOGIC,
MATHEMATICS, SOFTWARE DEVELOPMENT, PROTOCOL VERIFICATION, AND SECURITY
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV041440680 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)861540923 (DE-599)BVBBV041440680 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-40537-2 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV041440680</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140401</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131125s2013 xx ad|| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642405365</subfield><subfield code="9">978-3-642-40536-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642405372</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-40537-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-40537-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)861540923</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041440680</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated reasoning with analytic tableaux and related methods</subfield><subfield code="b">22th international conference, TABLEAUX 2013, Nancy, France, September 16 - 19, 2013 ; proceedings</subfield><subfield code="c">Didier Galmiche ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 287 S.)</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8123 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Nancy</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Galmiche, Didier</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TABLEAUX</subfield><subfield code="n">22</subfield><subfield code="d">2013</subfield><subfield code="c">Nancy</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1041762534</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8123 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8123</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-40537-2</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887455&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887455&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026887455</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Nancy gnd-content |
| genre_facet | Konferenzschrift 2013 Nancy |
| id | DE-604.BV041440680 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:17:14Z |
| institution | BVB |
| institution_GND | (DE-588)1041762534 |
| isbn | 9783642405365 9783642405372 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026887455 |
| oclc_num | 861540923 |
| open_access_boolean | |
| owner | DE-739 DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-739 DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (X, 287 S.) Ill., graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Automated reasoning with analytic tableaux and related methods 22th international conference, TABLEAUX 2013, Nancy, France, September 16 - 19, 2013 ; proceedings Didier Galmiche ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (X, 287 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8123 : Lecture notes in artificial intelligence Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Nancy gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 Galmiche, Didier Sonstige oth TABLEAUX 22 2013 Nancy Sonstige (DE-588)1041762534 oth Lecture notes in computer science 8123 : Lecture notes in artificial intelligence (DE-604)BV014880109 8123 https://doi.org/10.1007/978-3-642-40537-2 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887455&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887455&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Automated reasoning with analytic tableaux and related methods 22th international conference, TABLEAUX 2013, Nancy, France, September 16 - 19, 2013 ; proceedings Lecture notes in computer science Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| subject_GND | (DE-588)4069034-9 (DE-588)1071861417 |
| title | Automated reasoning with analytic tableaux and related methods 22th international conference, TABLEAUX 2013, Nancy, France, September 16 - 19, 2013 ; proceedings |
| title_auth | Automated reasoning with analytic tableaux and related methods 22th international conference, TABLEAUX 2013, Nancy, France, September 16 - 19, 2013 ; proceedings |
| title_exact_search | Automated reasoning with analytic tableaux and related methods 22th international conference, TABLEAUX 2013, Nancy, France, September 16 - 19, 2013 ; proceedings |
| title_full | Automated reasoning with analytic tableaux and related methods 22th international conference, TABLEAUX 2013, Nancy, France, September 16 - 19, 2013 ; proceedings Didier Galmiche ... (eds.) |
| title_fullStr | Automated reasoning with analytic tableaux and related methods 22th international conference, TABLEAUX 2013, Nancy, France, September 16 - 19, 2013 ; proceedings Didier Galmiche ... (eds.) |
| title_full_unstemmed | Automated reasoning with analytic tableaux and related methods 22th international conference, TABLEAUX 2013, Nancy, France, September 16 - 19, 2013 ; proceedings Didier Galmiche ... (eds.) |
| title_short | Automated reasoning with analytic tableaux and related methods |
| title_sort | automated reasoning with analytic tableaux and related methods 22th international conference tableaux 2013 nancy france september 16 19 2013 proceedings |
| title_sub | 22th international conference, TABLEAUX 2013, Nancy, France, September 16 - 19, 2013 ; proceedings |
| topic | Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| topic_facet | Automatisches Beweisverfahren Konferenzschrift 2013 Nancy |
| url | https://doi.org/10.1007/978-3-642-40537-2 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887455&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887455&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT galmichedidier automatedreasoningwithanalytictableauxandrelatedmethods22thinternationalconferencetableaux2013nancyfranceseptember16192013proceedings AT tableauxnancy automatedreasoningwithanalytictableauxandrelatedmethods22thinternationalconferencetableaux2013nancyfranceseptember16192013proceedings |