Verfügbarkeit: Logic for programming, artificial intelligence, and reasoning

Logic for programming, artificial intelligence, and reasoning: 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Clarke, Edmund M. 1945-2020 (HerausgeberIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2010
Schriftenreihe:	Lecture notes in computer science 6355
Schlagworte:	Künstliche Intelligenz Programmierlogik Logische Programmierung Automatisches Beweisverfahren Konferenzschrift > 2010 > Dakar
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	X, 516 S.
ISBN:	3642175104 9783642175107

Internformat

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

_version_	1820875288131665920
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-10T15:13:14Z
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

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge