Automated reasoning with analytic tableaux and related methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6 - 10, 2009 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture Notes in Computer Science
5607 : Lecture Notes in Artificial Intelligence |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 340 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 9783642027154 3642027156 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035637601 | ||
| 003 | DE-604 | ||
| 005 | 20090806 | ||
| 007 | t | ||
| 008 | 090721s2009 d||| |||| 10||| eng d | ||
| 015 | |a 09,N24,0004 |2 dnb | ||
| 016 | 7 | |a 994479476 |2 DE-101 | |
| 020 | |a 9783642027154 |c PB. : ca. EUR 56.66 (freier Pr.), ca. sfr 82.50 (freier Pr.) |9 978-3-642-02715-4 | ||
| 020 | |a 3642027156 |9 3-642-02715-6 | ||
| 024 | 3 | |a 9783642027154 | |
| 035 | |a (OCoLC)422688778 | ||
| 035 | |a (DE-599)DNB994479476 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-706 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.9.A96 | |
| 082 | 0 | |a 006.33322 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Automated reasoning with analytic tableaux and related methods |b 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6 - 10, 2009 ; proceedings |c Martin Giese ... (eds.) |
| 264 | 1 | |a Berlin ; Heidelberg [u.a.] |b Springer |c 2009 | |
| 300 | |a XII, 340 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 5607 : Lecture Notes in Artificial Intelligence | |
| 650 | 4 | |a Automatisches Beweisverfahren - Kongress - Oslo <2009> | |
| 650 | 4 | |a Automatic theorem proving |v Congresses | |
| 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 2009 |z Oslo |2 gnd-content | |
| 689 | 0 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Giese, Martin |e Sonstige |4 oth | |
| 711 | 2 | |a International Conference on Automated Reasoning with Analytic Tableaux and Related Methods |n 18 |d 2009 |c Oslo |j Sonstige |0 (DE-588)6078548-2 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 5607 : Lecture Notes in Artificial Intelligence |w (DE-604)BV000000607 |9 5607 | |
| 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=017692444&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017692444 | ||
Datensatz im Suchindex
| _version_ | 1804139316814807040 |
|---|---|
| adam_text | IMAGE 1
TABLE OF CONTENTS
PRESENTING CONSTRAINTS (INVITED TALK) 1
PETER JEAVONS
ON THE USE OF AUTOMATA FOR DECIDING LINEAR ARITHMETIC (INVITED TALK,
ABSTRACT) 16
PIERRE WOLPER
COMPARATIVE CONCEPT SIMILARITY OVER MINSPACES: AXIOMATISATION AND
TABLEAUX CALCULUS 17
REGIS ALENDA, NICOLA OLIVETTI, AND CAMILLA SCHWIND
A SCHEMATA CALCULUS FOR PROPOSITIONAL LOGIC 32
VINCENT ARAVANTINOS, RICARDO CAFERRA, AND NICOLAS PELTIER
TABLEAUX AND MODEL CHECKING FOR MEMORY LOGICS 47
CARLOS ARECES, DIEGO FIGUEIRA, DANIEL GORIN, AND SERGIO MERA
CANONICAL CONSTRUCTIVE SYSTEMS 62
ARNON AVRON AND ORI LAHAV
A NOVEL ARCHITECTURE FOR SITUATION AWARENESS SYSTEMS 77
FRANZ BAADER, ANDREAS BAUER, PETER BAUMGARTNER, ANNE CREGAN, ALFREDO
GABALDON, KRYSTIAN JI, KEVIN LEE, DAVID RAJARATNAM, AND ROLF SCHWITTER
ON THE PROOF THEORY OF REGULAR FIXED POINTS 93
DAVID BAELDE
DECIDABILITY FOR PRIOREAN LINEAR TIME USING A FIXED-POINT LABELLED
CALCULUS 108
BIANCA BORETTI AND SARA NEGRI
A TABLEAU-BASED SYSTEM FOR SPATIAL REASONING ABOUT DIRECTIONAL RELATIONS
123
DAVIDE BRESOLIN, ANGELO MONTANARI, PIETRO SALA, AND GUIDO SCIAVICCO
TERMINATING TABLEAUX FOR THE BASIC FRAGMENT OF SIMPLE TYPE THEORY 138
CHAD E. BROWN AND GERT SMOLKA
MODULAR SEQUENT SYSTEMS FOR MODAL LOGIC 152
KAI BRUENNLER AND LUTZ STRASSBURGER
ABDUCTION AND CONSEQUENCE GENERATION IN A SUPPORT SYSTEM FOR THE DESIGN
OF LOGICAL MULTIPLE-CHOICE QUESTIONS 167
MARTA CIALDEA MAYER
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/994479476
DIGITALISIERT DURCH
IMAGE 2
XII TABLE OF CONTENTS
GOAL-DIRECTED INVARIANT SYNTHESIS FOR MODEL CHECKING MODULO THEORIES 173
SILVIO GHILARDI AND SILVIO RANISE
TAMING DISPLAYED TENSE LOGICS USING NESTED SEQUENTS WITH DEEP INFERENCE
189
RAJEEV GORE, LINDA POSTNIECE, AND ALWEN TIU
SOUND GLOBAL STATE CACHING FOR ALC WITH INVERSE ROLES 205
RAJEEV GORE AND FLORIAN WIDMANN
A TABLEAU SYSTEM FOR THE MODAL /I-CALCULUS 220
NATTHAPONG JUNGTEERAPANICH
TERMINATING TABLEAUX FOR GRADED HYBRID LOGIC WITH GLOBAL MODALITIES AND
ROLE HIERARCHIES 235
MARK KAMINSKI, SIGURD SCHNEIDER, AND GERT SMOLKA
PRIME IMPLICATE TRIES 250
ANDREW MATUSIEWICZ, NEIL V. MURRAY, AND ERIK ROSENTHAL
PROOF SYSTEMS FOR A GOEDEL MODAL LOGIC 265
GEORGE METCALFE AND NICOLA OLIVETTI
GENERIC MODAL CUT ELIMINATION APPLIED TO CONDITIONAL LOGICS 280 DIRK
PATTINSON AND LUTZ SCHROEDER
PROOF SEARCH AND COUNTER-MODEL CONSTRUCTION FOR BI-INTUITIONISTIC
PROPOSITIONAL LOGIC WITH LABELLED SEQUENTS 295
LUIS PINTO AND TARMO UUSTALU
AUTOMATED SYNTHESIS OF TABLEAU CALCULI 310
RENATE A. SCHMIDT AND DMITRY TISHKOVSKY
TABLEAUX FOR PROJECTION COMPUTATION AND KNOWLEDGE COMPILATION 325
CHRISTOPH WERNHARD
AUTHOR INDEX 341
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035637601 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.A96 |
| callnumber-search | QA76.9.A96 |
| callnumber-sort | QA 276.9 A96 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)422688778 (DE-599)DNB994479476 |
| dewey-full | 006.33322 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.33322 |
| dewey-search | 006.33322 |
| dewey-sort | 16.33322 |
| 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>02240nam a2200481 cb4500</leader><controlfield tag="001">BV035637601</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090806 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090721s2009 d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N24,0004</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">994479476</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642027154</subfield><subfield code="c">PB. : ca. EUR 56.66 (freier Pr.), ca. sfr 82.50 (freier Pr.)</subfield><subfield code="9">978-3-642-02715-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642027156</subfield><subfield code="9">3-642-02715-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642027154</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)422688778</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB994479476</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.A96</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.33322</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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">18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6 - 10, 2009 ; proceedings</subfield><subfield code="c">Martin Giese ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 340 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">5607 : Lecture Notes in Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatisches Beweisverfahren - Kongress - Oslo <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving</subfield><subfield code="v">Congresses</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">2009</subfield><subfield code="z">Oslo</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">Giese, Martin</subfield><subfield code="e">Sonstige</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">18</subfield><subfield code="d">2009</subfield><subfield code="c">Oslo</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6078548-2</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">5607 : Lecture Notes in Artificial Intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5607</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=017692444&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017692444</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Oslo gnd-content |
| genre_facet | Konferenzschrift 2009 Oslo |
| id | DE-604.BV035637601 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:42:09Z |
| institution | BVB |
| institution_GND | (DE-588)6078548-2 |
| isbn | 9783642027154 3642027156 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017692444 |
| oclc_num | 422688778 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| physical | XII, 340 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| 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 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6 - 10, 2009 ; proceedings Martin Giese ... (eds.) Berlin ; Heidelberg [u.a.] Springer 2009 XII, 340 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 5607 : Lecture Notes in Artificial Intelligence Automatisches Beweisverfahren - Kongress - Oslo <2009> Automatic theorem proving Congresses Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Oslo gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 Giese, Martin Sonstige oth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods 18 2009 Oslo Sonstige (DE-588)6078548-2 oth Lecture Notes in Computer Science 5607 : Lecture Notes in Artificial Intelligence (DE-604)BV000000607 5607 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017692444&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Automated reasoning with analytic tableaux and related methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6 - 10, 2009 ; proceedings Lecture Notes in Computer Science Automatisches Beweisverfahren - Kongress - Oslo <2009> Automatic theorem proving Congresses 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 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6 - 10, 2009 ; proceedings |
| title_auth | Automated reasoning with analytic tableaux and related methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6 - 10, 2009 ; proceedings |
| title_exact_search | Automated reasoning with analytic tableaux and related methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6 - 10, 2009 ; proceedings |
| title_full | Automated reasoning with analytic tableaux and related methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6 - 10, 2009 ; proceedings Martin Giese ... (eds.) |
| title_fullStr | Automated reasoning with analytic tableaux and related methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6 - 10, 2009 ; proceedings Martin Giese ... (eds.) |
| title_full_unstemmed | Automated reasoning with analytic tableaux and related methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6 - 10, 2009 ; proceedings Martin Giese ... (eds.) |
| title_short | Automated reasoning with analytic tableaux and related methods |
| title_sort | automated reasoning with analytic tableaux and related methods 18th international conference tableaux 2009 oslo norway july 6 10 2009 proceedings |
| title_sub | 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6 - 10, 2009 ; proceedings |
| topic | Automatisches Beweisverfahren - Kongress - Oslo <2009> Automatic theorem proving Congresses Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| topic_facet | Automatisches Beweisverfahren - Kongress - Oslo <2009> Automatic theorem proving Congresses Automatisches Beweisverfahren Konferenzschrift 2009 Oslo |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017692444&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT giesemartin automatedreasoningwithanalytictableauxandrelatedmethods18thinternationalconferencetableaux2009oslonorwayjuly6102009proceedings AT internationalconferenceonautomatedreasoningwithanalytictableauxandrelatedmethodsoslo automatedreasoningwithanalytictableauxandrelatedmethods18thinternationalconferencetableaux2009oslonorwayjuly6102009proceedings |