Logic programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14 - 17, 2009 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg [u.a.]
Springer
2009
|
| Series: | Lecture Notes in Computer Science
5649 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XVI, 564 S. Ill., graph. Darst. 235 mm x 155 mm |
| ISBN: | 9783642028458 3642028454 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035637639 | ||
| 003 | DE-604 | ||
| 005 | 20090805 | ||
| 007 | t| | ||
| 008 | 090721s2009 xx ad|| |||| 10||| eng d | ||
| 015 | |a 09,N26,0056 |2 dnb | ||
| 016 | 7 | |a 994587872 |2 DE-101 | |
| 020 | |a 9783642028458 |c PB. : EUR 73.78 (freier Pr.), sfr 107.00 (freier Pr.) |9 978-3-642-02845-8 | ||
| 020 | |a 3642028454 |9 3-642-02845-4 | ||
| 024 | 3 | |a 9783642028458 | |
| 035 | |a (OCoLC)422688785 | ||
| 035 | |a (DE-599)DNB994587872 | ||
| 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.63 | |
| 082 | 0 | |a 005.11522 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Logic programming |b 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14 - 17, 2009 ; proceedings |c Patricia M. Hill ... (eds.) |
| 264 | 1 | |a Berlin ; Heidelberg [u.a.] |b Springer |c 2009 | |
| 300 | |a XVI, 564 S. |b Ill., 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 5649 | |
| 650 | 4 | |a Logische Programmierung - Kongress - Pasadena <Calif., 2009> | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Pasadena Calif. |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Hill, Patricia M. |e Sonstige |4 oth | |
| 711 | 2 | |a ICLP |n 25 |d 2009 |c Pasadena, Calif. |j Sonstige |0 (DE-588)16013915-6 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 5649 |w (DE-604)BV000000607 |9 5649 | |
| 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=017692480&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017692480 | |
Record in the Search Index
| _version_ | 1820875131497480192 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
INVITED TALKS EXPERIENCES USING LOGIC PROGRAMMING IN BIOINFORMATICS 1
CHRIS MUNGALL
A KNOWLEDGE BASE SYSTEM PROJECT FOR FO(.) 22
MARC DENECKER
FROM PLAIN PROLOG TO LOGTALK OBJECTS: EFFECTIVE CODE ENCAPSULATION AND
REUSE 23
PAULO MOURA
GENERATIVE MODELING BY PRISM 24
TAISUKE SATO
TUTORIALS
ENABLING SERENDIPITOUS SEARCH ON THE WEB OF DATA USING PROLOG 36 JAN
WIELEMAKER
UNTANGLING REVERSE ENGINEERING WITH LOGIC AND ABSTRACTION 37 ANDY KING
(C)LP TRACING AND DEBUGGING 38
MIREILLE DUCASSE
PROBABILISTIC LOGIC LEARNING - A TUTORIAL ABSTRACT 39
LUC DE RAEDT
BEST PAPERS
USING HISTOGRAMS TO BETTER ANSWER QUERIES TO PROBABILISTIC LOGIC
PROGRAMS 40
MATTHIAS BROECHELER, GERARDO I. SIMARI, AND V.S. SUBRAHMANIAN
NON-DISCRIMINATING ARGUMENTS AND THEIR USES 55
HENNING CHRISTIANSEN AND JOHN P. GALLAGHER
APPLICATIONS I
PREPROCESSING FOR OPTIMIZATION OF PROBABILISTIC-LOGIC MODELS FOR
SEQUENCE ANALYSIS 70
HENNING CHRISTIANSEN AND OLE TORP LASSEN
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/994587872
DIGITALISIERT DURCH
IMAGE 2
XII TABLE OF CONTENTS
STABILIZATION OF INFORMATION SHARING FOR QUERIES ANSWERING IN MULTIAGENT
SYSTEMS 84
PHAN MINH DUNG, DO DUE HANH, AND PHAN MINH THANG
LOGIC PROGRAMMING FOR MULTIAGENT PLANNING WITH NEGOTIATION 99 TRAN CAO
SON, ENRICO PONTELLI, AND CHIAKI SAKAMA
IMPLEMENTATION I
ANSWER SET PROGRAMMING WITH CONSTRAINTS USING LAZY GROUNDING 115
ALESSANDRO DAL PALUE, AGOSTINO DOVIER, ENRICO PONTELLI, AND GIANFRANCO
ROSSI
COMPUTING LOOPS WITH AT MOST ONE EXTERNAL SUPPORT RULE FOR DISJUNCTIVE
LOGIC PROGRAMS 130
XIAOPING CHEN, JIANMIN JI, AND FANGZHEN LIN
THEORY
MODULAR NONMONOTONIC LOGIC PROGRAMMING REVISITED 145
MINH DAO-TRAN, THOMAS EITER, MICHAEL FINK, AND THOMAS KRENNWALLNER
MERGING LOGIC PROGRAMS UNDER ANSWER SET SEMANTICS 160
JAMES DELGRANDE, TORSTEN SCHAUB, HANS TOMPITS, AND STEFAN WOLTRAN
REDUCTS OF PROPOSITIONAL THEORIES, SATISFIABILITY RELATIONS, AND
GENERALIZATIONS OF SEMANTICS OF LOGIC PROGRAMS 175
MIROSLAW TRUSZCZYNSKI
IMPLEMENTATION II
A TABLING IMPLEMENTATION BASED ON VARIABLES WITH MULTIPLE BINDINGS 190
PABLO CHICO DE GUZMAN, MANUEL CARRO, AND MANUEL HERMENEGILDO
A TERM-BASED GLOBAL TRIE FOR TABLED LOGIC PROGRAMS 205
JORGE COSTA, JOAEO RAIMUNDO, AND RICARDO ROCHA
ANALYSIS
A NEW APPROACH TO NON-TERMINATION ANALYSIS OF LOGIC PROGRAMS 220 DEAN
VOETS AND DANNY DE SCHREYE
CONSTRAINTS I
CONSTRAINT ANSWER SET SOLVING 235
MARTIN GEBSER, MAX OSTROWSKI, AND TORSTEN SCHAUB
IMAGE 3
TABLE OF CONTENTS XIII
ON THE IMPLEMENTATION OF WEIGHT CONSTRAINT RULES IN CONFLICT-DRIVEN ASP
SOLVERS 250
MARTIN GEBSER, ROLAND KAMINSKI, BENJAMIN KAUFMANN, AND TORSTEN SCHAUB
SYSTEM AND TOOL DESCRIPTIONS
A L A N G U A GE F OR L A R GE E N S E M B L ES OF I N D E P E N D E N T
LY E X E C U T I NG N O D ES . . . 2 65
MICHAEL P. ASHLEY-ROLLMAN, PETER LEE, SETH COPEN GOLDSTEIN, PADMANABHAN
PILLAI, AND JASON D. CAMPBELL
INTEGRATING SOFTWARE TESTING AND RUN-TIME CHECKING IN AN ASSERTION
VERIFICATION FRAMEWORK 281
EDISON MERA, PEDRO LOPEZ-GARCIA, AND MANUEL HERMENEGILDO
DEBUGGING FOR MODEL EXPANSION 296
JOHAN WITTOCX, HANNE VLAEMINCK, AND MARC DENECKER
APPLICATIONS II
METABOLIC NETWORK EXPANSION WITH ANSWER SET PROGRAMMING 312 TORSTEN
SCHAUB AND SVEN THIELE
ANSWER SET PROGRAMMING FOR SINGLE-PLAYER GAMES IN GENERAL GAME PLAYING
327
MICHAEL THIELSCHER
FINDING SIMILAR OR DIVERSE SOLUTIONS IN ANSWER SET PROGRAMMING 342
THOMAS EITER, ESRA ERDEM, HALIT ERDOGAN, AND MICHAEL FINK
IMPLEMENTATION III
ATTRIBUTED DATA FOR CHR INDEXING 357
BEATA SARNA-STAROSTA AND TOM SCHRIJVERS
USER DEFINED INDEXING 372
DAVID VAZ, VITOR SANTOS COSTA, AND MICHEL FERREIRA
CONSTRAINTS II
INTEGRATION OF ABDUCTIVE REASONING AND CONSTRAINT OPTIMIZATION IN SCIFF
387
MARCO GAVANELLI, MARCO ALBERTI, AND EVELINA LAMMA
ENCODING TABLE CONSTRAINTS IN CLP(FD) BASED ON PAIR-WISE AC 402 NENG-FA
ZHOU
IMAGE 4
XIV TABLE OF CONTENTS
TYPES FOR SECURE PATTERN MATCHING WITH LOCAL KNOWLEDGE IN UNIVERSAL
CONCURRENT CONSTRAINT PROGRAMMING 417
THOMAS HILDEBRANDT AND HUGO A. LOPEZ
PROBABILITY, UNCERTAINTY
LOGIC PROGRAMMING WITH DEFAULTS AND ARGUMENTATION THEORIES 432 HUI WAN,
BENJAMIN GROSOF MICHAEL KIFER, PAUL FODOR, AND SENLIN LIANG
QUALIFIED COMPUTATIONS IN FUNCTIONAL LOGIC PROGRAMMING 449 RAFAEL
CABALLERO, MARIO RODRIGUEZ-ARTALEJO, AND CARLOS A. ROMERO-DIAZ
LOGIC PROGRAMS UNDER THREE-VALUED LUKASIEWICZ SEMANTICS 464 STEFFEN
HOELLDOBLER AND CARROLINE DEWI PUSPA KENCANA RAMLI
SHORT PAPERS
EXECUTION CONTROL FOR CHR 479
LESLIE DE KONINCK
DEMAND-DRIVEN NORMALISATION FOR ACD TERM REWRITING 484 LESLIE DE
KONINCK, GREGORY J. DUCK, AND PETER J. STUCKEY
ONE MORE DECIDABLE CLASS OF FINITELY GROUND PROGRAMS 489 YULIYA LIERLER
AND VLADIMIR LIFSCHITZ
OPTIMIZING COMPILATION AND COMPUTATIONAL COMPLEXITY OF CONSTRAINT
HANDLING RULES: PH.D. THESIS SUMMARY 494
JON SNEYERS
PROVING TERMINATION BY INVARIANCE RELATIONS 499
PAOLO PILOZZI AND DANNY DE SCHREYE
AUTOMATING TERMINATION PROOFS FOR CHR 504
PAOLO PILOZZI AND DANNY DE SCHREYE
AN OVERVIEW OF FORCES: AN INRIA PROJECT ON DECLARATIVE FORMALISMS FOR
EMERGENT SYSTEMS 509
JESUS ARANDA, GERARD ASSAYAG, CARLOS OLARTE, JORGE A. PEREZ, CAMILO
RUEDA, MAURICIO TORO, AND FRANK D. VALENCIA
AN ENGINE FOR COMPUTING WELL-FOUNDED MODELS 514
TERRANCE SWIFT
INCREMENTAL ANSWER COMPLETION IN THE SLG-WAM 519
TERRANCE SWIFT, ALEXANDRE MIGUEL PINTO, AND LUIS MONIZ PEREIRA
IMAGE 5
TABLE OF CONTENTS XV
DOCTORAL CONSORTIUM
RESEARCH SUMMARY: TABLED EVALUATION FOR TRANSACTION LOGIC PROGRAMS 525
PAUL FODOR
RESEARCH SUMMARY: LOGIC PROGRAMMING FOR MASSIVELY DISTRIBUTED SYSTEMS
527
MICHAEL P. ASHLEY-ROLLMAN
RESEARCH SUMMARY: EXTENDING ELIMINATION ALGORITHMS FOR FUNCTIONAL
CONSTRAINTS TO SOLVE TWO INTEGER VARIABLES PER INEQUALITY 530 CHENDONG
LI
RESEARCH SUMMARY: A COGNITIVE ARCHITECTURE FOR A SERVICE ROBOT: AN
ANSWER SET PROGRAMMING APPROACH 532
JIANMIN JI
RESEARCH SUMMARY: TERMINATION OF CHR 534
PAOLO PILOZZI
RESEARCH SUMMARY: INTELLIGENT NATURAL LANGUAGE PROCESSING TECHNIQUES AND
TOOLS 536
ALESSIO PAOLUCCI
STOCHASTIC REASONING WITH MODELS OF AGENT BEHAVIOR 538
GERARDO I. SIMARI
RESEARCH SUMMARY: ANALYSING GRAPH TRANSFORMATION SYSTEMS USING EXTENDED
METHODS FROM CONSTRAINT HANDLING RULES 540
FRANK RAISER
MODULAR ACTION LANGUAGE ACM. 542
DANIELA INCLEZAN
ANSWERING QUESTIONS FROM NATURAL LANGUAGE USING A-PROLOG 544 YANA
TODOROVA
BELIEF LOGIC PROGRAMMING 547
HUI WAN
LOGIC-STATISTIC MODELS WITH CONSTRAINTS FOR BIOLOGICAL SEQUENCE ANALYSIS
549
CHRISTIAN THEIL HAVE
FUSION OF LOGIC PROGRAMMING AND DESCRIPTION LOGICS 551
MANTAS SIMKUS
RESEARCH SUMMARY: NON-TERMINATION ANALYSIS OF LOGIC PROGRAMS 553 DEAN
VOETS
IMAGE 6
XVI TABLE OF CONTENTS
STUDY OF RANDOM LOGIC PROGRAMS 555
GAYATHRI NAMASIVAYAM
LOCALLY DISTRIBUTED PREDICATES: A PROGRAMMING FACILITY FOR DISTRIBUTED
STATE DETECTION 557
MICHAEL DE ROSA
CAPTURING FAIR COMPUTATIONS ON CONCURRENT CONSTRAINT LANGUAGE 559 PAOLA
CAMPLI AND STEFANO BISTARELLI
CONSTRAINT BASED LANGUAGES FOR BIOLOGICAL REACTIONS 561
MARCO BOTTALICO AND STEFANO BISTARELLI
AUTHOR INDEX 563 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035637639 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63 |
| callnumber-search | QA76.63 |
| callnumber-sort | QA 276.63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)422688785 (DE-599)DNB994587872 |
| dewey-full | 005.11522 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.11522 |
| dewey-search | 005.11522 |
| dewey-sort | 15.11522 |
| 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">BV035637639</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090805</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090721s2009 xx ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N26,0056</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">994587872</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642028458</subfield><subfield code="c">PB. : EUR 73.78 (freier Pr.), sfr 107.00 (freier Pr.)</subfield><subfield code="9">978-3-642-02845-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642028454</subfield><subfield code="9">3-642-02845-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642028458</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)422688785</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB994587872</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.63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.11522</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">Logic programming</subfield><subfield code="b">25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14 - 17, 2009 ; proceedings</subfield><subfield code="c">Patricia M. Hill ... (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">XVI, 564 S.</subfield><subfield code="b">Ill., 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">5649</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logische Programmierung - Kongress - Pasadena <Calif., 2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield><subfield code="v">Congresses</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2009</subfield><subfield code="z">Pasadena Calif.</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="700" ind1="1" ind2=" "><subfield code="a">Hill, Patricia M.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICLP</subfield><subfield code="n">25</subfield><subfield code="d">2009</subfield><subfield code="c">Pasadena, Calif.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16013915-6</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">5649</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5649</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=017692480&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-017692480</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Pasadena Calif. gnd-content |
| genre_facet | Konferenzschrift 2009 Pasadena Calif. |
| id | DE-604.BV035637639 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:44Z |
| institution | BVB |
| institution_GND | (DE-588)16013915-6 |
| isbn | 9783642028458 3642028454 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017692480 |
| oclc_num | 422688785 |
| 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 | XVI, 564 S. Ill., 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 | Logic programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14 - 17, 2009 ; proceedings Patricia M. Hill ... (eds.) Berlin ; Heidelberg [u.a.] Springer 2009 XVI, 564 S. Ill., graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 5649 Logische Programmierung - Kongress - Pasadena <Calif., 2009> Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Pasadena Calif. gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Hill, Patricia M. Sonstige oth ICLP 25 2009 Pasadena, Calif. Sonstige (DE-588)16013915-6 oth Lecture Notes in Computer Science 5649 (DE-604)BV000000607 5649 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017692480&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14 - 17, 2009 ; proceedings Lecture Notes in Computer Science Logische Programmierung - Kongress - Pasadena <Calif., 2009> Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)1071861417 |
| title | Logic programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14 - 17, 2009 ; proceedings |
| title_auth | Logic programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14 - 17, 2009 ; proceedings |
| title_exact_search | Logic programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14 - 17, 2009 ; proceedings |
| title_full | Logic programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14 - 17, 2009 ; proceedings Patricia M. Hill ... (eds.) |
| title_fullStr | Logic programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14 - 17, 2009 ; proceedings Patricia M. Hill ... (eds.) |
| title_full_unstemmed | Logic programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14 - 17, 2009 ; proceedings Patricia M. Hill ... (eds.) |
| title_short | Logic programming |
| title_sort | logic programming 25th international conference iclp 2009 pasadena ca usa july 14 17 2009 proceedings |
| title_sub | 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14 - 17, 2009 ; proceedings |
| topic | Logische Programmierung - Kongress - Pasadena <Calif., 2009> Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Logische Programmierung - Kongress - Pasadena <Calif., 2009> Logic programming Congresses Logische Programmierung Konferenzschrift 2009 Pasadena Calif. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017692480&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT hillpatriciam logicprogramming25thinternationalconferenceiclp2009pasadenacausajuly14172009proceedings AT iclppasadenacalif logicprogramming25thinternationalconferenceiclp2009pasadenacausajuly14172009proceedings |