Availability: Datalog reloaded | Technische Universität München

Datalog reloaded: first international workshop, Datalog 2010, Oxford, UK, March 16 - 19, 2010 ; revised selected papers

Saved in:

Bibliographic Details
Other Authors:	Moor, Oege de 1965- (Editor)
Format:	Conference Proceedings Book
Language:	English
Published:	Berlin [u.a.] Springer 2011
Series:	Lecture notes in computer science 6702
Subjects:	Datalog Konferenzschrift > 2010 > Oxford
Links:	http://deposit.dnb.de/cgi-bin/dokserv?id=3869603&prov=M&dok%5Fvar=1&dok%5Fext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024644191&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Physical Description:	VIII, 398 S. graph. Darst. 24 cm
ISBN:	3642242057 9783642242052

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV039783392
003	DE-604
005	20120220
007	t\|
008	120103s2011 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 11,N35 \|2 dnb
016	7		\|a 1014484219 \|2 DE-101
020			\|a 3642242057 \|9 3-642-24205-7
020			\|a 9783642242052 \|c Pb. : EUR 66.34 (DE) (freier Pr.), EUR 68.20 (AT) (freier Pr.), sfr 83.00 (freier Pr.) \|9 978-3-642-24205-2
035			\|a (OCoLC)775071435
035			\|a (DE-599)DNB1014484219
040			\|a DE-604 \|b ger
041	0		\|a eng
049			\|a DE-83 \|a DE-91G \|a DE-706 \|a DE-11
082	0		\|a 005.74015113 \|2 22/ger
082	0		\|a 006.3 \|2 22/ger
082	0		\|a 005.133 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 360f \|2 stub
084			\|a DAT 652f \|2 stub
245	1	0	\|a Datalog reloaded \|b first international workshop, Datalog 2010, Oxford, UK, March 16 - 19, 2010 ; revised selected papers \|c Oege de Moor ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2011
300			\|a VIII, 398 S. \|b graph. Darst. \|c 24 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 6702
650	0	7	\|a Datalog \|0 (DE-588)4234719-1 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2010 \|z Oxford \|2 gnd-content
689	0	0	\|a Datalog \|0 (DE-588)4234719-1 \|D s
689	0		\|5 DE-604
700	1		\|a Moor, Oege de \|d 1965- \|0 (DE-588)130338826 \|4 edt
711	2		\|a Datalog \|n 1 \|d 2010 \|c Oxford \|j Sonstige \|0 (DE-588)16334905-8 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-24206-9
830		0	\|a Lecture notes in computer science \|v 6702 \|w (DE-604)BV000000607 \|9 6702
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3869603&prov=M&dok%5Fvar=1&dok%5Fext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024644191&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-024644191

Record in the Search Index

DE-BY-TUM_call_number	0102 DAT 001z 2001 A 999-6702
DE-BY-TUM_katkey	1808791
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040071396093
_version_	1821935003986034688
adam_text	IMAGE 1 TABLE OF CONTENTS SECTION 1: THEORETICAL ASPECTS OF DATALOG DATALOG-BASED PROGRAM ANALYSIS WITH BES AND RWL 1 MARIA ALPUENTE, MARCO ANTONIO FELIII, CHRISTOPHE JOUBERT, AND ALICIA VILLANUEVA DATALOG FOR SECURITY, PRIVACY AND TRUST 21 PIERO A. BONATTI ANSWER SET MODULES FOR LOGICAL AGENTS 37 STEFANIA COSTANTINI FIRST-ORDER ENCODINGS FOR MODULAR NONMONOTONIC DATALOG PROGRAMS . . 59 MINH DAO-TRAN, THOMAS EITER, MICHAEL FINK, AND THOMAS KRENNWALLNER DATALOG PROGRAMS AND THEIR STABLE MODELS 78 VLADIMIR LIFSCHITZ EXPLOITING BOUNDED TREEWIDTH WITH DATALOG (A SURVEY) 88 REINHARD PICHLER EQUIVALENCE BETWEEN EXTENDED DATALOG PROGRAMS - A BRIEF S U R V E Y . . . 106 STEFAN WOLTRAN SECTION 2: APPLICATIONS OF DATALOG CLUSTER COMPUTING, RECURSION AND DATALOG 120 FOTO N. AFRATI, VINAYAK BORKAR, MICHAEL CAREY, NEOKLIS POLYZOTIS, AND JEFFREY D. ULLMAN DATALOG-RELATED ASPECTS IN LIXTO VISUAL DEVELOPER 145 ROBERT BAUMGARTNER INFORMING DATALOG THROUGH LANGUAGE INTELLIGENCE - A PERSONAL PERSPECTIVE 161 VERONICA DAHL DYNA: EXTENDING DATALOG FOR MODERN AI 181 JASON EISNER AND NATHANIEL W. FILARDO DATALOG FOR THE WEB 2.0: THE CASE OF SOCIAL NETWORK DATA MANAGEMENT 221 MATTEO MAGNANI AND DANILO MONTESI BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1014484219 DIGITALISIERT DURCH IMAGE 2 VIII TABLE OF CONTENTS CONTEXT MODELLING AND CONTEXT-AWARE QUERYING (CAN DATALOG BE OF HELP?) 225 GIORGIO ORSI AND LETIZIA TANCA USING DATALOG FOR FAST AND EASY PROGRAM ANALYSIS 245 YANNIS SMARAGDAKIS AND MARTIN BRAVENBOER SECTION 3: NEW LANGUAGES EXTENDING DATALOG DISTRIBUTED DATALOG REVISITED 252 SERGE ABITEBOUL, MEGHYN BIENVENU, ALBAN GALLAND, AND MARIE-CHRISTINE ROUSSET DEDALUS: DATALOG IN TIME AND SPACE 262 PETER ALVARO, WILLIAM R. MARCZAK, NEIL CONWAY, JOSEPH M. HELLERSTEIN, DAVID MAIER, AND RUSSELL SEARS THE DISJUNCTIVE DATALOG SYSTEM DLV 282 MARIO ALVIANO, WOLFGANG FABER, NICOLA LEONE, SIMONA PERRI, GERALD PFEIFER, AND GIORGIO TERRACINA DATALOG AS A QUERY LANGUAGE FOR DATA EXCHANGE SYSTEMS 302 MARCELO ARENAS, PABLO BARCELO, AND JUAN L. REUTTER DATALOG RELAUNCHED: SIMULATION UNIFICATION AND VALUE INVENTION 321 FRANCOIS BRY, TIM FURCHE, CLEMENS LEY, BRUNO MARNETTE, BENEDIKT LINSE, AND SEBASTIAN SCHAFFERT DATALOG+/-: A FAMILY OF LANGUAGES FOR ONTOLOGY QUERYING 351 ANDREA CALI, GEORG GOTTLOB, THOMAS LUKASIEWICZ, AND ANDREAS PIERIS KNOWLEDGE REPRESENTATION LANGUAGE P-LOG - A SHORT INTRODUCTION . . . 369 MICHAEL GELFOND LIVING WITH INCONSISTENCY AND TAMING NONMONOTONICITY 384 JAN MAHTSZYNSKI AND ANDRZEJ SZALAS AUTHOR INDEX 399
any_adam_object	1
author2	Moor, Oege de 1965-
author2_role	edt
author2_variant	o d m od odm
author_GND	(DE-588)130338826
author_facet	Moor, Oege de 1965-
building	Verbundindex
bvnumber	BV039783392
classification_rvk	SS 4800
classification_tum	DAT 360f DAT 652f
ctrlnum	(OCoLC)775071435 (DE-599)DNB1014484219
dewey-full	005.74015113 006.3 005.133
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security 006 - Special computer methods
dewey-raw	005.74015113 006.3 005.133
dewey-search	005.74015113 006.3 005.133
dewey-sort	15.74015113
dewey-tens	000 - Computer science, information, general works
discipline	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">BV039783392</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120220</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">120103s2011 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N35</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1014484219</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642242057</subfield><subfield code="9">3-642-24205-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642242052</subfield><subfield code="c">Pb. : EUR 66.34 (DE) (freier Pr.), EUR 68.20 (AT) (freier Pr.), sfr 83.00 (freier Pr.)</subfield><subfield code="9">978-3-642-24205-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)775071435</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1014484219</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.74015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.133</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 360f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 652f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Datalog reloaded</subfield><subfield code="b">first international workshop, Datalog 2010, Oxford, UK, March 16 - 19, 2010 ; revised selected papers</subfield><subfield code="c">Oege de Moor ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 398 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">6702</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datalog</subfield><subfield code="0">(DE-588)4234719-1</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">2010</subfield><subfield code="z">Oxford</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datalog</subfield><subfield code="0">(DE-588)4234719-1</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">Moor, Oege de</subfield><subfield code="d">1965-</subfield><subfield code="0">(DE-588)130338826</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Datalog</subfield><subfield code="n">1</subfield><subfield code="d">2010</subfield><subfield code="c">Oxford</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16334905-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-24206-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6702</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6702</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3869603&prov=M&dok%5Fvar=1&dok%5Fext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=024644191&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-024644191</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2010 Oxford gnd-content
genre_facet	Konferenzschrift 2010 Oxford
id	DE-604.BV039783392
illustrated	Illustrated
indexdate	2025-01-11T19:04:14Z
institution	BVB
institution_GND	(DE-588)16334905-8
isbn	3642242057 9783642242052
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024644191
oclc_num	775071435
open_access_boolean
owner	DE-83 DE-91G DE-BY-TUM DE-706 DE-11
owner_facet	DE-83 DE-91G DE-BY-TUM DE-706 DE-11
physical	VIII, 398 S. graph. Darst. 24 cm
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spellingShingle	Datalog reloaded first international workshop, Datalog 2010, Oxford, UK, March 16 - 19, 2010 ; revised selected papers Lecture notes in computer science Datalog (DE-588)4234719-1 gnd
subject_GND	(DE-588)4234719-1 (DE-588)1071861417
title	Datalog reloaded first international workshop, Datalog 2010, Oxford, UK, March 16 - 19, 2010 ; revised selected papers
title_auth	Datalog reloaded first international workshop, Datalog 2010, Oxford, UK, March 16 - 19, 2010 ; revised selected papers
title_exact_search	Datalog reloaded first international workshop, Datalog 2010, Oxford, UK, March 16 - 19, 2010 ; revised selected papers
title_full	Datalog reloaded first international workshop, Datalog 2010, Oxford, UK, March 16 - 19, 2010 ; revised selected papers Oege de Moor ... (eds.)
title_fullStr	Datalog reloaded first international workshop, Datalog 2010, Oxford, UK, March 16 - 19, 2010 ; revised selected papers Oege de Moor ... (eds.)
title_full_unstemmed	Datalog reloaded first international workshop, Datalog 2010, Oxford, UK, March 16 - 19, 2010 ; revised selected papers Oege de Moor ... (eds.)
title_short	Datalog reloaded
title_sort	datalog reloaded first international workshop datalog 2010 oxford uk march 16 19 2010 revised selected papers
title_sub	first international workshop, Datalog 2010, Oxford, UK, March 16 - 19, 2010 ; revised selected papers
topic	Datalog (DE-588)4234719-1 gnd
topic_facet	Datalog Konferenzschrift 2010 Oxford
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3869603&prov=M&dok%5Fvar=1&dok%5Fext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024644191&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT mooroegede datalogreloadedfirstinternationalworkshopdatalog2010oxfordukmarch16192010revisedselectedpapers AT datalogoxford datalogreloadedfirstinternationalworkshopdatalog2010oxfordukmarch16192010revisedselectedpapers

Availability

Order (Login required)

Table of contents
Order paper/chapter scan

Branch Library Mathematics & Informatics

Holdings details from Teilbibliothek Mathematik & Informatik
Call Number:	0102 DAT 001z 2001 A 999-6702 Floor plan
Copy 1	Available for loan On Shelf