Holdings: Deductive databases and logic programming

Deductive databases and logic programming: abduction in deductive databases and knowledge-based systems ; proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	English
Published:	Sankt Augustin GMD-Forschungszentrum Informationstechnik 1995
Series:	GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien 266
Subjects:	Deductive databases > Congresses Logic programming > Congresses Deduktives Datenbanksystem Konferenzschrift > 1995 > Kanagawa Konferenzschrift > 1995 > Tokio
Online Access:	Inhaltsverzeichnis
Physical Description:	201 S. graph. Darst.
ISBN:	3884572660

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV010229457
003	DE-604
005	20130902
007	t\|
008	950612s1995 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
016	7		\|a 944556388 \|2 DE-101
020			\|a 3884572660 \|9 3-88457-266-0
035			\|a (OCoLC)246448283
035			\|a (DE-599)BVBBV010229457
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-91 \|a DE-91G \|a DE-384 \|a DE-12 \|a DE-739 \|a DE-703 \|a DE-210 \|a DE-525
050		0	\|a QA76.63
084			\|a SI 213 \|0 (DE-625)143105: \|2 rvk
084			\|a DAT 706f \|2 stub
084			\|a DAT 651f \|2 stub
245	1	0	\|a Deductive databases and logic programming \|b abduction in deductive databases and knowledge-based systems ; proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995 \|c Hendrik Decker ... (eds.)
264		1	\|a Sankt Augustin \|b GMD-Forschungszentrum Informationstechnik \|c 1995
300			\|a 201 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien \|v 266
650		4	\|a Deductive databases \|v Congresses
650		4	\|a Logic programming \|v Congresses
650	0	7	\|a Deduktives Datenbanksystem \|0 (DE-588)4258784-0 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 1995 \|z Kanagawa \|2 gnd-content
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 1995 \|z Tokio \|2 gnd-content
689	0	0	\|a Deduktives Datenbanksystem \|0 (DE-588)4258784-0 \|D s
689	0		\|5 DE-604
700	1		\|a Decker, Hendrik \|d 1953- \|e Sonstige \|0 (DE-588)1041248504 \|4 oth
711	2		\|a ICLP \|d 1995 \|c Tokio \|j Sonstige \|0 (DE-588)2147484-9 \|4 oth
830		0	\|a GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien \|v 266 \|w (DE-604)BV010685537 \|9 266
856	4	2	\|m Digitalisierung TU Muenchen \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006799859&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-006799859

Record in the Search Index

_version_	1823676225205305344
adam_text	Contents Preface 5 Provisional Schedule of Presentations 7 Original Calls for Papers 8 SEMANTICS OF LOGIC PROGRAMS 11 Cristian Papp: Alternating Fixpoint Semantics for Disjunctive Logic Programs 11 Tomi Janhunen: Cautious Models for General Logic Programs 25 Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, and Randy Goebel: An Introspective Frame¬ work for Paraconsistent Logic Programs and Disjunctive Databases (Revised version) 41 QUERY OPTIMIZATION IN DEDUCTIVE DATABASES 57 Xiaoyong Du, Naohiro bhii: Reducing the Arity of Recursive Predicates by Realigning Some Predicates 57 Paulo J Azevedo, Danilo Montesi: An Extended Magic Sets Strategy for a Rule Language with Updates and Transactions 71 IMPLEMENTATION TECHNIQUES 81 Michael Leuschel, Bern Martens: Generating Specialised Update Procedures Through Parttal Deduction of the Ground Representation 81 Liviu-Virgil Ciortuz, Mihaela Juganaru: Towards a Constraint-based Implementation of F-Logic 97 VPDA TES & INTEGRITY CHECKING 111 Ernest Teniente: An Abductive Framework to Handle Consistency-Preserving Updates in Deductive Databases 111 Knut Hinkehnann: Knowledge-Base Rewriting for Bottom-Up Abduction and Integrity Checking 127 BELIEF REVISION 143 Maurice Pagnucco, Abhaya C. Nayak, Norman Y. Foo: Abductive Reasoning, Belief Expansion and Nonmonotonic Conseqence 143 Alex Kean, George Triknis: A Computational System for Symbolic Belief Revision 159 METAPROGRAMMING TECHNIQUES 175 Henning Christiansen: Alternative Reasoning in a Metaprogramming System 175 Marc Deoecker, Guy Duehatelet, Frank Piessens, Krištof Van Belleghem, Danny De Schreye: Usiag Event Cálcalas for Protocol Specification - Äa Experiment 187
any_adam_object	1
author_GND	(DE-588)1041248504
building	Verbundindex
bvnumber	BV010229457
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	SI 213
classification_tum	DAT 706f DAT 651f
ctrlnum	(OCoLC)246448283 (DE-599)BVBBV010229457
discipline	Informatik Mathematik
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">BV010229457</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130902</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">950612s1995 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">944556388</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3884572660</subfield><subfield code="9">3-88457-266-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246448283</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010229457</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-525</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.63</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 213</subfield><subfield code="0">(DE-625)143105:</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">DAT 651f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Deductive databases and logic programming</subfield><subfield code="b">abduction in deductive databases and knowledge-based systems ; proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995</subfield><subfield code="c">Hendrik Decker ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Sankt Augustin</subfield><subfield code="b">GMD-Forschungszentrum Informationstechnik</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">201 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">GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien</subfield><subfield code="v">266</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Deductive databases</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deduktives Datenbanksystem</subfield><subfield code="0">(DE-588)4258784-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">1995</subfield><subfield code="z">Kanagawa</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1995</subfield><subfield code="z">Tokio</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deduktives Datenbanksystem</subfield><subfield code="0">(DE-588)4258784-0</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">Decker, Hendrik</subfield><subfield code="d">1953-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1041248504</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICLP</subfield><subfield code="d">1995</subfield><subfield code="c">Tokio</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2147484-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien</subfield><subfield code="v">266</subfield><subfield code="w">(DE-604)BV010685537</subfield><subfield code="9">266</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=006799859&sequence=000002&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-006799859</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 1995 Kanagawa gnd-content (DE-588)1071861417 Konferenzschrift 1995 Tokio gnd-content
genre_facet	Konferenzschrift 1995 Kanagawa Konferenzschrift 1995 Tokio
id	DE-604.BV010229457
illustrated	Illustrated
indexdate	2025-02-10T13:12:56Z
institution	BVB
institution_GND	(DE-588)2147484-9
isbn	3884572660
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-006799859
oclc_num	246448283
open_access_boolean
owner	DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-12 DE-739 DE-703 DE-210 DE-525
owner_facet	DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-12 DE-739 DE-703 DE-210 DE-525
physical	201 S. graph. Darst.
publishDate	1995
publishDateSearch	1995
publishDateSort	1995
publisher	GMD-Forschungszentrum Informationstechnik
record_format	marc
series	GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien
series2	GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien
spelling	Deductive databases and logic programming abduction in deductive databases and knowledge-based systems ; proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995 Hendrik Decker ... (eds.) Sankt Augustin GMD-Forschungszentrum Informationstechnik 1995 201 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien 266 Deductive databases Congresses Logic programming Congresses Deduktives Datenbanksystem (DE-588)4258784-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Kanagawa gnd-content (DE-588)1071861417 Konferenzschrift 1995 Tokio gnd-content Deduktives Datenbanksystem (DE-588)4258784-0 s DE-604 Decker, Hendrik 1953- Sonstige (DE-588)1041248504 oth ICLP 1995 Tokio Sonstige (DE-588)2147484-9 oth GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien 266 (DE-604)BV010685537 266 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006799859&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Deductive databases and logic programming abduction in deductive databases and knowledge-based systems ; proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995 GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien Deductive databases Congresses Logic programming Congresses Deduktives Datenbanksystem (DE-588)4258784-0 gnd
subject_GND	(DE-588)4258784-0 (DE-588)1071861417
title	Deductive databases and logic programming abduction in deductive databases and knowledge-based systems ; proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995
title_auth	Deductive databases and logic programming abduction in deductive databases and knowledge-based systems ; proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995
title_exact_search	Deductive databases and logic programming abduction in deductive databases and knowledge-based systems ; proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995
title_full	Deductive databases and logic programming abduction in deductive databases and knowledge-based systems ; proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995 Hendrik Decker ... (eds.)
title_fullStr	Deductive databases and logic programming abduction in deductive databases and knowledge-based systems ; proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995 Hendrik Decker ... (eds.)
title_full_unstemmed	Deductive databases and logic programming abduction in deductive databases and knowledge-based systems ; proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995 Hendrik Decker ... (eds.)
title_short	Deductive databases and logic programming
title_sort	deductive databases and logic programming abduction in deductive databases and knowledge based systems proceedings of the iclp 95 joint workshop shonan village center japan june 17 1995
title_sub	abduction in deductive databases and knowledge-based systems ; proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995
topic	Deductive databases Congresses Logic programming Congresses Deduktives Datenbanksystem (DE-588)4258784-0 gnd
topic_facet	Deductive databases Congresses Logic programming Congresses Deduktives Datenbanksystem Konferenzschrift 1995 Kanagawa Konferenzschrift 1995 Tokio
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006799859&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV010685537
work_keys_str_mv	AT deckerhendrik deductivedatabasesandlogicprogrammingabductionindeductivedatabasesandknowledgebasedsystemsproceedingsoftheiclp95jointworkshopshonanvillagecenterjapanjune171995 AT iclptokio deductivedatabasesandlogicprogrammingabductionindeductivedatabasesandknowledgebasedsystemsproceedingsoftheiclp95jointworkshopshonanvillagecenterjapanjune171995

Holdings

There is no print copy available.

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

MARC

Record in the Search Index

There is no print copy available.

Similar Items