Automated reasoning with analytic tableaux and related methods: 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4 - 8, 2011 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture notes in computer science
6793 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XII, 277 S. graph. Darst. |
| ISBN: | 9783642221187 3642221181 9783642221194 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039132560 | ||
| 003 | DE-604 | ||
| 005 | 20111213 | ||
| 007 | t| | ||
| 008 | 110712s2011 xx d||| |||| 10||| eng d | ||
| 015 | |a 11,N23 |2 dnb | ||
| 016 | 7 | |a 1012139174 |2 DE-101 | |
| 020 | |a 9783642221187 |c kart. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.) |9 978-3-642-22118-7 | ||
| 020 | |a 3642221181 |9 3-642-22118-1 | ||
| 020 | |a 9783642221194 |c eBook |9 978-3-642-22119-4 | ||
| 024 | 3 | |a 9783642221187 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80073016 |
| 035 | |a (OCoLC)844877581 | ||
| 035 | |a (DE-599)DNB1012139174 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-83 |a DE-91G | ||
| 082 | 0 | |a 006.333 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Automated reasoning with analytic tableaux and related methods |b 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4 - 8, 2011 ; proceedings |c Kai Brünnler ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a XII, 277 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6793 : Lecture notes in artificial intelligence | |
| 500 | |a Literaturangaben | ||
| 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 2011 |z Bern |2 gnd-content | |
| 689 | 0 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Brünnler, Kai |d 1975- |e Sonstige |0 (DE-588)128478454 |4 oth | |
| 711 | 2 | |a International Conference on Automated Reasoning with Analytic Tableaux and Related Methods |n 20 |d 2011 |c Bern |j Sonstige |0 (DE-588)16163649-4 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Automated Reasoning with Analytic Tableaux and Related Methods |
| 830 | 0 | |a Lecture notes in computer science |v 6793 |w (DE-604)BV000000607 |9 6793 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3831206&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024150847&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024150847 | |
Datensatz im Suchindex
| _version_ | 1820875331355017216 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
ON INTERPOLATION IN DECISION PROCEDURES 1
MARIA PAOLA BONACINA AND MOA JOHANSSON
FIRST-ORDER TABLEAUX IN APPLICATIONS (EXTENDED ABSTRACT) 17 ULRICH
FURBACH
PROOF THEORY AND ALGEBRA IN SUBSTRUCTURAL LOGICS 20
KAZUSHIGE TERUI
CSYMLEAN: A THEOREM PROVER FOR THE LOGIC CSL OVER SYMMETRIC MINSPACES 21
REGIS ALENDA AND NICOLA OLIVETTI
SCHEMATA OF SMT-PROBLEMS 27
VINCENT ARAVANTINOS AND NICOLAS PELTIER
KRIPKE SEMANTICS FOR BASIC SEQUENT SYSTEMS 43
ARNON AVRON AND ORI LAHAV
HYBRID AND FIRST-ORDER COMPLETE EXTENSIONS OF CARET 58
LAURA BOZZELLI AND RUGGERO LANOTTE
OPTIMAL TABLEAU SYSTEMS FOR PROPOSITIONAL NEIGHBORHOOD LOGIC OVER ALL,
DENSE, AND DISCRETE LINEAR ORDERS 73
DAVIDE BRESOLIN, ANGELO MONTANARI, PIETRO SALA, AND GUIDO SCIAVICCO
CRAIG INTERPOLATION IN DISPLAYABLE LOGICS 88
JAMES BROTHERSTON AND RAJEEV GORE
A TABLEAUX BASED DECISION PROCEDURE FOR A BROAD CLASS OF HYBRID FORMULAE
WITH BINDERS 104
SERENELLA CERRITO AND MARTA CIALDEA MAYER
BASIC CONSTRUCTIVE CONNECTIVES, DETERMINISM AND MATRIX-BASED SEMANTICS
119
AGATA CIABATTONI, ORI LAHAV, AND ANNA ZAMANSKY
ON THE PROOF COMPLEXITY OF CUT-FREE BOUNDED DEEP INFERENCE 134 ANUPAM
DAS
THE MODAL /I-CALCULUS CAUGHT OFF GUARD 149
OLIVER FRIEDMANN AND MARTIN LANGE
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1012139174
DIGITALISIERT DURCH
IMAGE 2
XII TABLE OF CONTENTS
A CONDITIONAL CONSTRUCTIVE LOGIC FOR ACCESS CONTROL AND ITS SEQUENT
CALCULUS 164
VALERIO GENOVESE, LAURA GIORDANO, VALENTINA GLIOZZI, AND GIAN LUCA
POZZATO
A TABLEAU CALCULUS FOR A NONMONOTONIC EXTENSION OF \C X 180
LAURA GIORDANO, VALENTINA GLIOZZI, NICOLA OLIVETTI, AND GIAN LUCA
POZZATO
CORRECTNESS AND WORST-CASE OPTIMALITY OF PRATT-STYLE DECISION PROCEDURES
FOR MODAL AND HYBRID LOGICS 196
MARK KAMINSKI, THOMAS SCHNEIDER, AND GERT SMOLKA
CUT ELIMINATION FOR SHALLOW MODAL LOGICS 211
BJOERN LELLMANN AND DIRK PATTINSON
A NON-CLAUSAL CONNECTION CALCULUS 226
JENS OTTEN
M E T T E L: A TABLEAU PROVER WITH LOGIC-INDEPENDENT INFERENCE ENGINE
242
DMITRY TISHKOVSKY, RENATE A. SCHMIDT, AND MOHAMMAD KHODADADI
A HYPERSEQUENT SYSTEM FOR GOEDEL-DUMMETT LOGIC WITH NON-CONSTANT DOMAINS
248
ALWEN TIN
MALECOP: MACHINE LEARNING CONNECTION PROVER 263
JOSEF URBAN, JIFI VYSKOCIL, AND PETR STEPANEK
AUTHOR INDEX 279 |
| any_adam_object | 1 |
| author_GND | (DE-588)128478454 |
| building | Verbundindex |
| bvnumber | BV039132560 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)844877581 (DE-599)DNB1012139174 |
| dewey-full | 006.333 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.333 |
| dewey-search | 006.333 |
| dewey-sort | 16.333 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| 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">BV039132560</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111213</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110712s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N23</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1012139174</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642221187</subfield><subfield code="c">kart. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.)</subfield><subfield code="9">978-3-642-22118-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642221181</subfield><subfield code="9">3-642-22118-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642221194</subfield><subfield code="c">eBook</subfield><subfield code="9">978-3-642-22119-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642221187</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80073016</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844877581</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1012139174</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-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.333</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</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">20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4 - 8, 2011 ; proceedings</subfield><subfield code="c">Kai Brünnler ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 277 S.</subfield><subfield code="b">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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">6793 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">2011</subfield><subfield code="z">Bern</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">Brünnler, Kai</subfield><subfield code="d">1975-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)128478454</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Automated Reasoning with Analytic Tableaux and Related Methods</subfield><subfield code="n">20</subfield><subfield code="d">2011</subfield><subfield code="c">Bern</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16163649-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Automated Reasoning with Analytic Tableaux and Related Methods</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6793</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6793</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3831206&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=024150847&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024150847</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Bern gnd-content |
| genre_facet | Konferenzschrift 2011 Bern |
| id | DE-604.BV039132560 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:56Z |
| institution | BVB |
| institution_GND | (DE-588)16163649-4 |
| isbn | 9783642221187 3642221181 9783642221194 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024150847 |
| oclc_num | 844877581 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
| owner_facet | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
| physical | XII, 277 S. graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| 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 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4 - 8, 2011 ; proceedings Kai Brünnler ... (ed.) Berlin [u.a.] Springer 2011 XII, 277 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6793 : Lecture notes in artificial intelligence Literaturangaben Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Bern gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 Brünnler, Kai 1975- Sonstige (DE-588)128478454 oth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods 20 2011 Bern Sonstige (DE-588)16163649-4 oth Erscheint auch als Online-Ausgabe Automated Reasoning with Analytic Tableaux and Related Methods Lecture notes in computer science 6793 (DE-604)BV000000607 6793 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3831206&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024150847&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Automated reasoning with analytic tableaux and related methods 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4 - 8, 2011 ; 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 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4 - 8, 2011 ; proceedings |
| title_auth | Automated reasoning with analytic tableaux and related methods 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4 - 8, 2011 ; proceedings |
| title_exact_search | Automated reasoning with analytic tableaux and related methods 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4 - 8, 2011 ; proceedings |
| title_full | Automated reasoning with analytic tableaux and related methods 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4 - 8, 2011 ; proceedings Kai Brünnler ... (ed.) |
| title_fullStr | Automated reasoning with analytic tableaux and related methods 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4 - 8, 2011 ; proceedings Kai Brünnler ... (ed.) |
| title_full_unstemmed | Automated reasoning with analytic tableaux and related methods 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4 - 8, 2011 ; proceedings Kai Brünnler ... (ed.) |
| title_short | Automated reasoning with analytic tableaux and related methods |
| title_sort | automated reasoning with analytic tableaux and related methods 20th international conference tableaux 2011 bern switzerland july 4 8 2011 proceedings |
| title_sub | 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4 - 8, 2011 ; proceedings |
| topic | Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| topic_facet | Automatisches Beweisverfahren Konferenzschrift 2011 Bern |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3831206&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024150847&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT brunnlerkai automatedreasoningwithanalytictableauxandrelatedmethods20thinternationalconferencetableaux2011bernswitzerlandjuly482011proceedings AT internationalconferenceonautomatedreasoningwithanalytictableauxandrelatedmethodsbern automatedreasoningwithanalytictableauxandrelatedmethods20thinternationalconferencetableaux2011bernswitzerlandjuly482011proceedings |