Logic programming and nonmonotonic reasoning 12th international conference, LPNMR 2013, Corunna, Spain, September 15 - 19, 2013 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
8148 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041440811 | ||
| 003 | DE-604 | ||
| 005 | 20140401 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131125s2013 gw d||| o|||| 10||| eng d | ||
| 020 | |a 3642405630 |9 3-642-40563-0 | ||
| 020 | |a 9783642405648 |c eISBN |9 978-3-642-40564-8 | ||
| 024 | 7 | |a 10.1007/978-3-642-40564-8 |2 doi | |
| 024 | 3 | |a 9783642405631 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86308433 |
| 035 | |a (OCoLC)859272547 | ||
| 035 | |a (DE-599)BVBBV041440811 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-739 |a DE-91 |a DE-706 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 006.3 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Logic programming and nonmonotonic reasoning |b 12th international conference, LPNMR 2013, Corunna, Spain, September 15 - 19, 2013 ; proceedings |c Pedro Cabalar ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XVII, 570 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 8148 | |
| 650 | 0 | 7 | |a Deklarative Programmierung |0 (DE-588)4293503-9 |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 Wissensrepräsentation |0 (DE-588)4049534-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z La Coruña |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | 1 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |D s |
| 689 | 0 | 2 | |a Deklarative Programmierung |0 (DE-588)4293503-9 |D s |
| 689 | 0 | 3 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Cabalar, Pedro |d 1969- |e Sonstige |0 (DE-588)1041863594 |4 oth | |
| 711 | 2 | |a LPNMR |n 12 |d 2013 |c La Coruña |j Sonstige |0 (DE-588)104186387X |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-3-642-40563-1 |
| 830 | 0 | |a Lecture notes in computer science |v 8148 |w (DE-604)BV014880109 |9 8148 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-40564-8 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887577&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887577&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026887577 | |
Datensatz im Suchindex
| DE-BY-UBR_katkey | 6611609 |
|---|---|
| _version_ | 1822673653297315840 |
| adam_text |
LOGIC PROGRAMMING AND NONMONOTONIC REASONING
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
TOWARDS REACTIVE MULTI-CONTEXT SYSTEMS
LOGIC PROGRAMMING IN THE 1970S
INTEGRATING TEMPORAL EXTENSIONS OF ANSWER SET PROGRAMMING
FORGETTING UNDER THE WELL-FOUNDED SEMANTICS
THE FOURTH ANSWER SET PROGRAMMING COMPETITION: PRELIMINARY REPORT
WASP: A NATIVE ASP SOLVER BASED ON CONSTRAINT LEARNING
THE COMPLEXITY BOUNDARY OF ANSWER SET PROGRAMMING WITH GENERALIZED ATOMS
UNDER THE FLP SEMANTICS
ARVIS: VISUALIZING RELATIONS BETWEEN ANSWER SETS
SYMBOLIC SYSTEM SYNTHESIS USING ANSWER SET PROGRAMMING
ACCURATE COMPUTATION OF SENSITIZABLE PATHS USING ANSWER SET PROGRAMMING
HEX SEMANTICS VIA APPROXIMATION FIXPOINT THEORY
ENCODING HIGHER LEVEL EXTENSIONS OF PETRI NETS IN ASP
CPLUS2ASP: COMPUTING ACTION LANGUAGE C+ IN ANSWER SET PROGRAMMING
TOWARDS ANSWER SET PROGRAMMING WITH SORTS
PROLOG AND ASP INFERENCE UNDER ONE ROOF
EVENT-OBJECT REASONING WITH CURATED KNOWLEDGE BASES: DERIVING MISSING
INFORMATION
TOWARDS QUERY ANSWERING IN RELATIONAL MULTI-CONTEXT SYSTEMS
SPECTRA IN ABSTRACT ARGUMENTATION: AN ANALYSIS OF MINIMAL CHANGE
NORMALIZING CARDINALITY RULES USING MERGING AND SORTING CONSTRUCTIONS
EXPERIENCE BASED NONMONOTONIC REASONING
AN ASP APPLICATION IN INTEGRATIVE BIOLOGY: IDENTIFICATION OF FUNCTIONAL
GENE UNITS
EVALUATING REACTIVE ANSWER SET SOLVING FOR GENERAL GAME PLAYING
VCWC: A VERSIONING COMPETITION WORKFLOW COMPILER
A SEQUENTIAL MODEL OF BARGAINING REASONING IN LOGIC PROGRAMMING
EXTENDING THE METABOLIC NETWORK OF ECTOCARPUS SILICULOSUS USING ANSWER
SET PROGRAMMING
NEGATION AS A RESOURCE: A NOVEL VIEW ON ANSWER SET
AGM-STYLE BELIEF REVISION OF LOGIC PROGRAMS UNDER ANSWER SET SEMANTICS
EFFICIENT APPROXIMATION OF WELL-FOUNDED JUSTIFICATION AND
WELL-FOUNDED DOMINATION
APPROXIMATE EPISTEMIC PLANNING WITH POSTDICTION AS ANSWER-SET
PROGRAMMING
COMBINING EQUILIBRIUM LOGIC AND DYNAMIC LOGIC
ACTHEX: IMPLEMENTING HEX PROGRAMS WITH ACTION
DEBUGGING ANSWER-SET PROGRAMS WITH OUROBOROS EXTENDING THE SEALION
PLUGIN
GAME SEMANTICS FOR NON-MONOTONIC INTENSIONAL LOGIC PROGRAMMING
MATCHMAKING WITH ANSWER SET PROGRAMMING
RICOCHET ROBOTS: A TRANSVERSE ASP BENCHMARK
DECIDABILITY AND IMPLEMENTATION OF PARAMETERIZED LOGIC PROGRAMS
NON-MONOTONIC TEMPORAL GOALS
ON EQUIVALENT TRANSFORMATIONS OF INFINITARY FORMULAS UNDER THE STABLE
MODEL SEMANTICS
AN APPLICATION OF ASP TO THE FIELD OF SECOND LANGUAGE ACQUISITION
TURNER'S LOGIC OF UNIVERSAL CAUSATION, PROPOSITIONAL LOGIC, AND LOGIC
CONCRETE RESULTS ON ABSTRACT RULES
LINEAR LOGIC PROGRAMMING FOR NARRATIVE
IMPLEMENTING INFORMAL SEMANTICS OF ASP
IMPLEMENTING BELIEF CHANGE IN THE SITUATION CALCULUS AND AN APPLICATION
DEBUGGING NON-GROUND ASP PROGRAMS WITH CHOICE RULES, CARDINALITY,
CONSTRAINTS AND WEIGHT CONSTRAINTS
CONFLICT-BASED PROGRAM REWRITING FOR SOLVING CONFIGURATION PROBLEMS
PROGRAM UPDATING BY INCREMENTAL AND ANSWER SUBSUMPTION TABLING
REPRESENTATION THEOREMS FOR REVISION OF LOGIC
FLEXIBLE COMBINATORY CATEGORIAL GRAMMAR PARSING USING THE CYK ALGORITHM
AND ANSWER SET PROGRAMMING
EARLY RECOVERY IN LOGIC PROGRAM UPDATES
PREFERENCE HANDLING FOR BELIEF-BASED RATIONAL DECISIONS
LOGIC-BASED TECHNIQUES FOR DATA CLEANING: AN APPLICATION TO THE ITALIAN
NATIONAL HEALTHCARE SYSTEM
JUSTIFICATIONS FOR LOGIC PROGRAMMING
BELIEF CHANGE IN NONMONOTONIC MULTI-CONTEXT SYSTEMS
ON OPTIMAL SOLUTIONS OF ANSWER SET OPTIMIZATION PROBLEMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
LOGIC PROGRAMMING AND NONMONOTONIC REASONING
/
: 2013
ABSTRACT / INHALTSTEXT
THIS VOLUME CONTAINS THE REFEREED PROCEEDINGS OF THE 12TH INTERNATIONAL
CONFERENCE ON LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2013,
HELD IN SEPTEMBER 2013 IN CORUNNA, SPAIN. THE 34 REVISED FULL PAPERS (22
TECHNICAL PAPERS, 9 APPLICATION DESCRIPTION, AND 3 SYSTEM DESCRIPTIONS)
AND 19 SHORT PAPERS (11 TECHNICAL PAPERS, 3 APPLICATION DESCRIPTIONS,
AND 5 SYSTEM DESCRIPTIONS) PRESENTED TOGETHER WITH 2 INVITED TALKS, WERE
CAREFULLY REVIEWED AND SELECTED FROM 91 SUBMISSIONS. BEING A FORUM FOR
EXCHANGING IDEAS ON DECLARATIVE LOGIC PROGRAMMING, NONMONOTONIC
REASONING, AND KNOWLEDGE REPRESENTATION, THE CONFERENCE AIMS TO
FACILITATE INTERACTIONS BETWEEN THOSE RESEARCHERS AND PRACTITIONERS
INTERESTED IN THE DESIGN AND IMPLEMENTATION OF LOGIC-BASED PROGRAMMING
LANGUAGES AND DATABASE SYSTEMS, AND THOSE WHO WORK IN THE AREA OF
KNOWLEDGE REPRESENTATION AND NONMONOTONIC REASONING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)1041863594 |
| building | Verbundindex |
| bvnumber | BV041440811 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)859272547 (DE-599)BVBBV041440811 |
| 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 |
| doi_str_mv | 10.1007/978-3-642-40564-8 |
| format | Electronic Conference Proceeding eBook |
| 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">BV041440811</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140401</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131125s2013 gw d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642405630</subfield><subfield code="9">3-642-40563-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642405648</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-40564-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-40564-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642405631</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86308433</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)859272547</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041440811</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-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</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">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="084" ind1=" " ind2=" "><subfield code="a">DAT 000</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">12th international conference, LPNMR 2013, Corunna, Spain, September 15 - 19, 2013 ; proceedings</subfield><subfield code="c">Pedro Cabalar ... (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">1 Online-Ressource (XVII, 570 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">8148</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deklarative Programmierung</subfield><subfield code="0">(DE-588)4293503-9</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">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">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">La Coruña</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="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="0" ind2="2"><subfield code="a">Deklarative Programmierung</subfield><subfield code="0">(DE-588)4293503-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</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">Cabalar, Pedro</subfield><subfield code="d">1969-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1041863594</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LPNMR</subfield><subfield code="n">12</subfield><subfield code="d">2013</subfield><subfield code="c">La Coruña</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)104186387X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-642-40563-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8148</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8148</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-40564-8</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026887577&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026887577&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026887577</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 La Coruña gnd-content |
| genre_facet | Konferenzschrift 2013 La Coruña |
| id | DE-604.BV041440811 |
| illustrated | Illustrated |
| indexdate | 2025-01-27T13:39:42Z |
| institution | BVB |
| institution_GND | (DE-588)104186387X |
| isbn | 3642405630 9783642405648 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026887577 |
| oclc_num | 859272547 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-739 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-739 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XVII, 570 S.) graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spellingShingle | Logic programming and nonmonotonic reasoning 12th international conference, LPNMR 2013, Corunna, Spain, September 15 - 19, 2013 ; proceedings Lecture notes in computer science Deklarative Programmierung (DE-588)4293503-9 gnd Logische Programmierung (DE-588)4195096-3 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd |
| subject_GND | (DE-588)4293503-9 (DE-588)4195096-3 (DE-588)4049534-6 (DE-588)4210699-0 (DE-588)1071861417 |
| title | Logic programming and nonmonotonic reasoning 12th international conference, LPNMR 2013, Corunna, Spain, September 15 - 19, 2013 ; proceedings |
| title_auth | Logic programming and nonmonotonic reasoning 12th international conference, LPNMR 2013, Corunna, Spain, September 15 - 19, 2013 ; proceedings |
| title_exact_search | Logic programming and nonmonotonic reasoning 12th international conference, LPNMR 2013, Corunna, Spain, September 15 - 19, 2013 ; proceedings |
| title_full | Logic programming and nonmonotonic reasoning 12th international conference, LPNMR 2013, Corunna, Spain, September 15 - 19, 2013 ; proceedings Pedro Cabalar ... (eds.) |
| title_fullStr | Logic programming and nonmonotonic reasoning 12th international conference, LPNMR 2013, Corunna, Spain, September 15 - 19, 2013 ; proceedings Pedro Cabalar ... (eds.) |
| title_full_unstemmed | Logic programming and nonmonotonic reasoning 12th international conference, LPNMR 2013, Corunna, Spain, September 15 - 19, 2013 ; proceedings Pedro Cabalar ... (eds.) |
| title_short | Logic programming and nonmonotonic reasoning |
| title_sort | logic programming and nonmonotonic reasoning 12th international conference lpnmr 2013 corunna spain september 15 19 2013 proceedings |
| title_sub | 12th international conference, LPNMR 2013, Corunna, Spain, September 15 - 19, 2013 ; proceedings |
| topic | Deklarative Programmierung (DE-588)4293503-9 gnd Logische Programmierung (DE-588)4195096-3 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd |
| topic_facet | Deklarative Programmierung Logische Programmierung Wissensrepräsentation Nichtmonotones Schließen Konferenzschrift 2013 La Coruña |
| url | https://doi.org/10.1007/978-3-642-40564-8 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887577&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887577&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT cabalarpedro logicprogrammingandnonmonotonicreasoning12thinternationalconferencelpnmr2013corunnaspainseptember15192013proceedings AT lpnmrlacoruna logicprogrammingandnonmonotonicreasoning12thinternationalconferencelpnmr2013corunnaspainseptember15192013proceedings |