Logics in artificial intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham [u.a.]
Springer
2014
|
| Schriftenreihe: | Lecture notes in computer science
8761 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | BTU01 FHM01 FHN01 FKE01 FRO01 TUM01 UBA01 UBG01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XV, 704 S.) 235 mm x 155 mm |
| ISBN: | 331911557X 9783319115580 |
| DOI: | 10.1007/978-3-319-11558-0 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV042080158 | ||
| 003 | DE-604 | ||
| 005 | 20140922 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 140917s2014 sz |||| o||u| ||||||eng d | ||
| 020 | |a 331911557X |9 3-319-11557-X | ||
| 020 | |a 9783319115580 |c Online |9 978-3-319-11558-0 | ||
| 024 | 7 | |a 10.1007/978-3-319-11558-0 |2 doi | |
| 024 | 3 | |a 9783319115573 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86381558 |
| 035 | |a (OCoLC)891925546 | ||
| 035 | |a (DE-599)BVBBV042080158 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a sz |c XA-CH | ||
| 049 | |a DE-473 |a DE-20 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-29 |a DE-92 |a DE-859 |a DE-861 |a DE-634 | ||
| 082 | 0 | |a 004 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 700f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 245 | 1 | 0 | |a Logics in artificial intelligence |b 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings |
| 264 | 1 | |a Cham [u.a.] |b Springer |c 2014 | |
| 300 | |a 1 Online-Ressource (XV, 704 S.) |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 8761 : Lecture notes in artificial intelligence | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 653 | |a Research | ||
| 653 | |a automated reasoning | ||
| 653 | |a description logics | ||
| 653 | |a knowledge representation and reasoning | ||
| 653 | |a nonmonotonic reasoning | ||
| 653 | |a reasoning about actions and causality | ||
| 653 | |a answer set programming | ||
| 653 | |a argumentation | ||
| 653 | |a belief revision | ||
| 653 | |a data mining | ||
| 653 | |a databases | ||
| 653 | |a fuzzy logic programming | ||
| 653 | |a hypergraph | ||
| 653 | |a logic programming | ||
| 653 | |a logics for uncertain and probabilistic reasoning | ||
| 653 | |a non-classical logics | ||
| 653 | |a query processing | ||
| 653 | |a similarity orders | ||
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2014 |z Funchal |2 gnd-content | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Fermé, Eduardo |d 1964- |0 (DE-588)1058577514 |4 edt | |
| 711 | 2 | |a JELIA |n 14. |d 2014 |c Funchal |j Sonstige |0 (DE-588)1058423851 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-3-319-11557-3 |
| 830 | 0 | |a Lecture notes in computer science |v 8761 : Lecture notes in artificial intelligence |w (DE-604)BV014880109 |9 8761 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-11558-0 |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=027521251&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=027521251&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-LNC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027521251 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-11558-0 |l BTU01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11558-0 |l FHM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11558-0 |l FHN01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11558-0 |l FKE01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11558-0 |l FRO01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11558-0 |l TUM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11558-0 |l UBA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11558-0 |l UBG01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11558-0 |l UBT01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11558-0 |l UBW01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11558-0 |l UBY01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11558-0 |l UER01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11558-0 |l UPA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804152530984239104 |
|---|---|
| adam_text | LOGICS IN ARTIFICIAL INTELLIGENCE
/
: 2014
TABLE OF CONTENTS / INHALTSVERZEICHNIS
QUERY ANSWERING OVER DESCRIPTION LOGIC ONTOLOGIES
TOOLS FOR THE INVESTIGATION OF SUBSTRUCTURAL AND PARACONSISTENT LOGICS
NON-CLASSICAL PLANNING WITH A CLASSICAL PLANNER: THE POWER OF
TRANSFORMATIONS
OPPORTUNITIES FOR ARGUMENT-CENTRIC PERSUASION IN BEHAVIOUR CHANGE
THE FUZZY DESCRIPTION LOGIC G-FL0 WITH GREATEST FIXED-POINT SEMANTICS
TIGHT COMPLEXITY BOUNDS FOR REASONING IN THE DESCRIPTION LOGIC BEL
RELEVANT CLOSURE: A NEW FORM OF DEFEASIBLE REASONING FOR DESCRIPTION
LOGICS
ERROR-TOLERANT REASONING IN THE DESCRIPTION LOGIC EL
SUB-PROPOSITIONAL FRAGMENTS OF THE INTERVAL TEMPORAL LOGIC OF ALLEN’S
RELATIONS
SAT MODULO GRAPHS: ACYCLICITY
ENUMERATING PRIME IMPLICANTS OF PROPOSITIONAL FORMULAE IN CONJUNCTIVE
NORMAL FORM
IMPROVING THE NORMALIZATION OF WEIGHT RULES IN ANSWER SET PROGRAMS
LOGICAL FOUNDATIONS OF POSSIBILISTIC KEYS
POSSIBILISTIC BOOLEAN GAMES: STRATEGIC REASONING UNDER INCOMPLETE
INFORMATION
LEG NETWORKS FOR RANKING FUNCTIONS
LOGICS FOR APPROXIMATING IMPLICATION PROBLEMS OF SATURATED CONDITIONAL
INDEPENDENCE
NON-CLASSICAL LOGICS FINITARY S5-THEORIES
EFFICIENT PROGRAM TRANSFORMERS FOR TRANSLATING LCC TO PDL
ON THE EXPRESSIVENESS OF THE INTERVAL LOGIC OF ALLEN’S RELATIONS OVER
FINITE AND DISCRETE LINEAR ORDERS
ONLY-KNOWING A LA HALPERN-MOSES FOR NON-OMNISCIENT RATIONAL AGENTS: A
PRELIMINARY REPORT
ANSWER-SET PROGRAMMING A COMPLEXITY ASSESSMENT FOR QUERIES INVOLVING
SUFFICIENT AND NECESSARY CAUSES
INDUCTIVE LEARNING OF ANSWER SET PROGRAMS
STABLE MODELS OF FUZZY PROPOSITIONAL FORMULAS
A FREE LOGIC FOR STABLE MODELS WITH PARTIAL INTENSIONAL FUNCTIONS
CONSTRUCTIVE MODELS FOR CONTRACTION WITH INTRANSITIVE PLAUSIBILITY
INDIFFERENCE
FOUR FLOORS FOR THE THEORY OF THEORY CHANGE: THE CASE OF IMPERFECT
DISCRIMINATION
REVISITING POSTULATES FOR INCONSISTENCY MEASURES
A TRANSLATION-BASED APPROACH FOR REVISION OF ARGUMENTATION FRAMEWORKS
DEALING WITH INCONSISTENCY IN ASP AND DL PRESERVING STRONG EQUIVALENCE
WHILE FORGETTING
COMPUTING REPAIRS FOR INCONSISTENT DL-PROGRAMS OVER EL ONTOLOGIES
A PRIORITIZED ASSERTIONAL-BASED REVISION FOR DL-LITE KNOWLEDGE BASES
MODULAR PARACOHERENT ANSWER SETS
ACTION THEORIES OVER GENERALIZED DATABASES WITH EQUALITY CONSTRAINTS
A DYNAMIC VIEW OF ACTIVE INTEGRITY CONSTRAINTS
SIMILARITY ORDERS FROM CAUSAL EQUATIONS
VERIFICATION OF CONTEXT-SENSITIVE KNOWLEDGE AND ACTION BASES
SYSTEM DESCRIPTIONS SYSTEM ASPMT2SMT: COMPUTING ASPMT THEORIES BY SMT
SOLVERS
A LIBRARY OF ANTI-UNIFICATION ALGORITHMS
THE D-FLAT SYSTEM FOR DYNAMIC PROGRAMMING ON TREE DECOMPOSITIONS
ACUOS: A SYSTEM FOR MODULAR ACU GENERALIZATION WITH SUBTYPING AND
INHERITANCE
DRAWING EULER DIAGRAMS FROM REGION CONNECTION CALCULUS SPECIFICATIONS
WITH LOCAL SEARCH
SHORT PAPERS
PROBABILISTIC ABSTRACT DIALECTICAL FRAMEWORKS
ARGUMENTATIVE AGGREGATION OF INDIVIDUAL OPINIONS
MEASURING DISSIMILARITY BETWEEN JUDGMENT SETS
EXPLOITING ANSWER SET PROGRAMMING FOR HANDLING INFORMATION DIFFUSION IN
A MULTI-SOCIAL-NETWORK SCENARIO
REASONING ABOUT DYNAMIC NORMATIVE SYSTEMS
A MODAL LOGIC OF KNOWLEDGE, BELIEF, AND ESTIMATION
A LOGIC FOR BELIEF CONTRACTION
LOGIC FOUNDATIONS OF THE OCL MODELLING LANGUAGE
CONSTRAINT-BASED ALGORITHM FOR COMPUTING TEMPORAL INVARIANTS
ANSWER SET SOLVER BACKDOORS
INCREMENTAL SAT-BASED METHOD WITH NATIVE BOOLEAN CARDINALITY HANDLING
FOR THE HAMILTONIAN CYCLE PROBLEM
REVISITING REDUCTANTS IN THE MULTI-ADJOINT LOGIC PROGRAMMING FRAMEWORK
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
LOGICS IN ARTIFICIAL INTELLIGENCE
/
: 2014
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 14TH EUROPEAN CONFERENCE ON
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, HELD IN FUNCHAL, MADEIRA,
PORTUGAL, IN SEPTEMBER 2014. THE 35 FULL PAPERS AND 14 SHORT PAPERS
INCLUDED IN THIS VOLUME WERE CAREFULLY REVIEWED AND SELECTED FROM 121
SUBMISSIONS. THEY ARE ORGANIZED IN TOPICAL SECTIONS NAMED: DESCRIPTION
LOGICS; AUTOMATED REASONING; LOGICS FOR UNCERTAIN REASONING;
NON-CLASSICAL LOGICS; ANSWER-SET PROGRAMMING; BELIEF REVISION; DEALING
WITH INCONSISTENCY IN ASP AND DL; REASON ABOUT ACTIONS AND CAUSALITY;
SYSTEM DESCRIPTIONS; SHORT SYSTEM DESCRIPTIONS; AND SHORT PAPERS. THE
BOOK ALSO CONTAINS 4 FULL PAPER INVITED TALKS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Fermé, Eduardo 1964- |
| author2_role | edt |
| author2_variant | e f ef |
| author_GND | (DE-588)1058577514 |
| author_facet | Fermé, Eduardo 1964- |
| building | Verbundindex |
| bvnumber | BV042080158 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f DAT 700f DAT 540f |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)891925546 (DE-599)BVBBV042080158 |
| 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 |
| doi_str_mv | 10.1007/978-3-319-11558-0 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04721nmm a2200973 cb4500</leader><controlfield tag="001">BV042080158</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140922 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140917s2014 sz |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">331911557X</subfield><subfield code="9">3-319-11557-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319115580</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-11558-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-11558-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783319115573</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86381558</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)891925546</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042080158</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">sz</subfield><subfield code="c">XA-CH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 700f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logics in artificial intelligence</subfield><subfield code="b">14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XV, 704 S.)</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">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">8761 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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="653" ind1=" " ind2=" "><subfield code="a">Research</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">automated reasoning</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">description logics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">knowledge representation and reasoning</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">nonmonotonic reasoning</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">reasoning about actions and causality</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">answer set programming</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">argumentation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">belief revision</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">data mining</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">databases</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">fuzzy logic programming</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">hypergraph</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logic programming</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logics for uncertain and probabilistic reasoning</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">non-classical logics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">query processing</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">similarity orders</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2014</subfield><subfield code="z">Funchal</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fermé, Eduardo</subfield><subfield code="d">1964-</subfield><subfield code="0">(DE-588)1058577514</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">JELIA</subfield><subfield code="n">14.</subfield><subfield code="d">2014</subfield><subfield code="c">Funchal</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1058423851</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-319-11557-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8761 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8761</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-11558-0</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=027521251&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=027521251&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-LNC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027521251</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11558-0</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11558-0</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11558-0</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11558-0</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11558-0</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11558-0</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11558-0</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11558-0</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11558-0</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11558-0</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11558-0</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11558-0</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11558-0</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2014 Funchal gnd-content |
| genre_facet | Konferenzschrift 2014 Funchal |
| id | DE-604.BV042080158 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:12:11Z |
| institution | BVB |
| institution_GND | (DE-588)1058423851 |
| isbn | 331911557X 9783319115580 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027521251 |
| oclc_num | 891925546 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 |
| owner_facet | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 |
| physical | 1 Online-Ressource (XV, 704 S.) 235 mm x 155 mm |
| psigel | ZDB-2-LNC |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logics in artificial intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings Cham [u.a.] Springer 2014 1 Online-Ressource (XV, 704 S.) 235 mm x 155 mm txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8761 : Lecture notes in artificial intelligence Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Research automated reasoning description logics knowledge representation and reasoning nonmonotonic reasoning reasoning about actions and causality answer set programming argumentation belief revision data mining databases fuzzy logic programming hypergraph logic programming logics for uncertain and probabilistic reasoning non-classical logics query processing similarity orders (DE-588)1071861417 Konferenzschrift 2014 Funchal gnd-content Künstliche Intelligenz (DE-588)4033447-8 s Logik (DE-588)4036202-4 s DE-604 Logische Programmierung (DE-588)4195096-3 s Fermé, Eduardo 1964- (DE-588)1058577514 edt JELIA 14. 2014 Funchal Sonstige (DE-588)1058423851 oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-319-11557-3 Lecture notes in computer science 8761 : Lecture notes in artificial intelligence (DE-604)BV014880109 8761 https://doi.org/10.1007/978-3-319-11558-0 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027521251&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=027521251&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Logics in artificial intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings Lecture notes in computer science Künstliche Intelligenz (DE-588)4033447-8 gnd Logik (DE-588)4036202-4 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4036202-4 (DE-588)4195096-3 (DE-588)1071861417 |
| title | Logics in artificial intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings |
| title_auth | Logics in artificial intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings |
| title_exact_search | Logics in artificial intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings |
| title_full | Logics in artificial intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings |
| title_fullStr | Logics in artificial intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings |
| title_full_unstemmed | Logics in artificial intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings |
| title_short | Logics in artificial intelligence |
| title_sort | logics in artificial intelligence 14th european conference jelia 2014 funchal madeira portugal september 24 26 2014 proceedings |
| title_sub | 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings |
| topic | Künstliche Intelligenz (DE-588)4033447-8 gnd Logik (DE-588)4036202-4 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Künstliche Intelligenz Logik Logische Programmierung Konferenzschrift 2014 Funchal |
| url | https://doi.org/10.1007/978-3-319-11558-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027521251&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=027521251&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT fermeeduardo logicsinartificialintelligence14theuropeanconferencejelia2014funchalmadeiraportugalseptember24262014proceedings AT jeliafunchal logicsinartificialintelligence14theuropeanconferencejelia2014funchalmadeiraportugalseptember24262014proceedings |