Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 ; revised selected papers
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6355 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036963899 | ||
| 003 | DE-604 | ||
| 005 | 20120319 | ||
| 007 | t| | ||
| 008 | 110118s2010 xx |||| 10||| eng d | ||
| 016 | 7 | |a 1007904720 |2 DE-101 | |
| 020 | |a 3642175104 |9 3-642-17510-4 | ||
| 020 | |a 9783642175107 |9 978-3-642-17510-7 | ||
| 035 | |a (OCoLC)700051427 | ||
| 035 | |a (DE-599)DNB1007904720 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-91G |a DE-83 |a DE-355 | ||
| 082 | 0 | |a 006.3 |2 22/ger | |
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 540f |2 stub | ||
| 245 | 1 | 0 | |a Logic for programming, artificial intelligence, and reasoning |b 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 ; revised selected papers |c Edmund M. Clarke ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a X, 516 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6355 : Lecture notes in artificial intelligence | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierlogik |0 (DE-588)4047408-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 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 2010 |z Dakar |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Clarke, Edmund M. |d 1945-2020 |0 (DE-588)142488941 |4 edt | |
| 711 | 2 | |a LPAR |n 16 |d 2010 |c Dakar |j Sonstige |0 (DE-588)16096508-1 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6355 |w (DE-604)BV000000607 |9 6355 | |
| 856 | 4 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3554132&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=020878746&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020878746 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 001z 2001 A 999 |
|---|---|
| DE-BY-TUM_katkey | 1754175 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010203048 |
| _version_ | 1822409294619869184 |
| adam_text |
IMAGE 1
TABLE OF CONTENTS
THE TPTP WORLD - INFRASTRUCTURE FOR AUTOMATED REASONING 1
GEOFF SUTCLIFFE
SPEED-UP TECHNIQUES FOR NEGATION IN GROUNDING 13
AMIR AAVANI, SHAHAB TASHARROFI, GULAY UNEL, EUGENIA TERNOVSKA, AND DAVID
MITCHELL
CONSTRAINT-BASED ABSTRACT SEMANTICS FOR TEMPORAL LOGIC: A DIRECT
APPROACH TO DESIGN AND IMPLEMENTATION 27
GOURINATH BANDA AND JOHN P. GALLAGHER
ON THE EQUALITY OF PROBABILISTIC TERMS 46
GILLES BARTHE, MANON DAUBIGNARD, BRUCE KAPRON, YASSINE LAKHNECH, AND
VINCENT LAPORTE
PROGRAM LOGICS FOR HOMOGENEOUS META-PROGRAMMING 64
MARTIN BERGER AND LAURENCE TRAIT
VERIFYING POINTER AND STRING ANALYSES WITH REGION TYPE SYSTEMS 82
LENNART BERINGER, ROBERT GRABOWSKI, AND MARTIN HOFMANN
ABC: ALGEBRAIC BOUND COMPUTATION FOR LOOPS 103
REGIS BLANC, THOMAS A. HENZINGER, THIBAUD HOTTELIER, AND LAURA KOVACS
HARDNESS OF PREORDER CHECKING FOR BASIC FORMALISMS 119
LAURA BOZZELLI, AXEL LEGAY, AND SOPHIE PINCHINAT
A QUASIPOLYNOMIAL CUT-ELIMINATION PROCEDURE IN DEEP INFERENCE VIA ATOMIC
FLOWS AND THRESHOLD FORMULAE 136
PAOLA BRUSCOLI, ALESSIO GUGLIELMI, TOM GUNDERSEN, AND MICHEL PARIGOT
PAIRWISE CARDINALITY NETWORKS 154
MICHAEL CODISH AND MOSHE ZAZON-IVRY
LOGIC AND COMPUTATION IN A LAMBDA CALCULUS WITH INTERSECTION AND UNION
TYPES 173
DANIEL J. DOUGHERTY AND LUIGI LIQUORI
GRADED ALTERNATING-TIME TEMPORAL LOGIC 192
MARCO FAELLA, MARGHERITA NAPOLI, AND MIMMO PARENTE
NON-OBLIVIOUS STRATEGY IMPROVEMENT 212
JOHN FEARNLEY
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1007904720
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
A SIMPLE CLASS OF KRIPKE-STYLE MODELS IN WHICH LOGIC AND COMPUTATION
HAVE EQUAL STANDING 231
MICHAEL GABBAY AND MURDOCH J. GABBAY
LABEL-FREE PROOF SYSTEMS FOR INTUITIONISTIC MODAL LOGIC IS5 255 DIDIER
GALMICHE AND YAKOUB SALHI
AN INTUITIONISTIC EPISTEMIC LOGIC FOR SEQUENTIAL CONSISTENCY ON SHARED
MEMORY 272
YOICHI HIRAI
DISUNIFICATION FOR ULTIMATELY PERIODIC INTERPRETATIONS 290
MATTHIAS HORBACH
SYNTHESIS OF TRIGGER PROPERTIES 312
ORNA KUPFERMAN AND MOSHE Y. VARDI
SEMIRING-INDUCED PROPOSITIONAL LOGIC: DEFINITION AND BASIC ALGORITHMS
332
JAVIER LARROSA, ALBERT OLIVERAS, AND ENRIC RODRIGUEZ-CARBONELL
DAFNY: AN AUTOMATIC PROGRAM VERIFIER FOR FUNCTIONAL CORRECTNESS 348 K.
RUSTAN M. LEINO
RELENTFUL STRATEGIE REASONING IN ALTERNATING-TIME TEMPORAL LOGIC 371
FABIO MOGAVERO, ANIELLO MURANO, AND MOSHE Y. VARDI
COUNTING AND ENUMERATION PROBLEMS WITH BOUNDED TREEWIDTH 387 REINHARD
PICHLER, STEFAN RUMMELE, AND STEFAN WOLTRAN
THE NULLNESS ANALYSER OF JULIA 405
FAUSTO SPOTO
QEX: SYMBOLIC SQL QUERY EXPLORER 425
MARGUS VEANES, NIKOLAI TILLMANN, AND JONATHAN DE HALLEUX
AUTOMATED PROOF COMPRESSION BY INVENTION OF NEW DEFINITIONS 447 JIFI
VYSKOCIL, DAVID STANOVSKY, AND JOSEF URBAN
ATOMIC CUT INTRODUCTION BY RESOLUTION: PROOF STRUCTURING AND COMPRESSION
463
BRUNO WOLTZENLOGEL PALEO
SATISFIABILITY OF NON-LINEAR (IR)RATIONAL ARITHMETIC 481
HARALD ZANKL AND AART MIDDELDORP
COPING WITH SELFISH ON-GOING BEHAVIORS 501
ORNA KUPFERMAN AND TAMT TAMIR
AUTHOR INDEX 517 |
| any_adam_object | 1 |
| author2 | Clarke, Edmund M. 1945-2020 |
| author2_role | edt |
| author2_variant | e m c em emc |
| author_GND | (DE-588)142488941 |
| author_facet | Clarke, Edmund M. 1945-2020 |
| building | Verbundindex |
| bvnumber | BV036963899 |
| classification_rvk | ST 300 |
| classification_tum | DAT 540f |
| ctrlnum | (OCoLC)700051427 (DE-599)DNB1007904720 |
| 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 |
| 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">BV036963899</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120319</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110118s2010 xx |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1007904720</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642175104</subfield><subfield code="9">3-642-17510-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642175107</subfield><subfield code="9">978-3-642-17510-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)700051427</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1007904720</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-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</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 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic for programming, artificial intelligence, and reasoning</subfield><subfield code="b">16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 ; revised selected papers</subfield><subfield code="c">Edmund M. Clarke ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 516 S.</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">6355 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">2010</subfield><subfield code="z">Dakar</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Clarke, Edmund M.</subfield><subfield code="d">1945-2020</subfield><subfield code="0">(DE-588)142488941</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LPAR</subfield><subfield code="n">16</subfield><subfield code="d">2010</subfield><subfield code="c">Dakar</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16096508-1</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">6355</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6355</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3554132&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=020878746&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-020878746</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Dakar gnd-content |
| genre_facet | Konferenzschrift 2010 Dakar |
| id | DE-604.BV036963899 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-27T13:35:36Z |
| institution | BVB |
| institution_GND | (DE-588)16096508-1 |
| isbn | 3642175104 9783642175107 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020878746 |
| oclc_num | 700051427 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 DE-355 DE-BY-UBR |
| owner_facet | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 DE-355 DE-BY-UBR |
| physical | X, 516 S. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 ; revised selected papers Edmund M. Clarke ... (eds.) Berlin [u.a.] Springer 2010 X, 516 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6355 : Lecture notes in artificial intelligence Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Dakar gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Programmierlogik (DE-588)4047408-2 s Automatisches Beweisverfahren (DE-588)4069034-9 s Künstliche Intelligenz (DE-588)4033447-8 s Clarke, Edmund M. 1945-2020 (DE-588)142488941 edt LPAR 16 2010 Dakar Sonstige (DE-588)16096508-1 oth Lecture notes in computer science 6355 (DE-604)BV000000607 6355 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3554132&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=020878746&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 ; revised selected papers Lecture notes in computer science Künstliche Intelligenz (DE-588)4033447-8 gnd Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4047408-2 (DE-588)4195096-3 (DE-588)4069034-9 (DE-588)1071861417 |
| title | Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 ; revised selected papers |
| title_auth | Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 ; revised selected papers |
| title_exact_search | Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 ; revised selected papers |
| title_full | Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 ; revised selected papers Edmund M. Clarke ... (eds.) |
| title_fullStr | Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 ; revised selected papers Edmund M. Clarke ... (eds.) |
| title_full_unstemmed | Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 ; revised selected papers Edmund M. Clarke ... (eds.) |
| title_short | Logic for programming, artificial intelligence, and reasoning |
| title_sort | logic for programming artificial intelligence and reasoning 16th international conference lpar 16 dakar senegal april 25 may 1 2010 revised selected papers |
| title_sub | 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 ; revised selected papers |
| topic | Künstliche Intelligenz (DE-588)4033447-8 gnd Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| topic_facet | Künstliche Intelligenz Programmierlogik Logische Programmierung Automatisches Beweisverfahren Konferenzschrift 2010 Dakar |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3554132&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=020878746&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT clarkeedmundm logicforprogrammingartificialintelligenceandreasoning16thinternationalconferencelpar16dakarsenegalapril25may12010revisedselectedpapers AT lpardakar logicforprogrammingartificialintelligenceandreasoning16thinternationalconferencelpar16dakarsenegalapril25may12010revisedselectedpapers |