Logic for programming, artificial intelligence, and reasoning: 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
8312 : Advanced research in computing and software science |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XIV, 794 S. graph. Darst. |
| ISBN: | 9783642452208 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV041474505 | ||
| 003 | DE-604 | ||
| 005 | 20140314 | ||
| 007 | t| | ||
| 008 | 131211s2013 gw d||| |||| 10||| eng d | ||
| 015 | |a 13,N48 |2 dnb | ||
| 016 | 7 | |a 1044262508 |2 DE-101 | |
| 020 | |a 9783642452208 |c Pb. : ca. EUR 93.09 (DE) (freier Pr.), ca. EUR 95.70 (AT) (freier Pr.), ca. sfr 116.00 (freier Pr.) |9 978-3-642-45220-8 | ||
| 024 | 3 | |a 9783642452208 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86352516 |
| 035 | |a (OCoLC)872033684 | ||
| 035 | |a (DE-599)DNB1044262508 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-11 |a DE-83 |a DE-91G | ||
| 082 | 0 | |a 006.3 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 540f |2 stub | ||
| 100 | 1 | |a McMillan, Kenneth L. |e Verfasser |0 (DE-588)1047138220 |4 aut | |
| 245 | 1 | 0 | |a Logic for programming, artificial intelligence, and reasoning |b 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings |c Ken McMillan ... (eds) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a XIV, 794 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 8312 : Advanced research in computing and software science | |
| 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 2013 |z Stellenbosch |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 | |
| 711 | 2 | |a LPAR |n 19 |d 2013 |c Stellenbosch |j Sonstige |0 (DE-588)1047019868 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-45221-5 |
| 830 | 0 | |a Lecture notes in computer science |v 8312 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 8312 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4505715&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=026920582&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026920582 | |
Datensatz im Suchindex
| _version_ | 1820875550005133312 |
|---|---|
| adam_text |
TABLE OF CONTENTS
AN ALGORITHM FOR ENUMERATING MAXIMAL MODELS OF HORN THEORIES
WITH AN APPLICATION TO MODAL LOGICS J
LUCA ACETO, DARIO DELIA MONICA. ANNA INGOLFSDOTTIR,
ANGELA MONTANARI, AND GUIDO SCIAVICCO
MAY-HAPPEN-IN-PARALLEL ANALYSIS FOR PRIORITY-BASED SCHEDULING 18
ELVIRA ALBERT, SAMIR GENAIM, AND ENRIQUE MARTIN-MARTIN
THE COMPLEXITY OF CLAUSAL FRAGMENTS OF LTL 35
ALESSANDRO ARTALE, ROMAN KONTCHAKOV, VLADISLAV R.YZHIKOV, AND
MICHAEL ZAKHARYASCHEV
A SEMANTIC BASIS FOR PROOF QUERIES AND TRANSFORMATIONS 53
DAVID ASPINALL, EWEN DENNEY, AND CHRISTOPH LUTH
EXPRESSIVE PATH QUERIES ON GRAPHS WITH DATA 71
PABLO BARCELO, GAELIC FONTAINE, AND ANTHONY WIDJAJA LIN
PROVING INFINITE SATISFIABILITY 86
PETER BAUMGARTNER AND JOSHUA BAX
SAT-BASED PREPROCESSING FOR MAXSAT 96
ANTON BELOV, ANTONIO MORG
ADO, AND .JOAO MARQUES-SILVA
DYNAMIC AND STATIC SYMMETRY BREAKING IN ANSWER SET
PROGRAMMING 112
BELAID BENHAMOU
HOL BASED FIRST-ORDER MODAL LOGIC PROVERS 127
CHRISTOPH BENZMIILLER AND THOMAS R.A.THS
RESOURCEFUL REACHABILITY AS HORN-LA 137
.JOSH BERDINE, NIKOLAJ BJ0MER, SAMIN ISHTIAQ, JAEL E. KRIENER, AND
CHRISTOPH M. WINTERSTEIGER
A SELIGMAN-STYLE TABLEAU SYSTEM 147
PA,TRICK BLACKBURN, THOMAS BOLANDER, TORBEN BRA.UNER, AND
KLAUS FROVIN J0RGENSEN
COMPARISON OF LTL TO DETERMINISTIC RABIN AUTOMATA TRANSLATORS 164
FRANTISEK BLAHOUDEK, MOJRNIR KFETINSKY, AND JAN STREJCEK
HTTP://D-NB.INFO/1044262508
XII
TABLE OF CONTENTS
TREE INTERPOLATION IN VAMPIRE 173
REGIS BLANC, ASHUTOSH GUPTA, LAURA, KOVDCS, AND BERNLUIRD KRAGL
POLARIZING DOUBLE-NEGATION TRANSLATIONS 182
MELANIE BOUDARD AND OLIVIER HERMANT
REVISITING THE EQUIVALENCE OF SHININESS AND POLITENESS 198
FILIPE CASAL AND JO DO R.ASGA
TOWARDS RATIONAL CLOSURE FOR FUZZY LOGIC: THE CASE OF PROPOSITIONAL
GODEL LOGIC 213
GIOVANNI G'ASINI AND UMBERTO STRACCIA
MULTI-OBJECTIVE DISCOUNTED REWARD VERIFICATION IN GRAPHS
AND MDPS 228
KRISHNENDU CHATTERJEE, VOJTECH FOREJT, AND DOMINIK WOJTCZAK
DESCRIPTION LOGICS, RULES AND MULTI-CONTEXT SYSTEMS 243
LUIS CRUZ-FILIPE, RITA HENRI,QUES, AND ISABEL NUNES
COMPLEXITY ANALYSIS IN PRESENCE OF CONTROL OPERATORS AND HIGHER-ORDER
FUNCTIONS 258
UGO DAL LA,GO AND GIULIO PELLITTA
ZENON MODULO: WHEN ACHILLES OUTRUNS THE TORTOISE USING DEDUCTION
MODULO 274
DAVID DELAHAYE, DAMIEN DOLIGEZ, FREDERIC GILBERT, PIERRE
HALMAGRAND, AND OLIVIER HERMANT
LONG-DISTANCE RESOLUTION: PROOF GENERATION AND STRATEGY EXTRACTION
IN SEARCH-BASED QBF SOLVING 291
UWE EGLY, FLORIAN LOUSING, AND MAGDALENA WIDL
VERIFYING TEMPORAL PROPERTIES IN REAL MODELS 309
TIM FRENCH, JOHN MCCABE-DANSTED, AND MARK REYNOLDS
A GRAPHICAL LANGUAGE FOR PROOF STRATEGIES 324
GUDMUND GROU, ALEKS KISSINGER, AND YUHUI LIN
A PROOF OF STRONG NORMALISATION OF THE TYPED ATOMIC
LAMBDA-CALCULUS 340
TORN GUNDERSEN, WILLEM HEIJLTJES, AND MICHEL PARIGOT,
RELAXING SYNCHRONIZATION CONSTRAINTS IN BEHAVIORAL PROGRAMS 355
DAVID HAREL, AMIR KANTOR, AND GAY KATZ
CHARACTERIZING SUBSET SPACES AS BI-TOPOLOGICAL STRUCTURES 373
BCRNHARD HEINEMANN
TABLE OF CONTENTS
XIII
PROOF-PATTERN RECOGNITION AND LEMMA DISCOVERY IN ACL2 389
JONATHAN HERAS, EKATERINA KOMENDANTSKA.YA, MOA JOHANSSON, AND
EWEN MACLEAN
SEMANTIC A-TRANSLATIONS AND SUPER-CONSISTENCY ENTAIL CLASSICAL CUT
ELIMINATION 407
LISA ALLALI AND OLIVIER HERMANT
BLOCKED CLAUSE DECOMPOSITION 423
MARIJN J.H. HEULE AND ARMIN BIERE
MAXIMAL FALSIFIABILITY: DEFINITIONS. ALGORITHMS, AND APPLICATIONS 439
ALEXEY IGNATIEV, ANTONIO MORGADO, JORDI PLANES, AND
JOAO MARQUES-SILVA
SOLVING GEOMETRY PROBLEMS USING A COMBINATION OF SYMBOLIC
AND NUMERICAL REASONING 457
SHACHAR ITZHAKY, SUMIT GULWANI, NEIL IMMERMAN, AND MOOLY SAGIU
ON QBF PROOFS AND PREPROCESSING 473
MIKOLDS JANOTA, R.ADU GRIG
ORE, AND JOAO MARQUES-SILVA
PARTIAL BACKTRACKING IN CDCL SOLVERS 490
CHUAN JIANG AND TING ZHANG
LEMMA MINING OVER HOL LIGHT 503
CEZARY KALISZYK AND JOSEF URBAN
ON MODULE-BASED ABSTRACTION AND REPAIR OF BEHAVIORAL PROGRAMS 518
GUY KATZ
PREDICTION AND EXPLANATION OVER DL-LITE DATA STREAMS 536
SZYRNON KLARMAN AND THOMAS MEYER
FORGETTING CONCEPT AND ROLE SYMBOLS IN *4C%-ONTOLOGIES 552
PATRICK KOOPMANN AND B.ENATE A. SCHMIDT
SIMULATING PARITY REASONING 568
TERO LAITINEN, TOMMI JUNTTILA, AND, ILKKA NIEMELA
HERBRAND THEOREMS FOR SUBSTRUCTURAL LOGICS 584
PETR CINTULA, AND GEORGE METCALFE
ON PROMPTNESS IN PARITY GAMES 601
FABIO MOGAVERO, ANIELLO MURANO, AND LOREDANA SORRENTINO
DEFINING PRIVACY IS SUPPOSED TO BE EASY 619
SEBASTIAN A. MODERSHEIM, THOMAS GROFI, AND LUCA VIGAND
REACHABILITY MODULES FOR THE DESCRIPTION LOGIC S1ZZQ 636
B.IKU NORTJE, KATARINA BLITZ, AND THOMAS MEYER
XIV TABLE OF CONTENTS
AN EVENT STRUCTURE MODEL FOR PROBABILISTIC CONCURRENT KLEENE
ALGEBRA 653
ANNABELLE MELVER, TALVIRY RABEHAJA, AND, GEORG STRATH
THREE SCC-BASED EMPTINESS CHECKS FOR GENERALIZED BCHI
AUTOMATA 668
ETIENNE R.ENAULT, ALEXANDRE DUVET-LUTZ, FABRICE KORDON, AND,
DENIS POITRENAUD
PERIPLO: A FRAMEWORK FOR PRODUCING EFFECTIVE INTERPOLANTS
IN SAT-BASED SOFTWARE VERIFICATION 683
SIMONE FULVIO ROLLINI, LEONARDO ALT, GRIGORY FEDYUKOVICH,
ANTTI E.J. HYVARINEN, AND NATASHA SHARYGINA
INCREMENTAL TABLING FOR QUERY-DRIVEN PROPAGATION OF LOGIC PROGRAM
UPDATES 694
ARI SAPTAWIJAYA AND LUIS MONIZ PEREIRA
TRACKING DATA-FLOW WITH OPEN CLOSURE TYPES 710
GABRIEL SCHEVEV AND JAN HOFFMANN
PUTTING NEWTON INTO PRACTICE: A SOLVER FOR POLYNOMIAL EQUATIONS OVER
SEMIRINGS 727
MAXIMILIAN SCHLUND, MICHAL TEREPETA, AND, MICHAEL, LUTTENBERGER
SYSTEM DESCRIPTION: E 1.8 735
STEPHAN SCHULZ
FORMALIZATION OF LAPLACE TRANSFORM USING THE MULTIVARIABIE CALCULUS
THEORY OF HOL-LIGHT 744
SYEDA HIRA TAQDEES AND OSMAN HASAN
ON MINIMALITY AND INTEGRITY CONSTRAINTS IN PROBABILISTIC ABDUCTION .
759
CALIN-RAVES TURLIUE, NATALY MAIMARI, ALESSANDRA, R.USSO, AND,
KRYSIA BRODA
POLAR,: A FRAMEWORK FOR PROOF REFACTORING 776
DOMINIK DIETRICH, IAIN WHITESIDE, AND DAVID ASPINALL
AUTHOR INDEX
793 |
| any_adam_object | 1 |
| author | McMillan, Kenneth L. |
| author_GND | (DE-588)1047138220 |
| author_facet | McMillan, Kenneth L. |
| author_role | aut |
| author_sort | McMillan, Kenneth L. |
| author_variant | k l m kl klm |
| building | Verbundindex |
| bvnumber | BV041474505 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 540f |
| ctrlnum | (OCoLC)872033684 (DE-599)DNB1044262508 |
| 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 a22000008cb4500</leader><controlfield tag="001">BV041474505</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140314</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">131211s2013 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,N48</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1044262508</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642452208</subfield><subfield code="c">Pb. : ca. EUR 93.09 (DE) (freier Pr.), ca. EUR 95.70 (AT) (freier Pr.), ca. sfr 116.00 (freier Pr.)</subfield><subfield code="9">978-3-642-45220-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642452208</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86352516</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)872033684</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1044262508</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><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.3</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 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">McMillan, Kenneth L.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1047138220</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic for programming, artificial intelligence, and reasoning</subfield><subfield code="b">19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings</subfield><subfield code="c">Ken McMillan ... (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">XIV, 794 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">8312 : Advanced research in computing and software science</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">2013</subfield><subfield code="z">Stellenbosch</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="711" ind1="2" ind2=" "><subfield code="a">LPAR</subfield><subfield code="n">19</subfield><subfield code="d">2013</subfield><subfield code="c">Stellenbosch</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1047019868</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="z">978-3-642-45221-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8312 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">8312</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=4505715&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=026920582&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-026920582</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Stellenbosch gnd-content |
| genre_facet | Konferenzschrift 2013 Stellenbosch |
| id | DE-604.BV041474505 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:17:25Z |
| institution | BVB |
| institution_GND | (DE-588)1047019868 |
| isbn | 9783642452208 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026920582 |
| oclc_num | 872033684 |
| open_access_boolean | |
| owner | DE-11 DE-83 DE-91G DE-BY-TUM |
| owner_facet | DE-11 DE-83 DE-91G DE-BY-TUM |
| physical | XIV, 794 S. graph. Darst. |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | McMillan, Kenneth L. Verfasser (DE-588)1047138220 aut Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings Ken McMillan ... (eds) Berlin [u.a.] Springer 2013 XIV, 794 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 8312 : Advanced research in computing and software science 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 2013 Stellenbosch 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 LPAR 19 2013 Stellenbosch Sonstige (DE-588)1047019868 oth Erscheint auch als Online-Ausgabe 978-3-642-45221-5 Lecture notes in computer science 8312 : Advanced research in computing and software science (DE-604)BV000000607 8312 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4505715&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=026920582&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | McMillan, Kenneth L. Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings 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 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings |
| title_auth | Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings |
| title_exact_search | Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings |
| title_full | Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings Ken McMillan ... (eds) |
| title_fullStr | Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings Ken McMillan ... (eds) |
| title_full_unstemmed | Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings Ken McMillan ... (eds) |
| title_short | Logic for programming, artificial intelligence, and reasoning |
| title_sort | logic for programming artificial intelligence and reasoning 19th international conference lpar 19 stellenbosch south africa december 14 19 2013 proceedings |
| title_sub | 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings |
| 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 2013 Stellenbosch |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4505715&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=026920582&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT mcmillankennethl logicforprogrammingartificialintelligenceandreasoning19thinternationalconferencelpar19stellenboschsouthafricadecember14192013proceedings AT lparstellenbosch logicforprogrammingartificialintelligenceandreasoning19thinternationalconferencelpar19stellenboschsouthafricadecember14192013proceedings |