Holdings: Logic programming and nonmonotonic reasoning

Logic programming and nonmonotonic reasoning: 8th international conference, LPNMR 2005, Diamante, Italy, September 5 - 8, 2005 ; proceedings

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2005
Series:	Lecture notes in computer science 3662 : Lecture notes in artificial intelligence
Subjects:	Logisch programmeren Programmation logique - Congrès Programmation logique Raisonnement non monotonique Raisonnement non-monotone - Congrès Redeneren Logic programming > Congresses Nonmonotonic reasoning > Congresses Logische Programmierung Wissensrepräsentation Datenbanksystem Nichtmonotones Schließen Konferenzschrift > 2005 > Diamante
Online Access:	Inhaltstext Inhaltsverzeichnis
Item Description:	Literaturangaben
Physical Description:	XIII, 454 S. graph. Darst.
ISBN:	9783540285380 3540285385

Staff View

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 004 \|2 sdnb
084			\|a DAT 706f \|2 stub
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 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 Datenbanksystem \|0 (DE-588)4113276-2 \|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 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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-014172680

Record in the Search Index

_version_	1820874964476100608
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>00000nam a2200000 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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming and nonmonotonic reasoning</subfield><subfield code="b">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">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">Datenbanksystem</subfield><subfield code="0">(DE-588)4113276-2</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">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="943" ind1="1" 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	2025-01-10T15:08:06Z
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
spelling	Logic programming and nonmonotonic reasoning 8th international conference, LPNMR 2005, Diamante, Italy, September 5 - 8, 2005 ; proceedings Chitta Baral ... (eds.) Berlin [u.a.] Springer 2005 XIII, 454 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 3662 : Lecture notes in artificial intelligence Literaturangaben 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 Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf Datenbanksystem (DE-588)4113276-2 gnd rswk-swf Nichtmonotones Schließen (DE-588)4210699-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2005 Diamante gnd-content Datenbanksystem (DE-588)4113276-2 s Logische Programmierung (DE-588)4195096-3 s DE-604 Wissensrepräsentation (DE-588)4049534-6 s Nichtmonotones Schließen (DE-588)4210699-0 s Baral, Chitta Sonstige oth LPNMR 8 2005 Diamante, Calabria Sonstige (DE-588)16034229-6 oth Lecture notes in computer science 3662 : Lecture notes in artificial intelligence (DE-604)BV000000607 3662 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=2671474&prov=M&dok_var=1&dok_ext=htm Inhaltstext Digitalisierung UBPassau application/pdf 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 Inhaltsverzeichnis
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 Logische Programmierung (DE-588)4195096-3 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Datenbanksystem (DE-588)4113276-2 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd
subject_GND	(DE-588)4195096-3 (DE-588)4049534-6 (DE-588)4113276-2 (DE-588)4210699-0 (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 Logische Programmierung (DE-588)4195096-3 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Datenbanksystem (DE-588)4113276-2 gnd Nichtmonotones Schließen (DE-588)4210699-0 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 Logische Programmierung Wissensrepräsentation Datenbanksystem Nichtmonotones Schließen 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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Description

MARC

Record in the Search Index

There is no print copy available.

Similar Items