Logic programming and nonmonotonic reasoning: 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : Proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer International Publishing
[2015]
|
| Ausgabe: | 1st ed. |
| Schriftenreihe: | Lecture Notes in Computer Science
9345 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | XIV, 574 Seiten Illustrationen |
| ISBN: | 9783319232645 9783319232638 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-23264-5 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043209441 | ||
| 003 | DE-604 | ||
| 005 | 20200514 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319232645 |c Online |9 978-3-319-23264-5 | ||
| 020 | |a 9783319232638 |c Print |9 978-3-319-23263-8 | ||
| 024 | 7 | |a 10.1007/978-3-319-23264-5 |2 doi | |
| 035 | |a (OCoLC)923659785 | ||
| 035 | |a (DE-599)BVBBV043209441 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Logic programming and nonmonotonic reasoning |b 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : Proceedings |c edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski |
| 250 | |a 1st ed. | ||
| 264 | 1 | |a Cham |b Springer International Publishing |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a XIV, 574 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9345 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer science / Mathematics | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Discrete Mathematics in Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Deklarative Programmierung |0 (DE-588)4293503-9 |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 Logische Programmierung |0 (DE-588)4195096-3 |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 |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 Calimeri, Francesco |d 1976- |0 (DE-588)1076806767 |4 edt | |
| 711 | 2 | |a LPNMR |n 13. |d 2015 |c Lexington-Fayette, Ky. |j Sonstige |0 (DE-588)1076805043 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9345 |w (DE-604)BV014880109 |9 9345 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-23264-5 |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=028632602&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=028632602&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028632602 | ||
Datensatz im Suchindex
| _version_ | 1804175708398813184 |
|---|---|
| adam_text | LOGIC PROGRAMMING AND NONMONOTONIC REASONING
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INVITED TALK: STABLE MODELS FOR TEMPORAL THEORIES
INVITED TALK: ALGORITHMIC DECISION THEORY MEETS LOGIC
INVITED TALK: RELATIONAL AND SEMANTIC DATA MINING
SHIFT-DESIGN WITH ANSWER SET PROGRAMMING
ADVANCES IN WASP
IMPROVING COORDINATED SMT-BASED SYSTEM SYNTHESIS BY UTILIZING
DOMAIN-SPECIFIC HEURISTICS
INTEGRATING ASP INTO ROS FOR REASONING IN ROBOTS
AUTOMATED INFERENCE OF RULES WITH EXCEPTION FROM PAST LEGAL CASES USING
ASP
ONLINE ACTION LANGUAGE OBC+.-ASPARTAME: SOLVING CONSTRAINT SATISFACTION
PROBLEMS WITH ANSWER SET PROGRAMMING
_ADD ANOTHER BLUE STACK OF THE SAME HEIGHT!_: PLAN FAILURE ANALYSIS AND
INTERACTIVE PLANNING THROUGH NATURAL LANGUAGE COMMUNICATION
A THEORY OF INTENTIONS FOR INTELLIGENT AGENTS (EXTENDED ABSTRACT)
ANSWER SET PROGRAMMING MODULO ACYCLICITY
A FRAMEWORK FOR GOAL-DIRECTED QUERY EVALUATION WITH NEGATION
IMPLEMENTING PREFERENCES WITH ASPIRIN
DIAGNOSING AUTOMATIC WHITELISTING FOR DYNAMIC REMARKETING ADS USING
HYBRID ASP
PERFORMANCE TUNING IN ANSWER SET PROGRAMMING
ENABLERS AND INHIBITORS IN CAUSAL JUSTIFICATIONS OF LOGIC PROGRAMS
EFFICIENT PROBLEM SOLVING ON TREE DECOMPOSITIONS USING BINARY DECISION
DIAGRAMS
KNOWLEDGE ACQUISITION VIA NON-MONOTONIC REASONING IN DISTRIBUTED
HETEROGENEOUS ENVIRONMENTS
DIGITAL FORENSICS EVIDENCE ANALYSIS: AN ANSWER SET PROGRAMMING
APPROACH FOR GENERATING INVESTIGATION HYPOTHESES
A FORMAL THEORY OF JUSTIFICATIONS
A NEW COMPUTATIONAL LOGIC APPROACH TO REASON WITH CONDITIONALS
INTERACTIVE DEBUGGING OF NON-GROUND ASP PROGRAMS
LINKING OPEN-WORLD KNOWLEDGE BASES USING NONMONOTONIC RULES
ASP, AMALGAMATION, AND THE CONCEPTUAL BLENDING WORKFLOW
DIAGNOSTIC REASONING FOR ROBOTICS USING ACTION LANGUAGES
OOASP: CONNECTING OBJECT-ORIENTED AND LOGIC PROGRAMMING
REASONING WITH FOREST LOGIC PROGRAMS USING FULLY ENRICHED AUTOMATA
ASP SOLVING FOR EXPANDING UNIVERSES
PROGRESS IN CLASP SERIES 3
COMBINING HEURISTICS FOR CONFIGURATION PROBLEMS USING ANSWER SET
PROGRAMMING
INFINITARY EQUILIBRIUM LOGIC AND STRONG EQUIVALENCE
ON THE RELATIONSHIP BETWEEN TWO MODULAR ACTION LANGUAGES: A TRANSLATION
FROM MAD INTO ALM
COMPACTING BOOLEAN FORMULAE FOR INFERENCE IN PROBABILISTIC LOGIC
PROGRAMMING
MULTI-LEVEL ALGORITHM SELECTION FOR ASP
CLAUSE-LEARNING FOR MODULAR SYSTEMS
SOLVING DISJUNCTIVE FUZZY ANSWER SET PROGRAMS
CHARACTERIZING AND EXPLAINING INCONSISTENCY IN LOGIC PROGRAMS
AN IMPLEMENTATION OF CONSISTENCY-BASED MULTI-AGENT BELIEF CHANGE USING
ASP
ASPMT(QS): NON-MONOTONIC SPATIAL REASONING WITH ANSWER SET PROGRAMMING
MODULO THEORIES
MOBILE ROBOT PLANNING USING ACTION LANGUAGE BC WITH AN ABSTRACTION
HIERARCHY
LOGIC PROGRAMMING WITH GRADED MODALITY.-THE DESIGN OF THE SIXTH ANSWER
SET PROGRAMMING COMPETITION
DOCTORAL CONSORTIUM EXTENDED ABSTRACT: PLANNING WITH CONCURRENT
TRANSACTION LOGIC
DOCTORAL CONSORTIUM EXTENDED ABSTRACT: MULTI-CONTEXT SYSTEMS WITH
PREFERENCES
DOCTORAL CONSORTIUM EXTENDED ABSTRACT: DEFAULT MAPPINGS IN
ONTOLOGY-BASED DATA ACCESS
DOCTORAL CONSORTIUM EXTENDED ABSTRACT: NONMONOTONIC QUALITATIVE SPATIAL
REASONING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
LOGIC PROGRAMMING AND NONMONOTONIC REASONING
/
: 2015
ABSTRACT / INHALTSTEXT
THIS VOLUME CONTAINS THE REFEREED PROCEEDINGS OF THE 13TH INTERNATIONAL
CONFERENCE ON LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2015,
HELD IN SEPTEMBER 2015 IN LEXINGTON, KY, USA. THE 29 LONG AND 11 SHORT
PAPERS PRESENTED TOGETHER WITH 3 INVITED TALKS, THE PAPER REPORTING ON
THE ANSWER SET PROGRAMMING COMPETITION, AND FOUR PAPERS PRESENTED BY
LPNMR STUDENT ATTENDEES AT THE DOCTORAL CONSORTIUM WERE CAREFULLY
REVIEWED AND SELECTED FROM 60 SUBMISSIONS. LPNMR IS A FORUM FOR
EXCHANGING IDEAS ON DECLARATIVE LOGIC PROGRAMMING, NONMONOTONIC
REASONING, AND KNOWLEDGE REPRESENTATION. THE AIM OF THE LPNMR
CONFERENCES IS TO FACILITATE INTERACTIONS BETWEEN RESEARCHERS INTERESTED
IN THE DESIGN AND IMPLEMENTATION OF LOGIC-BASED PROGRAMMING LANGUAGES
AND DATABASE SYSTEMS, AND RESEARCHERS WHO WORK IN THE AREAS OF KNOWLEDGE
REPRESENTATION AND NONMONOTONIC REASONING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Calimeri, Francesco 1976- |
| author2_role | edt |
| author2_variant | f c fc |
| author_GND | (DE-588)1076806767 |
| author_facet | Calimeri, Francesco 1976- |
| building | Verbundindex |
| bvnumber | BV043209441 |
| classification_tum | DAT 000 DAT 706f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)923659785 (DE-599)BVBBV043209441 |
| 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-319-23264-5 |
| edition | 1st ed. |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03587nmm a2200781zcb4500</leader><controlfield tag="001">BV043209441</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200514 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319232645</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-23264-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319232638</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-23263-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-23264-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)923659785</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209441</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</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">13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : Proceedings</subfield><subfield code="c">edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 574 Seiten</subfield><subfield code="b">Illustrationen</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">9345</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Mathematics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</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">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">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">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="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">Calimeri, Francesco</subfield><subfield code="d">1976-</subfield><subfield code="0">(DE-588)1076806767</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LPNMR</subfield><subfield code="n">13.</subfield><subfield code="d">2015</subfield><subfield code="c">Lexington-Fayette, Ky.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1076805043</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">9345</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9345</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-23264-5</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=028632602&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=028632602&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><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632602</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043209441 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:20:35Z |
| institution | BVB |
| institution_GND | (DE-588)1076805043 |
| isbn | 9783319232645 9783319232638 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632602 |
| oclc_num | 923659785 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | XIV, 574 Seiten Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Logic programming and nonmonotonic reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : Proceedings edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski 1st ed. Cham Springer International Publishing [2015] © 2015 XIV, 574 Seiten Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9345 0302-9743 Computer science Computer programming Software engineering Computer logic Mathematical logic Computer science / Mathematics Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Techniques Informatik Künstliche Intelligenz Mathematik Deklarative Programmierung (DE-588)4293503-9 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Nichtmonotones Schließen (DE-588)4210699-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Logische Programmierung (DE-588)4195096-3 s Nichtmonotones Schließen (DE-588)4210699-0 s Deklarative Programmierung (DE-588)4293503-9 s Wissensrepräsentation (DE-588)4049534-6 s DE-604 Calimeri, Francesco 1976- (DE-588)1076806767 edt LPNMR 13. 2015 Lexington-Fayette, Ky. Sonstige (DE-588)1076805043 oth Lecture Notes in Computer Science 9345 (DE-604)BV014880109 9345 https://doi.org/10.1007/978-3-319-23264-5 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632602&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632602&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Logic programming and nonmonotonic reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : Proceedings Lecture Notes in Computer Science Computer science Computer programming Software engineering Computer logic Mathematical logic Computer science / Mathematics Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Techniques Informatik Künstliche Intelligenz Mathematik Deklarative Programmierung (DE-588)4293503-9 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Logische Programmierung (DE-588)4195096-3 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd |
| subject_GND | (DE-588)4293503-9 (DE-588)4049534-6 (DE-588)4195096-3 (DE-588)4210699-0 (DE-588)1071861417 |
| title | Logic programming and nonmonotonic reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : Proceedings |
| title_auth | Logic programming and nonmonotonic reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : Proceedings |
| title_exact_search | Logic programming and nonmonotonic reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : Proceedings |
| title_full | Logic programming and nonmonotonic reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : Proceedings edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski |
| title_fullStr | Logic programming and nonmonotonic reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : Proceedings edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski |
| title_full_unstemmed | Logic programming and nonmonotonic reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : Proceedings edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski |
| title_short | Logic programming and nonmonotonic reasoning |
| title_sort | logic programming and nonmonotonic reasoning 13th international conference lpnmr 2015 lexington ky usa september 27 30 2015 proceedings |
| title_sub | 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : Proceedings |
| topic | Computer science Computer programming Software engineering Computer logic Mathematical logic Computer science / Mathematics Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Techniques Informatik Künstliche Intelligenz Mathematik Deklarative Programmierung (DE-588)4293503-9 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Logische Programmierung (DE-588)4195096-3 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd |
| topic_facet | Computer science Computer programming Software engineering Computer logic Mathematical logic Computer science / Mathematics Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Techniques Informatik Künstliche Intelligenz Mathematik Deklarative Programmierung Wissensrepräsentation Logische Programmierung Nichtmonotones Schließen Konferenzschrift |
| url | https://doi.org/10.1007/978-3-319-23264-5 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632602&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=028632602&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT calimerifrancesco logicprogrammingandnonmonotonicreasoning13thinternationalconferencelpnmr2015lexingtonkyusaseptember27302015proceedings AT lpnmrlexingtonfayetteky logicprogrammingandnonmonotonicreasoning13thinternationalconferencelpnmr2015lexingtonkyusaseptember27302015proceedings |