Verfügbarkeit: Logic programming, knowledge representation, and nonmonotonic reasoning

Logic programming, knowledge representation, and nonmonotonic reasoning: essays dedicated to Michael Gelfond on the occasion of his 65th birthday

Gespeichert in:

Bibliographische Detailangaben
Format:	Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2011
Schriftenreihe:	Lecture notes in computer science 6565 : Lecture notes in artificial intelligence : Festschrift
Schlagworte:	Logische Programmierung Wissensrepräsentation Nichtmonotones Schließen Frage-Antwort-System Aufsatzsammlung Festschrift
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XIII, 512 S. Ill., graph. Darst. 24 cm
ISBN:	9783642208317

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV037413620
003	DE-604
005	20120203
007	t\|
008	110523s2011 xx ad\|\| \|\|\|\| 01\|\|\| eng d
015			\|a 11,N14 \|2 dnb
016	7		\|a 1010804170 \|2 DE-101
020			\|a 9783642208317 \|c kart. : EUR 74.90 (DE) (freier Pr.), ca. sfr 100.50 (freier Pr.) \|9 978-3-642-20831-7
024	3		\|a 9783642208317
028	5	2	\|a Best.-Nr.: 80061668
035			\|a (OCoLC)725063153
035			\|a (DE-599)DNB1010804170
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-11 \|a DE-91G \|a DE-83
082	0		\|a 006.3 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 703f \|2 stub
084			\|a DAT 706f \|2 stub
084			\|a DAT 540f \|2 stub
245	1	0	\|a Logic programming, knowledge representation, and nonmonotonic reasoning \|b essays dedicated to Michael Gelfond on the occasion of his 65th birthday \|c Marcello Balduccini ; Tran Cao Son (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2011
300			\|a XIII, 512 S. \|b Ill., 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 6565 : Lecture notes in artificial intelligence : Festschrift
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 Nichtmonotones Schließen \|0 (DE-588)4210699-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Frage-Antwort-System \|0 (DE-588)4277060-9 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4143413-4 \|a Aufsatzsammlung \|2 gnd-content
655		7	\|0 (DE-588)4016928-5 \|a Festschrift \|2 gnd-content
689	0	0	\|a Frage-Antwort-System \|0 (DE-588)4277060-9 \|D s
689	0	1	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|D s
689	0	2	\|a Wissensrepräsentation \|0 (DE-588)4049534-6 \|D s
689	0	3	\|a Nichtmonotones Schließen \|0 (DE-588)4210699-0 \|D s
689	0		\|5 DE-604
700	1		\|a Balduccini, Marcello \|e Sonstige \|4 oth
700	1		\|a Gelfond, Michael \|4 hnr
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-20832-4
830		0	\|a Lecture notes in computer science \|v 6565 : Lecture notes in artificial intelligence : Festschrift \|w (DE-604)BV000000607 \|9 6565
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3708417&prov=M&dok_var=1&dok_ext=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=022566022&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-022566022

Datensatz im Suchindex

_version_	1820875317397422080
adam_text	IMAGE 1 TABLE OF CONTENTS OPENING: HOMAGE TO MICHAEL GELFOND ON HIS 65 FFT BIRTHDAY 1 JACK MINKER FOUNDATIONS: ASP AND THEORIES OF LP, KR, AND NMR ANSWER SET PROGRAMMING'S CONTRIBUTIONS TO CLASSICAL LOGIC: AN ANALYSIS OF ASP METHODOLOGY 12 MARC DENECKER, JOOST VENNEKENS, HANNE VLAEMINCK, JOHAN WITTOCX, AND MAURICE BRUYNOOGHE CLOSURE AND CONSISTENCY RATIONALITIES IN LOGIC-BASED ARGUMENTATION . . 33 PHAN MINH DUNG AND PHAN MINH THANG MANIFOLD ANSWER-SET PROGRAMS AND THEIR APPLICATIONS 44 WOLFGANG FABER AND STEFAN WOLTRAN ON THE MINIMALITY OF STABLE MODELS 64 PAOLO FERRARIS AND VLADIMIR LIFSCHITZ CHALLENGES IN ANSWER SET SOLVING 74 MARTIN GEBSER, ROLAND KAMINSKI, BENJAMIN KAUFMANN, AND TORSTEN SCHAUB EXPLORING RELATIONS BETWEEN ANSWER SET PROGRAMS 91 KATSUMI INOUE AND CHIAKI SAKAMA COMPACT TRANSLATIONS OF NON-DISJUNCTIVE ANSWER SET PROGRAMS TO PROPOSITIONAL CLAUSES I LL TOMI JANHUNEN AND ILKKA NIEMELAE EFFECTIVELY REASONING ABOUT INFINITE SETS IN ANSWER SET PROGRAMMING 131 VICTOR MAREK AND JEFFREY B. REMMEL INSPECTING SIDE-EFFECTS OF ABDUCTION IN LOGIC PROGRAMS 148 LUIS MONIZ PEREIRA AND ALEXANDRE MIGUEL PINTO ARGUMENTATION AND ANSWER SET PROGRAMMING 164 FRANCESCA TONI AND MAREK SERGOT BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1010804170 DIGITALISIERT DURCH IMAGE 2 XII TABLE OF CONTENTS INTERLUDE: CANTOR'S PARADISE REGAINED: CONSTRUCTIVE MATHEMATICS FROM BROUWER TO KOLMOGOROV TO GELFOND 181 VLADIK KREINOVICH INTERLUDE: RECOLLECTIONS ON MICHAEL GELFOND'S 65TH BIRTHDAY 191 ALESSANDRO PROVETTI ASP AND DYNAMIC DOMAINS EVOLVING LOGIC PROGRAMS WITH TEMPORAL OPERATORS 193 JOSE JULIO ALFERES, ALFREDO GABALDON, AND JOAEO LEITE ON REPRESENTING ACTIONS IN MULTI-AGENT DOMAINS 213 CHITTA BARAL AND GREGORY GELFOND NONMONOTONIC MULTI-CONTEXT SYSTEMS: A FLEXIBLE APPROACH FOR INTEGRATING HETEROGENEOUS KNOWLEDGE SOURCES 233 GERHARD BREWKA, THOMAS EITER, AND MICHAEL FINK PERSPECTIVES ON LOGIC-BASED APPROACHES FOR REASONING ABOUT ACTIONS AND CHANGE 259 AGOSTINO DOVIER, ANDREA FORMISANO, AND ENRICO PONTELLI REFINEMENT OF HISTORY-BASED POLICIES 280 JORGE LOBO, JIEFEI MA, ALESSANDRA RUSSO, EMU LUPU, SERAPHIN CALO, AND MORRIS SLOMAN TRANSLATING GENERAL GAME DESCRIPTIONS INTO AN ACTION LANGUAGE 300 MICHAEL THIELSCHER REVISITING EPISTEMIC SPECIFICATIONS 315 MIROSLAW TRUSZCZYRISKI INTERLUDE: ANSWER SET; PROGRAMMING? 334 PEDRO CABALAR INTERLUDE: MICHAEL GELFOND: ESSAY IN HONOUR OF HIS 65TH BIRTHDAY 344 STEFANIA COSTANTINI ASP - APPLICATIONS AND TOOLS PLINI: A PROBABILISTIC LOGIC PROGRAM FRAMEWORK FOR INCONSISTENT NEWS INFORMATION 347 MASSIMILIANO ALBANESE, MATTHIAS BROECHELER, JOHN GRANT, MARIA VANINA MARTINEZ, AND V.S. SUBRAHMANIAN IMAGE 3 TABLE OF CONTENTS XIII ASP AS A COGNITIVE MODELING TOOL: SHORT-TERM MEMORY AND LONG-TERM MEMORY 377 MARCELLO BALDUCCINI AND SARA GIROTTO A TEMPORALLY EXPRESSIVE PLANNER BASED ON ANSWER SET PROGRAMMING WITH CONSTRAINTS: PRELIMINARY DESIGN 398 FORREST SHENG BAO, SANDEEP CHINTABATHINA, A. RICARDO MORALES, NELSON RUSHTON, RICHARD WATSON, AND YUANLIN ZHANG APPLICATIONS OF ANSWER SET PROGRAMMING IN PHYLOGENETIC SYSTEMATICS 415 ESRA ERDEM ASP AT WORK: SPIN-OFF AND APPLICATIONS OF THE DLV SYSTEM 432 GIOVANNI GRASSO, NICOLA LEONE, MARCO MANNA, AND FRANCESCO RICCA COMBINING ANSWER SET PROGRAMMING AND PROLOG: THE ASP-PROLOG SYSTEM 452 ENRICO PONTELLI, TRAN CAO SON, AND NGOC-HIEU NGUYEN ON THE PRACTICAL SIDE OF ANSWER SET PROGRAMMING 473 TOMMI SYRJAENEN ASTREA: ANSWER SETS FOR A TRUSTED REASONING ENVIRONMENT FOR AGENTS 490 RICHARD WATSON AND MARINA DE VOS ENDING: TEA TIMES WITH GELFOND 510 VEENA S. MELLARKOD AUTHOR INDEX 513
any_adam_object	1
building	Verbundindex
bvnumber	BV037413620
classification_rvk	SS 4800
classification_tum	DAT 703f DAT 706f DAT 540f
ctrlnum	(OCoLC)725063153 (DE-599)DNB1010804170
dewey-full	006.3
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	006 - Special computer methods
dewey-raw	006.3
dewey-search	006.3
dewey-sort	16.3
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	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">BV037413620</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120203</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">110523s2011 xx ad\|\| \|\|\|\| 01\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N14</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1010804170</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642208317</subfield><subfield code="c">kart. : EUR 74.90 (DE) (freier Pr.), ca. sfr 100.50 (freier Pr.)</subfield><subfield code="9">978-3-642-20831-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642208317</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80061668</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)725063153</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1010804170</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="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</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 703f</subfield><subfield code="2">stub</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 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming, knowledge representation, and nonmonotonic reasoning</subfield><subfield code="b">essays dedicated to Michael Gelfond on the occasion of his 65th birthday</subfield><subfield code="c">Marcello Balduccini ; Tran Cao Son (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">XIII, 512 S.</subfield><subfield code="b">Ill., 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">6565 : Lecture notes in artificial intelligence : Festschrift</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">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">Frage-Antwort-System</subfield><subfield code="0">(DE-588)4277060-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Frage-Antwort-System</subfield><subfield code="0">(DE-588)4277060-9</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="2"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Balduccini, Marcello</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gelfond, Michael</subfield><subfield code="4">hnr</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-20832-4</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6565 : Lecture notes in artificial intelligence : Festschrift</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6565</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=3708417&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">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=022566022&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-022566022</subfield></datafield></record></collection>
genre	(DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)4016928-5 Festschrift gnd-content
genre_facet	Aufsatzsammlung Festschrift
id	DE-604.BV037413620
illustrated	Illustrated
indexdate	2025-01-10T15:13:43Z
institution	BVB
isbn	9783642208317
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-022566022
oclc_num	725063153
open_access_boolean
owner	DE-706 DE-11 DE-91G DE-BY-TUM DE-83
owner_facet	DE-706 DE-11 DE-91G DE-BY-TUM DE-83
physical	XIII, 512 S. Ill., 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
spelling	Logic programming, knowledge representation, and nonmonotonic reasoning essays dedicated to Michael Gelfond on the occasion of his 65th birthday Marcello Balduccini ; Tran Cao Son (eds.) Berlin [u.a.] Springer 2011 XIII, 512 S. Ill., graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6565 : Lecture notes in artificial intelligence : Festschrift Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf Nichtmonotones Schließen (DE-588)4210699-0 gnd rswk-swf Frage-Antwort-System (DE-588)4277060-9 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)4016928-5 Festschrift gnd-content Frage-Antwort-System (DE-588)4277060-9 s Logische Programmierung (DE-588)4195096-3 s Wissensrepräsentation (DE-588)4049534-6 s Nichtmonotones Schließen (DE-588)4210699-0 s DE-604 Balduccini, Marcello Sonstige oth Gelfond, Michael hnr Erscheint auch als Online-Ausgabe 978-3-642-20832-4 Lecture notes in computer science 6565 : Lecture notes in artificial intelligence : Festschrift (DE-604)BV000000607 6565 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3708417&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022566022&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Logic programming, knowledge representation, and nonmonotonic reasoning essays dedicated to Michael Gelfond on the occasion of his 65th birthday Lecture notes in computer science Logische Programmierung (DE-588)4195096-3 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd Frage-Antwort-System (DE-588)4277060-9 gnd
subject_GND	(DE-588)4195096-3 (DE-588)4049534-6 (DE-588)4210699-0 (DE-588)4277060-9 (DE-588)4143413-4 (DE-588)4016928-5
title	Logic programming, knowledge representation, and nonmonotonic reasoning essays dedicated to Michael Gelfond on the occasion of his 65th birthday
title_auth	Logic programming, knowledge representation, and nonmonotonic reasoning essays dedicated to Michael Gelfond on the occasion of his 65th birthday
title_exact_search	Logic programming, knowledge representation, and nonmonotonic reasoning essays dedicated to Michael Gelfond on the occasion of his 65th birthday
title_full	Logic programming, knowledge representation, and nonmonotonic reasoning essays dedicated to Michael Gelfond on the occasion of his 65th birthday Marcello Balduccini ; Tran Cao Son (eds.)
title_fullStr	Logic programming, knowledge representation, and nonmonotonic reasoning essays dedicated to Michael Gelfond on the occasion of his 65th birthday Marcello Balduccini ; Tran Cao Son (eds.)
title_full_unstemmed	Logic programming, knowledge representation, and nonmonotonic reasoning essays dedicated to Michael Gelfond on the occasion of his 65th birthday Marcello Balduccini ; Tran Cao Son (eds.)
title_short	Logic programming, knowledge representation, and nonmonotonic reasoning
title_sort	logic programming knowledge representation and nonmonotonic reasoning essays dedicated to michael gelfond on the occasion of his 65th birthday
title_sub	essays dedicated to Michael Gelfond on the occasion of his 65th birthday
topic	Logische Programmierung (DE-588)4195096-3 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd Frage-Antwort-System (DE-588)4277060-9 gnd
topic_facet	Logische Programmierung Wissensrepräsentation Nichtmonotones Schließen Frage-Antwort-System Aufsatzsammlung Festschrift
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3708417&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=022566022&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT balduccinimarcello logicprogrammingknowledgerepresentationandnonmonotonicreasoningessaysdedicatedtomichaelgelfondontheoccasionofhis65thbirthday AT gelfondmichael logicprogrammingknowledgerepresentationandnonmonotonicreasoningessaysdedicatedtomichaelgelfondontheoccasionofhis65thbirthday

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge