Logic programming and nonmonotonic reasoning 8th international conference, LPNMR 2005, Diamante, Italy, September 5 - 8, 2005 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2005
|
| Schriftenreihe: | Lecture notes in computer science
3662 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV020850974 | ||
| 003 | DE-604 | ||
| 005 | 20051123 | ||
| 007 | t | ||
| 008 | 051031s2005 gw d||| |||| 10||| eng d | ||
| 015 | |a 05,N36,0063 |2 dnb | ||
| 015 | |a 05,A41,0067 |2 dnb | ||
| 016 | 7 | |a 97604613X |2 DE-101 | |
| 020 | |a 9783540285380 |c kart. : EUR 64.20 (freier Pr.), sfr 106.00 (freier Pr.) |9 978-3-540-28538-0 | ||
| 020 | |a 3540285385 |c kart. : EUR 64.20 (freier Pr.), sfr 106.00 (freier Pr.) |9 3-540-28538-5 | ||
| 024 | 3 | |a 9783540285380 | |
| 028 | 5 | 2 | |a 11546207 |
| 035 | |a (OCoLC)61430252 | ||
| 035 | |a (DE-599)BVBBV020850974 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-739 |a DE-91G |a DE-706 |a DE-83 | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 005.1/5 |2 22 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Logic programming and nonmonotonic reasoning |b 8th international conference, LPNMR 2005, Diamante, Italy, September 5 - 8, 2005 ; proceedings |c Chitta Baral ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2005 | |
| 300 | |a XIII, 454 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 3662 : Lecture notes in artificial intelligence | |
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a Logisch programmeren |2 gtt | |
| 650 | 4 | |a Programmation logique - Congrès | |
| 650 | 7 | |a Programmation logique |2 rasuqam | |
| 650 | 7 | |a Raisonnement non monotonique |2 rasuqam | |
| 650 | 4 | |a Raisonnement non-monotone - Congrès | |
| 650 | 7 | |a Redeneren |2 gtt | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 650 | 4 | |a Nonmonotonic reasoning |v Congresses | |
| 650 | 0 | 7 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |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 Datenbanksystem |0 (DE-588)4113276-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2005 |z Diamante |2 gnd-content | |
| 689 | 0 | 0 | |a Datenbanksystem |0 (DE-588)4113276-2 |D s |
| 689 | 0 | 1 | |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 | |
| 700 | 1 | |a Baral, Chitta |e Sonstige |4 oth | |
| 711 | 2 | |a LPNMR |n 8 |d 2005 |c Diamante, Calabria |j Sonstige |0 (DE-588)16034229-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 3662 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 3662 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=2671474&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m Digitalisierung UBPassau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014172680&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014172680 | ||
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102/DAT 001z 2001 A 999-3662 |
|---|---|
| DE-BY-TUM_katkey | 1528738 |
| DE-BY-TUM_media_number | 040020059305 |
| _version_ | 1816712520127217664 |
| adam_text | Table of Contents
Invited Papers
Nonmonotonic Reasoning in FLORA-2
Michael Kifer
Data Integration and Answer Set Programming
Thomas
Halo I: A Controlled Experiment for Large Scale Knowledge Base
Development
Jürgen
ASP Foundations
Unfounded Sets for Disjunctive Logic Programs with Arbitrary
Aggregates
Wolfgang Faber
Loops: Relevant or Redundant?
Martin
Approximating Answer Sets of Unitary Lifschitz-Woo Programs
Victor W. Marek, Inna Pivkina,
On Modular Translations and Strong Equivalence
Paolo Ferraris
ASP Extensions
Guarded Open Answer Set Programming
Slijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
I-.xi
Francesco
M»vy<-r Sets for Prepositional Theories
l itolo
X Table of Contents
Applications
An ID-Logic Formalization of the Composition of Autonomous
Databases
Seri
Maurice Bruynooghe
On the Local Closed-World Assumption of Data-Sources
Alvaro Cortés-
Bert Van Nuffelen, Maurice Bruynooghe
Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic
Programming
Carlos
Actions and Causations
An Approximation of Action Theories of AC and Its Application to
Conformant Planning
Iran
A. Ricardo
Game-Theoretic Reasoning About Actions in Nonmonotonic Causal
Theories
Alberto Finzi, Thomas Lukasiewicz
Some Logical Properties of Nonmonotonic Causal Theories
Marek Sergot, Robert Craven
Modular-^: An Elaboration Tolerant Approach to the Ramification
and Qualification Problems
Antonis Kakas, Loizos Michael, Rob Miller
Algorithms and Computation
Platypus: A Platform for Distributed Answer Set Solving
Jean Gressmann, Tomi
Torsten Schaub, Sven Thiele,
Solving Hard ASP Programs Efficiently
Wolfgang Faber, Francesco
Mode-Directed Fixed Point Computation
HairFeng Guo
Table of Contents XI
Lookahead in Smodels Compared to Local Consistencies in CSP
Jia-Huai You, Guohua Liu, Li Yan Yuan, Curtis Onuczko
Foundations
Nested Epistemic Logic Programs
Kewen Wang, Yan Zhang
An Algebraic Account of Modularity in ID-Logic
Joost Vennekens, Marc Deneeker
Default Reasoning with Preference Within Only Knowing Logic
Iselin Engan, Tore
Semantics
A Social
Francesco Buccafiirri, Gianluca Caminiti
Revisiting the Semantics of Interval Probabilistic Logic Programs
Alex Dekhtyar, Michael I. Dekhtyar
Routley Semantics for Answer Sets
Sergei Odintsov, David Pearce
The Well Supported Semantics for Multidimensional Dynamic Logic
Programs
Federico Banti, José
Application Track
Application of Smodels in Quartet Based Phylogeny Construction
Gang Wu, Jia-Huai You, Guohui Lin
Using Answer Set Programming for a Decision Support System
Christoph Beierle,
I ». in Integration: A Challenging ASP Application
Nicola Leone, Thomas
(•»org
<> <n<ambattista Ianni,
»enztno
«W Staniszkis, Giorgio Terracina............................. 379
XII Table of Contents
Abduction and Preferences in Linguistics
Kathrin Konczak, Ralf Vogel.................................... 384
Inference of Gene Relations from Microarray Data by Abduction
Irene Papatheodorou, Antonis Kakas, Marek Sergot
System Track
nomore<: A System for Computing Preferred Answer Sets
Susanne Grell, Kathrin
Integrating an Answer Set Solver into Prolog: ASP
Omar Elkhatib, Enrico Pontelli,
CIRC2DLP
Programming
Emilia OikaHnen,
Pbmodels
Solvers
Lengning Liu, Mitoshaw TruszczyusM
KMonitor
Thomas
The nomore++ System
Christian Anger, Martin Gebser, Thomas
Torsten
Smodbls4
with Aggregates
Islam Elkabani, Enrico Pontelli,
A DLP System with Object-Oriented Features
Francesco
Stefania Galizia,
Testing Strong Equivalence of Datalog Programs
Examples
Thomas
SELP
Programs
Yin Chen, Fangzhen Lin, Lei Li
Table of Contents XIII
CMODELS
Yuliya Lierler
Author Index
|
| adam_txt |
Table of Contents
Invited Papers
Nonmonotonic Reasoning in FLORA-2
Michael Kifer
Data Integration and Answer Set Programming
Thomas
Halo I: A Controlled Experiment for Large Scale Knowledge Base
Development
Jürgen
ASP Foundations
Unfounded Sets for Disjunctive Logic Programs with Arbitrary
Aggregates
Wolfgang Faber
Loops: Relevant or Redundant?
Martin
Approximating Answer Sets of Unitary Lifschitz-Woo Programs
Victor W. Marek, Inna Pivkina,
On Modular Translations and Strong Equivalence
Paolo Ferraris
ASP Extensions
Guarded Open Answer Set Programming
Slijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
I-.xi
Francesco
M»vy<-r Sets for Prepositional Theories
l'itolo
X Table of Contents
Applications
An ID-Logic Formalization of the Composition of Autonomous
Databases
Seri
Maurice Bruynooghe
On the Local Closed-World Assumption of Data-Sources
Alvaro Cortés-
Bert Van Nuffelen, Maurice Bruynooghe
Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic
Programming
Carlos
Actions and Causations
An Approximation of Action Theories of AC and Its Application to
Conformant Planning
Iran
A. Ricardo
Game-Theoretic Reasoning About Actions in Nonmonotonic Causal
Theories
Alberto Finzi, Thomas Lukasiewicz
Some Logical Properties of Nonmonotonic Causal Theories
Marek Sergot, Robert Craven
Modular-^: An Elaboration Tolerant Approach to the Ramification
and Qualification Problems
Antonis Kakas, Loizos Michael, Rob Miller
Algorithms and Computation
Platypus: A Platform for Distributed Answer Set Solving
Jean Gressmann, Tomi
Torsten Schaub, Sven Thiele,
Solving Hard ASP Programs Efficiently
Wolfgang Faber, Francesco
Mode-Directed Fixed Point Computation
HairFeng Guo
Table of Contents XI
Lookahead in Smodels Compared to Local Consistencies in CSP
Jia-Huai You, Guohua Liu, Li Yan Yuan, Curtis Onuczko
Foundations
Nested Epistemic Logic Programs
Kewen Wang, Yan Zhang
An Algebraic Account of Modularity in ID-Logic
Joost Vennekens, Marc Deneeker
Default Reasoning with Preference Within Only Knowing Logic
Iselin Engan, Tore
Semantics
A Social
Francesco Buccafiirri, Gianluca Caminiti
Revisiting the Semantics of Interval Probabilistic Logic Programs
Alex Dekhtyar, Michael I. Dekhtyar
Routley Semantics for Answer Sets
Sergei Odintsov, David Pearce
The Well Supported Semantics for Multidimensional Dynamic Logic
Programs
Federico Banti, José
Application Track
Application of Smodels in Quartet Based Phylogeny Construction
Gang Wu, Jia-Huai You, Guohui Lin
Using Answer Set Programming for a Decision Support System
Christoph Beierle,
I ».'in Integration: A Challenging ASP Application
Nicola Leone, Thomas
(•»org
<>'<n<ambattista Ianni,
"»enztno
' «W Staniszkis, Giorgio Terracina. 379
XII Table of Contents
Abduction and Preferences in Linguistics
Kathrin Konczak, Ralf Vogel. 384
Inference of Gene Relations from Microarray Data by Abduction
Irene Papatheodorou, Antonis Kakas, Marek Sergot
System Track
nomore<: A System for Computing Preferred Answer Sets
Susanne Grell, Kathrin
Integrating an Answer Set Solver into Prolog: ASP
Omar Elkhatib, Enrico Pontelli,
CIRC2DLP
Programming
Emilia OikaHnen,
Pbmodels
Solvers
Lengning Liu, Mitoshaw TruszczyusM
KMonitor
Thomas
The nomore++ System
Christian Anger, Martin Gebser, Thomas
Torsten
Smodbls4
with Aggregates
Islam Elkabani, Enrico Pontelli,
A DLP System with Object-Oriented Features
Francesco
Stefania Galizia,
Testing Strong Equivalence of Datalog Programs
Examples
Thomas
SELP
Programs
Yin Chen, Fangzhen Lin, Lei Li
Table of Contents XIII
CMODELS
Yuliya Lierler
Author Index |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| building | Verbundindex |
| bvnumber | BV020850974 |
| 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)61430252 (DE-599)BVBBV020850974 |
| dewey-full | 005.1/5 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/5 |
| dewey-search | 005.1/5 |
| dewey-sort | 15.1 15 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03087nam a2200697 cb4500</leader><controlfield tag="001">BV020850974</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20051123 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">051031s2005 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,N36,0063</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,A41,0067</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">97604613X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540285380</subfield><subfield code="c">kart. : EUR 64.20 (freier Pr.), sfr 106.00 (freier Pr.)</subfield><subfield code="9">978-3-540-28538-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540285385</subfield><subfield code="c">kart. : EUR 64.20 (freier Pr.), sfr 106.00 (freier Pr.)</subfield><subfield code="9">3-540-28538-5</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540285380</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11546207</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)61430252</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV020850974</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/5</subfield><subfield code="2">22</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="245" ind1="1" ind2="0"><subfield code="a">Logic programming and nonmonotonic reasoning</subfield><subfield code="b">8th international conference, LPNMR 2005, Diamante, Italy, September 5 - 8, 2005 ; proceedings</subfield><subfield code="c">Chitta Baral ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 454 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">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">3662 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logisch programmeren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation logique</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Raisonnement non monotonique</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Raisonnement non-monotone - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Redeneren</subfield><subfield code="2">gtt</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">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">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">Datenbanksystem</subfield><subfield code="0">(DE-588)4113276-2</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">2005</subfield><subfield code="z">Diamante</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenbanksystem</subfield><subfield code="0">(DE-588)4113276-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" 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="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="700" ind1="1" ind2=" "><subfield code="a">Baral, Chitta</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">8</subfield><subfield code="d">2005</subfield><subfield code="c">Diamante, Calabria</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16034229-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">3662 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3662</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=2671474&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UBPassau</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=014172680&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014172680</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2005 Diamante gnd-content |
| genre_facet | Konferenzschrift 2005 Diamante |
| id | DE-604.BV020850974 |
| illustrated | Illustrated |
| index_date | 2024-07-02T13:19:49Z |
| indexdate | 2024-11-25T17:26:05Z |
| institution | BVB |
| institution_GND | (DE-588)16034229-6 |
| isbn | 9783540285380 3540285385 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014172680 |
| oclc_num | 61430252 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-706 DE-83 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-706 DE-83 |
| physical | XIII, 454 S. graph. Darst. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spellingShingle | Logic programming and nonmonotonic reasoning 8th international conference, LPNMR 2005, Diamante, Italy, September 5 - 8, 2005 ; proceedings Lecture notes in computer science Logisch programmeren gtt Programmation logique - Congrès Programmation logique rasuqam Raisonnement non monotonique rasuqam Raisonnement non-monotone - Congrès Redeneren gtt Logic programming Congresses Nonmonotonic reasoning Congresses Nichtmonotones Schließen (DE-588)4210699-0 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Logische Programmierung (DE-588)4195096-3 gnd Datenbanksystem (DE-588)4113276-2 gnd |
| subject_GND | (DE-588)4210699-0 (DE-588)4049534-6 (DE-588)4195096-3 (DE-588)4113276-2 (DE-588)1071861417 |
| title | Logic programming and nonmonotonic reasoning 8th international conference, LPNMR 2005, Diamante, Italy, September 5 - 8, 2005 ; proceedings |
| title_auth | Logic programming and nonmonotonic reasoning 8th international conference, LPNMR 2005, Diamante, Italy, September 5 - 8, 2005 ; proceedings |
| title_exact_search | Logic programming and nonmonotonic reasoning 8th international conference, LPNMR 2005, Diamante, Italy, September 5 - 8, 2005 ; proceedings |
| title_exact_search_txtP | Logic programming and nonmonotonic reasoning 8th international conference, LPNMR 2005, Diamante, Italy, September 5 - 8, 2005 ; proceedings |
| title_full | Logic programming and nonmonotonic reasoning 8th international conference, LPNMR 2005, Diamante, Italy, September 5 - 8, 2005 ; proceedings Chitta Baral ... (eds.) |
| title_fullStr | Logic programming and nonmonotonic reasoning 8th international conference, LPNMR 2005, Diamante, Italy, September 5 - 8, 2005 ; proceedings Chitta Baral ... (eds.) |
| title_full_unstemmed | Logic programming and nonmonotonic reasoning 8th international conference, LPNMR 2005, Diamante, Italy, September 5 - 8, 2005 ; proceedings Chitta Baral ... (eds.) |
| title_short | Logic programming and nonmonotonic reasoning |
| title_sort | logic programming and nonmonotonic reasoning 8th international conference lpnmr 2005 diamante italy september 5 8 2005 proceedings |
| title_sub | 8th international conference, LPNMR 2005, Diamante, Italy, September 5 - 8, 2005 ; proceedings |
| topic | Logisch programmeren gtt Programmation logique - Congrès Programmation logique rasuqam Raisonnement non monotonique rasuqam Raisonnement non-monotone - Congrès Redeneren gtt Logic programming Congresses Nonmonotonic reasoning Congresses Nichtmonotones Schließen (DE-588)4210699-0 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Logische Programmierung (DE-588)4195096-3 gnd Datenbanksystem (DE-588)4113276-2 gnd |
| topic_facet | Logisch programmeren Programmation logique - Congrès Programmation logique Raisonnement non monotonique Raisonnement non-monotone - Congrès Redeneren Logic programming Congresses Nonmonotonic reasoning Congresses Nichtmonotones Schließen Wissensrepräsentation Logische Programmierung Datenbanksystem Konferenzschrift 2005 Diamante |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=2671474&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014172680&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT baralchitta logicprogrammingandnonmonotonicreasoning8thinternationalconferencelpnmr2005diamanteitalyseptember582005proceedings AT lpnmrdiamantecalabria logicprogrammingandnonmonotonicreasoning8thinternationalconferencelpnmr2005diamanteitalyseptember582005proceedings |