Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2009
|
| Series: | Lecture Notes in Computer Science
5753 : Lecture Notes in Artificial Intelligence |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XV, 656 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 9783642042379 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035723336 | ||
| 003 | DE-604 | ||
| 005 | 20100915 | ||
| 007 | t| | ||
| 008 | 090914s2009 xx d||| |||| 10||| eng d | ||
| 015 | |a 09,N34,0031 |2 dnb | ||
| 016 | 7 | |a 995796211 |2 DE-101 | |
| 020 | |a 9783642042379 |c PB. : EUR 84.53 (freier Pr.), sfr 123.00 (freier Pr.) |9 978-3-642-04237-9 | ||
| 024 | 3 | |a 9783642042379 | |
| 028 | 5 | 2 | |a 12752607 |
| 035 | |a (OCoLC)436030811 | ||
| 035 | |a (DE-599)DNB995796211 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 004 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Logic Programming and Nonmonotonic Reasoning |b 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings |c Esra Erdem ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a XV, 656 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 5753 : Lecture Notes in Artificial Intelligence | |
| 650 | 4 | |a Frage-Antwort-System - Logische Programmierung - Nichtmonotones Schließen - Kongress - Potsdam <2009> | |
| 650 | 4 | |a Logische Programmierung - Kongress - Potsdam <2009> | |
| 650 | 4 | |a Problemlösen - Inferenz <Künstliche Intelligenz> - Kongress - Potsdam <2009> | |
| 650 | 4 | |a Wissensrepräsentation - Nichtmonotones Schließen - Kongress - Potsdam <2009> | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 650 | 4 | |a Nonmonotonic reasoning |v Congresses | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Problemlösen |0 (DE-588)4076358-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Frage-Antwort-System |0 (DE-588)4277060-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Inferenz |g Künstliche Intelligenz |0 (DE-588)4333533-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Potsdam |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 Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 1 | 1 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Problemlösen |0 (DE-588)4076358-4 |D s |
| 689 | 2 | 1 | |a Inferenz |g Künstliche Intelligenz |0 (DE-588)4333533-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Frage-Antwort-System |0 (DE-588)4277060-9 |D s |
| 689 | 3 | 1 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 3 | 2 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Erdem, Esra |e Sonstige |4 oth | |
| 711 | 2 | |a LPNMR |n 10 |d 2009 |c Potsdam |j Sonstige |0 (DE-588)6102587-2 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 5753 : Lecture Notes in Artificial Intelligence |w (DE-604)BV000000607 |9 5753 | |
| 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=018000067&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018000067 | |
Record in the Search Index
| _version_ | 1820875166707613696 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
SESSION 1. INVITED TALKS SAT, SMT AND APPLICATIONS 1
ARMIN BIERE
LOGIC-BASED MODELING IN SYSTEMS BIOLOGY 2
ALEXANDER BOCKMAYR
INTEGRATING ANSWER SET PROGRAMMING AND SATISFIABILITY MODULO THEORIES 3
UEKKA NIEMELAE
SESSION 2. TECHNICAL PAPERS
HOW FLEXIBLE IS ANSWER SET PROGRAMMING? AN EXPERIMENT IN FORMALIZING
COMMONSENSE IN ASP 4
MARCELLO BALDUCCINI
SPLITTING A CR-PROLOG PROGRAM 17
MARCELLO BALDUCCINI
CONTEXTUAL ARGUMENTATION IN AMBIENT INTELLIGENCE 30
ANTONIS BIKAKIS AND GRIGORIS ANTONIOU
ARGUMENTATION CONTEXT SYSTEMS: A FRAMEWORK FOR ABSTRACT GROUP
ARGUMENTATION 44
GERHARD BREWKA AND THOMAS EITER
A REVISED CONCEPT OF SAFETY FOR GENERAL ANSWER SET PROGRAMS 58 PEDRO
CABALAR, DAVID PEARCE, AND AGUSTIN VALVERDE
MAGIC SETS FOR THE BOTTOM-UP EVALUATION OF FINITELY RECURSIVE PROGRAMS
71
FRANCESCO CALIMERI, SUSANNA COZZA, GIOVAMBATTISTA IANNI, AND NICOLA
LEONE
RELEVANCE-DRIVEN EVALUATION OF MODULAR NONMONOTONIC LOGIC PROGRAMS 87
MINH DAO-TRAN, THOMAS EITER, MICHAEL FINK, AND THOMAS KRENNWALLNER
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/995796211
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
COMPLEXITY OF THE STABLE MODEL SEMANTICS FOR QUERIES ON INCOMPLETE
DATABASES 101
JOS DE BRUIJN AND STIJN HEYMANS
MANIFOLD ANSWER-SET PROGRAMS FOR META-REASONING 115
WOLFGANG FABER AND STEFAN WOLTRAN
A DEDUCTIVE SYSTEM FOR FO(ID) BASED ON LEAST FIXPOINT LOGIC 129 PING HOU
AND MARC DENECKER
COMPUTING STABLE MODELS VIA REDUCTIONS TO DIFFERENCE LOGIC 142 TOMI
JANHUNEN, ILKKA NIEMELAE, AND MARK SEVALNEV
A MODULE-BASED FRAMEWORK FOR MULTI-LANGUAGE CONSTRAINT MODELING . . 155
MATTI JAERVISALO, EMILIA OIKARINEN, TOMI JANHUNEN, AND ILKKA NIEMELAE
INDUCTION ON FAILURE: LEARNING CONNECTED HORN THEORIES 169 TIM KIMBER,
KRYSIA BRODA, AND ALESSANDRA RUSSO
ON REDUCTIVE SEMANTICS OF AGGREGATES IN ANSWER SET PROGRAMMING . . .
182 JOOHYUNG LEE AND YUNSONG MENG
A FIRST ORDER FORWARD CHAINING APPROACH FOR ANSWER SET COMPUTING 196
CLAIRE LEFEVRE AND PASCAL NICOLAS
KNOWLEDGE QUALIFICATION THROUGH ARGUMENTATION 209
LOIZOS MICHAEL AND ANTONIS KAKAS
SIMPLE RANDOM LOGIC PROGRAMS 223
GAYATHRI NAMASIVAYAM AND MIROSLAW TRUSZCZYNSKI
MAX-ASP: MAXIMUM SATISFIABILITY OF ANSWER SET PROGRAMS 236 EMILIA
OIKARINEN AND MATTI JAERVISALO
BELIEF REVISION WITH BOUNDED TREEWIDTH 250
REINHARD PICHLER, STEFAN RUMMELE, AND STEFAN WOLTRAN
CASTING AWAY DISJUNCTION AND NEGATION UNDER A GENERALISATION OF STRONG
EQUIVALENCE WITH PROJECTION 264
JOERG PUEHRER AND HANS TOMPITS
A DEFAULT APPROACH TO SEMANTICS OF LOGIC PROGRAMS WITH CONSTRAINT ATOMS
277
YI-DONG SHEN AND JIA-HUAI YOU
IMAGE 3
TABLE OF CONTENTS XI
THE COMPLEXITY OF CIRCUMSCRIPTIVE INFERENCE IN POST'S LATTICE 290
MICHAEL THOMAS
TRICHOTOMY RESULTS ON THE COMPLEXITY OF REASONING WITH DISJUNCTIVE LOGIC
PROGRAMS 303
MIROSLAW TRUSZCZYRISKI
BELIEF LOGIC PROGRAMMING: UNCERTAINTY REASONING WITH CORRELATION OF
EVIDENCE 316
HUI WAN AND MICHAEL KIFER
WEIGHT CONSTRAINT PROGRAMS WITH FUNCTIONS 329
YISONG WANG, JIA-HUAI YOU, LI-YAN YUAN, AND MINGYI ZHANG
SESSION 3. ORIGINAL APPLICATION PAPERS
BRIDGING THE GAP BETWEEN HIGH-LEVEL REASONING AND LOW-LEVEL CONTROL 342
OZAN CALDIRAN, KADIR HASPALAMUTGIL, ABDULLAH OK, CAN PALAZ, ESRA ERDEM,
AND VOLKAN PATOGLU
A GENERAL APPROACH TO THE VERIFICATION OF CRYPTOGRAPHIC PROTOCOLS USING
ANSWER SET PROGRAMMING 355
JAMES P. DELGRANDE, TORSTEN GROTE, AND AARON HUNTER
AN ASP-BASED SYSTEM FOR E-TOURISM 368
SALVATORE MARIA IELPA, SALVATORE UNTANO, NICOLA LEONE, AND FRANCESCO
RICCA
CCT ON STAGE: GENERALISED UNIFORM EQUIVALENCE TESTING FOR VERIFYING
STUDENT ASSIGNMENT SOLUTIONS 382
JOHANNES OETSCH, MARTINA SEIDL, HANS TOMPITS, AND STEFAN WOLTRAN
SESSION 4. SHORT PAPERS
TRANSLATING PREFERRED ANSWER SET PROGRAMS TO PROPOSITIONAL LOGIC 396
VERNON ASUNCION AND YAN ZHANG
CR-PROLOG AS A SPECIFICATION LANGUAGE FOR CONSTRAINT SATISFACTION
PROBLEMS 402
MARCELLO BALDUCCINI
MODELING MULTI-AGENT DOMAINS IN AN ACTION LANGUAGES: AN EMPIRICAL STUDY
USING C 409
CHITTA BARAI, TRAN CAO SON, AND ENRICO PONTELLI
COMPUTING WEIGHTED SOLUTIONS IN ANSWER SET PROGRAMMING 416 DUYGU CAKMAK,
ESRA ERDEM, AND HALIT ERDOGAN
IMAGE 4
XII TABLE OF CONTENTS
REPRESENTING MULTI-AGENT PLANNING IN CLP 423
AGOSTINO DOVIER, ANDREA FORMISANO, AND ENRICO PONTELLI
PROTOTYPICAL REASONING WITH LOW COMPLEXITY DESCRIPTION LOGICS:
PRELIMINARY RESULTS 430
LAURA GIORDANO, VALENTINA GLIOZZI, NICOLA OLIVETTI, AND GIAN LUCA
POZZATO
AQL : A QUERY LANGUAGE FOR ACTION DOMAINS MODELLED USING ANSWER SET
PROGRAMMING 437
LUKE HOPTON, OWEN CLIFFE, MARINA DE VOS, AND JULIAN PADGET
LEVEL MAPPING INDUCED LOOP FORMULAS FOR WEIGHT CONSTRAINT AND AGGREGATE
PROGRAMS 444
GUOHUA LIU
LAYER SUPPORTED MODELS OF LOGIC PROGRAMS 450
LUIS MONIZ PEREIRA AND ALEXANDRE MIGUEL PINTO
APPLYING ASP TO UML MODEL VALIDATION 457
MARIO ORNAGHI, CAMILLO FIORENTINI, ALBERTO MOMIGLIANO, AND FRANCESCO
PAGANO
THE LOGICAL CONSEQUENCE ROLE IN LPNMR: A PARAMETERIZED COMPUTATION
APPROACH 464
MAURICIO OSORIO GALINDO AND SIMONE PASCUCCI
SOCIAL DEFAULT THEORIES 470
CHIAKI SAKAMA
SESSION 5. SYSTEM DESCRIPTIONS
NFH2DLP AND NFNSOLVE: NORMAL FORM NESTED PROGRAMS COMPILER AND SOLVER
477
ANNAMARIA BRIA, WOLFGANG FABER, AND NICOLA LEONE
AN ASP SYSTEM WITH FUNCTIONS, LISTS, AND SETS 483
FRANCESCO CALIMERI, SUSANNA COZZA, GIOVAMBATTISTA LANNI, AND NICOLA
LEONE
A SIMPLE DISTRIBUTED CONFLICT-DRIVEN ANSWER SET SOLVER 490 ENRICO
ELLGUTH, MARTIN GEBSER, MARKUS GUSOWSKI, BENJAMIN KAUFMANN, ROLAND
KAMINSKI, STEFAN LISKE, TORSTEN SCHAUB, LARS SCHNEIDENBACH, AND BETTINA
SCHNOR
AN IMPLEMENTATION OF BELIEF CHANGE OPERATIONS BASED ON PROBABILISTIC
CONDITIONAL LOGIC 496
MARC FINTHAMMER, CHRISTOPH BEIERLE, BENJAMIN BERGER, AND GABRIELE KERN
ISBERNER
IMAGE 5
TABLE OF CONTENTS XIII
ON THE INPUT LANGUAGE OF ASP GROUNDER GRINGO 502
MARTIN GEBSER, ROLAND KAMINSKI, MAX OSTROWSKI, TORSTEN SCHAUB, AND SVEN
THIELE
THE CONFLICT-DRIVEN ANSWER SET SOLVER CLASP: PROGRESS REPORT 509 MARTIN
GEBSER, BENJAMIN KAUFMANN, AND TORSTEN SCHAUB
SYSTEM F2LP - COMPUTING ANSWER SETS OF FIRST-ORDER FORMULAS 515 JOOHYUNG
LEE AND RAVI PALLA
THE FIRST VERSION OF A NEW ASP SOLVER : ASPERIX 522
CLAIRE LEFEVRE AND PASCAL NICOLAS
AN ASP-BASED DATA INTEGRATION SYSTEM 528
NICOLA LEONE, FRANCESCO RICCA, AND GIORGIO TERRACINA
GORGIAS-C: EXTENDING ARGUMENTATION WITH CONSTRAINT SOLVING 535 VICTOR
NOEL AND ANTONIS KAKAS
SESSION 6. SUMMARIES OF EXISTING SUCCESSFUL APPLICATIONS PAPERS
ANTON: COMPOSING LOGIC AND LOGIC COMPOSING 542
GEORG BOENN, MARTIN BRAIN, MARINA DE VOS, AND JOHN FFITCH
MODELLING NORMATIVE FRAMEWORKS USING ANSWER SET PROGRAMING 548 OWEN
CLIFFE, MARINA DE VOS, AND JULIAN PADGET
GENERATING OPTIMAL CODE USING ANSWER SET PROGRAMMING 554
TOM CRICK, MARTIN BRAIN, MARINA DE VOS, AND JOHN FITCH
LOGIC PROGRAMMING TECHNIQUES IN PROTEIN STRUCTURE DETERMINATION:
METHODOLOGIES AND RESULTS 560
ALESSANDRO DAL PALU, AGOSTINO DOVIER, AND ENRICO PONTELLI
PHYLO-ASP: PHYLOGENETIC SYSTEMATICS WITH ANSWER SET PROGRAMMING 567
ESRA ERDEM
HAPLO-ASP: HAPLOTYPE INFERENCE USING ANSWER SET PROGRAMMING . . . 573
ESRA ERDEM, OZAN ERDEM, AND FERHAN TUERE
USING ANSWER SET PROGRAMMING TO ENHANCE OPERATING SYSTEM DISCOVERY 579
FRANCOIS GAGNON AND BABAK ESFANDIARI
IMAGE 6
XIV TABLE OF CONTENTS
NON-MONOTONIC REASONING SUPPORTING WIRELESS SENSOR NETWORKS FOR
INTELLIGENT MONITORING: THE SINDI SYSTEM 585
ALESSANDRA MILEO, DAVIDE MERICO, AND ROBERTO BISIANI
SESSION 7. SHORT APPLICATION PAPERS
SOME DLV APPLICATIONS FOR KNOWLEDGE MANAGEMENT 591 GIOVANNI GRASSO,
SALVATORE IIRITANO, NICOLA LEONE, AND FRANCESCO RICCA
APPLICATION OF ASP FOR AUTOMATIC SYNTHESIS OF FLEXIBLE MULTIPROCESSOR
SYSTEMS FROM PARALLEL PROGRAMS 598
HAROLD ISHEBABI, PHILIPP MAHR, CHRISTOPHE BOBDA, MARTIN GEBSER, AND
TORSTEN SCHAUB
OPTIMAL MULTICORE SCHEDULING: AN APPLICATION OF ASP TECHNIQUES 604 VIREN
KUMAR AND JAMES DELGRANDE
SESSION 8 (PANEL ON FUTURE APPLICATIONS). POSITION PAPERS BY THE
PANELISTS
FROM DATA INTEGRATION TOWARDS KNOWLEDGE MEDIATION 610 GERHARD BREWKA AND
THOMAS EITER
INTEGRATING ANSWER SET MODULES INTO AGENT PROGRAMS 613 STEFANIA
COSTANTINI
WHAT NEXT FOR ASP? (A NOT-ENTIRELY-WELL-INFORMED OPINION) 616 JAMES
DELGRANDE
USING LIGHTWEIGHT INFERENCE TO SOLVE LIGHTWEIGHT PROBLEMS 619 MARC
DENECKER AND JOOST VENNEKENS
PRESENT AND FUTURE CHALLENGES FOR ASP SYSTEMS (EXTENDED ABSTRACT) . 622
AGOSTINO DOVIER AND ENRICO PONTELLI
ASP: THE FUTURE IS BRIGHT: A POSITION PAPER 625
MARINA DE VOS
EXPLOITING ASP IN REAL-WORLD APPLICATIONS: MAIN STRENGTHS AND CHALLENGES
628
NICOLA LEONE
MAKING YOUR HANDS DIRTY INSPIRES YOUR BRAIN! OR HOW TO SWITCH ASP INTO
PRODUCTION MODE 631
TORSTEN SCHAUB
IMAGE 7
TABLE OF CONTENTS XV
TOWARDS AN EMBEDDED APPROACH TO DECLARATIVE PROBLEM SOLVING IN ASP 634
JIA-HUAI YOU
SYSTEM COMPETITION. SUMMARY OF SYSTEM COMPETITION
THE SECOND ANSWER SET PROGRAMMING COMPETITION 637
MARC DENECKER, JOOST VENNEKENS, STEPHEN BOND, MARTIN GEBSER, AND
MIROSLAW TRUSZCZYRISKI
AUTHOR INDEX 655 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035723336 |
| 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)436030811 (DE-599)DNB995796211 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| 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">BV035723336</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100915</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090914s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N34,0031</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">995796211</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642042379</subfield><subfield code="c">PB. : EUR 84.53 (freier Pr.), sfr 123.00 (freier Pr.)</subfield><subfield code="9">978-3-642-04237-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642042379</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12752607</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)436030811</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB995796211</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-91G</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">004</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 and Nonmonotonic Reasoning</subfield><subfield code="b">10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings</subfield><subfield code="c">Esra Erdem ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 656 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">5753 : Lecture Notes in Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Frage-Antwort-System - Logische Programmierung - Nichtmonotones Schließen - Kongress - Potsdam <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logische Programmierung - Kongress - Potsdam <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Problemlösen - Inferenz <Künstliche Intelligenz> - Kongress - Potsdam <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Wissensrepräsentation - Nichtmonotones Schließen - Kongress - Potsdam <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=" " ind2="4"><subfield code="a">Nonmonotonic reasoning</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="650" ind1="0" ind2="7"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Problemlösen</subfield><subfield code="0">(DE-588)4076358-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Frage-Antwort-System</subfield><subfield code="0">(DE-588)4277060-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Inferenz</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4333533-0</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">Potsdam</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">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</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">Problemlösen</subfield><subfield code="0">(DE-588)4076358-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Inferenz</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4333533-0</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">Frage-Antwort-System</subfield><subfield code="0">(DE-588)4277060-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="2"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</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">Erdem, Esra</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LPNMR</subfield><subfield code="n">10</subfield><subfield code="d">2009</subfield><subfield code="c">Potsdam</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6102587-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">5753 : Lecture Notes in Artificial Intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5753</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=018000067&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-018000067</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Potsdam gnd-content |
| genre_facet | Konferenzschrift 2009 Potsdam |
| id | DE-604.BV035723336 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:11:18Z |
| institution | BVB |
| institution_GND | (DE-588)6102587-2 |
| isbn | 9783642042379 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018000067 |
| oclc_num | 436030811 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XV, 656 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 | Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings Esra Erdem ... (eds.) Berlin [u.a.] Springer 2009 XV, 656 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 5753 : Lecture Notes in Artificial Intelligence Frage-Antwort-System - Logische Programmierung - Nichtmonotones Schließen - Kongress - Potsdam <2009> Logische Programmierung - Kongress - Potsdam <2009> Problemlösen - Inferenz <Künstliche Intelligenz> - Kongress - Potsdam <2009> Wissensrepräsentation - Nichtmonotones Schließen - Kongress - Potsdam <2009> Logic programming Congresses Nonmonotonic reasoning Congresses Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf Problemlösen (DE-588)4076358-4 gnd rswk-swf Nichtmonotones Schließen (DE-588)4210699-0 gnd rswk-swf Frage-Antwort-System (DE-588)4277060-9 gnd rswk-swf Inferenz Künstliche Intelligenz (DE-588)4333533-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Potsdam gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Wissensrepräsentation (DE-588)4049534-6 s Nichtmonotones Schließen (DE-588)4210699-0 s Problemlösen (DE-588)4076358-4 s Inferenz Künstliche Intelligenz (DE-588)4333533-0 s Frage-Antwort-System (DE-588)4277060-9 s Erdem, Esra Sonstige oth LPNMR 10 2009 Potsdam Sonstige (DE-588)6102587-2 oth Lecture Notes in Computer Science 5753 : Lecture Notes in Artificial Intelligence (DE-604)BV000000607 5753 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018000067&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings Lecture Notes in Computer Science Frage-Antwort-System - Logische Programmierung - Nichtmonotones Schließen - Kongress - Potsdam <2009> Logische Programmierung - Kongress - Potsdam <2009> Problemlösen - Inferenz <Künstliche Intelligenz> - Kongress - Potsdam <2009> Wissensrepräsentation - Nichtmonotones Schließen - Kongress - Potsdam <2009> Logic programming Congresses Nonmonotonic reasoning Congresses Logische Programmierung (DE-588)4195096-3 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Problemlösen (DE-588)4076358-4 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd Frage-Antwort-System (DE-588)4277060-9 gnd Inferenz Künstliche Intelligenz (DE-588)4333533-0 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4049534-6 (DE-588)4076358-4 (DE-588)4210699-0 (DE-588)4277060-9 (DE-588)4333533-0 (DE-588)1071861417 |
| title | Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings |
| title_auth | Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings |
| title_exact_search | Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings |
| title_full | Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings Esra Erdem ... (eds.) |
| title_fullStr | Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings Esra Erdem ... (eds.) |
| title_full_unstemmed | Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings Esra Erdem ... (eds.) |
| title_short | Logic Programming and Nonmonotonic Reasoning |
| title_sort | logic programming and nonmonotonic reasoning 10th international conference lpnmr 2009 potsdam germany september 14 18 2009 proceedings |
| title_sub | 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings |
| topic | Frage-Antwort-System - Logische Programmierung - Nichtmonotones Schließen - Kongress - Potsdam <2009> Logische Programmierung - Kongress - Potsdam <2009> Problemlösen - Inferenz <Künstliche Intelligenz> - Kongress - Potsdam <2009> Wissensrepräsentation - Nichtmonotones Schließen - Kongress - Potsdam <2009> Logic programming Congresses Nonmonotonic reasoning Congresses Logische Programmierung (DE-588)4195096-3 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Problemlösen (DE-588)4076358-4 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd Frage-Antwort-System (DE-588)4277060-9 gnd Inferenz Künstliche Intelligenz (DE-588)4333533-0 gnd |
| topic_facet | Frage-Antwort-System - Logische Programmierung - Nichtmonotones Schließen - Kongress - Potsdam <2009> Logische Programmierung - Kongress - Potsdam <2009> Problemlösen - Inferenz <Künstliche Intelligenz> - Kongress - Potsdam <2009> Wissensrepräsentation - Nichtmonotones Schließen - Kongress - Potsdam <2009> Logic programming Congresses Nonmonotonic reasoning Congresses Logische Programmierung Wissensrepräsentation Problemlösen Nichtmonotones Schließen Frage-Antwort-System Inferenz Künstliche Intelligenz Konferenzschrift 2009 Potsdam |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018000067&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT erdemesra logicprogrammingandnonmonotonicreasoning10thinternationalconferencelpnmr2009potsdamgermanyseptember14182009proceedings AT lpnmrpotsdam logicprogrammingandnonmonotonicreasoning10thinternationalconferencelpnmr2009potsdamgermanyseptember14182009proceedings |