Foundations of knowledge representation and reasoning:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1994
|
| Schriftenreihe: | Lecture notes in computer science
810 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 355 S. |
| ISBN: | 3540581073 0387581073 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009610638 | ||
| 003 | DE-604 | ||
| 005 | 19971211 | ||
| 007 | t| | ||
| 008 | 940516s1994 gw |||| 10||| eng d | ||
| 016 | 7 | |a 941029301 |2 DE-101 | |
| 020 | |a 3540581073 |9 3-540-58107-3 | ||
| 020 | |a 0387581073 |9 0-387-58107-3 | ||
| 035 | |a (OCoLC)30594472 | ||
| 035 | |a (DE-599)BVBBV009610638 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-355 |a DE-739 |a DE-384 |a DE-19 |a DE-20 |a DE-91G |a DE-706 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a Q387.F68 1994 | |
| 082 | 0 | |a 006.3/3 |2 20 | |
| 082 | 0 | |a 006.3/3 20 | |
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 084 | |a ST 304 |0 (DE-625)143653: |2 rvk | ||
| 084 | |a DAT 703f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Foundations of knowledge representation and reasoning |c Gerhard Lakemeyer ... (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1994 | |
| 300 | |a VIII, 355 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 810 : Lecture notes in artificial intelligence | |
| 650 | 7 | |a Inteligencia Artificial (Computacao) |2 larpcal | |
| 650 | 4 | |a Intelligence artificielle | |
| 650 | 7 | |a Intelligence artificielle - Congrès |2 ram | |
| 650 | 7 | |a Kennisrepresentatie |2 gtt | |
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 4 | |a Raisonnement | |
| 650 | 7 | |a Raisonnement - Congrès |2 ram | |
| 650 | 4 | |a Représentation des connaissances | |
| 650 | 7 | |a Représentation des connaissances - Congrès |2 ram | |
| 650 | 7 | |a logique défaut |2 inriac | |
| 650 | 7 | |a raisonnement |2 inriac | |
| 650 | 7 | |a représentation connaissance |2 inriac | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Knowledge representation (Information theory) | |
| 650 | 4 | |a Reasoning | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensbasiertes System |0 (DE-588)4197554-6 |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 Logischer Schluss |0 (DE-588)4139983-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Denken |0 (DE-588)4011450-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1992 |z Wien |2 gnd-content | |
| 689 | 0 | 0 | |a Wissensbasiertes System |0 (DE-588)4197554-6 |D s |
| 689 | 0 | 1 | |a Denken |0 (DE-588)4011450-8 |D s |
| 689 | 0 | 2 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 1 | 1 | |a Logischer Schluss |0 (DE-588)4139983-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 2 | 1 | |a Denken |0 (DE-588)4011450-8 |D s |
| 689 | 2 | 2 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Lakemeyer, Gerhard |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 810 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 810 : Lecture | |
| 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=006352964&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006352964 | |
Datensatz im Suchindex
| _version_ | 1820874843653931008 |
|---|---|
| adam_text |
FOUNDATIONS
OF
KNOWLEDGE
REPRESENTATION
AND
REASONING
1
GERHARD
LAKEMEYER,
BERNHARD
NEBEL
COLLECTIVE
ENTITIES
AND
RELATIONS
IN
CONCEPT
LANGUAGES
13
JURGEN
ALLGAYER,
ENRICO
FRANCONI
COMPUTING
EXTENSIONS
OF
TERMINOLOGICAL
DEFAULT
THEORIES
30
FRANZ
BAADER,
BERNHARD
HOLLANDER
A
FORMALIZATION
OF
INTERVAL-BASED
TEMPORAL
SUBSUMPTION
IN
FIRST
ORDER
LOGIC
53
CLAUDIO
BETTINI
NORMATIVE,
SUBJUNCTIVE
AND
AUTOEPISTEMIC
DEFAULTS
74
CRAIG
BOUTILIER
ABDUCTIVE
REASONING
WITH
ABSTRACTION
AXIOMS
98
LUCA
CONSOLE,
DANIELE
THESEIDER
DUPR
QUERIES,
RULES
AND
DEFINITIONS
AS
EPISTEMIC
SENTENCES
IN CONCEPT
LANGUAGES
113
FRANCESCO
M.
DONINI,
MAURIZIO
LENZERINI,
DANIELE
NARDI,
WERNER
NUTT,
ANDREA
SCHAERF
THE
POWER
OF
BELIEFS
OR
TRANSLATING
DEFAULT
LOGIC
INTO
STANDARD
AUTOEPISTEMIC
LOGIC
133
GEORG
GOTTLOB
LEARNING
AN
OPTIMALLY
ACCURATE
REPRESENTATION
SYSTEM
145
RUSSELL
GREINER,
DALE
SCHUURMANS
DEFAULT
REASONING
VIA
NEGATION
AS
FAILURE
160
A.C.
KAKAS
WEAK
AUTOEPISTEMIC
REASONING
AND
WELL-FOUNDED
SEMANTICS
179
JURGEN
KOLINSKI
FORMING
CONCEPTS
FOR
FAST
INFERENCE
200
HENRY
KAUTZ,
BART
SELMAN
A
COMMON-SENSE
THEORY
OF
TIME
216
YUEN
Q.
LIN
REASONING
WITH
ANALOGICAL
REPRESENTATIONS
229
KAREN
L.
MYERS,
KURT
KONOLIGE
ASKING
ABOUT
POSSIBILITIES
-
REVISION
AND
UPDATE
SEMANTICS
FOR
SUBJUNCTIVE
QUERIES
250
WOLFGANG
NEJDL,
MARKUS
BANAGL
ON
THE
IMPACT
OF
STRATIFICATION
ON
THE
COMPLEXITY
OF
NONMONOTONIC
REASONING
275
ILKKA
NIEMELD,
JUSSI
RINTANEN
LOGICS
OF
MENTAL
ATTITUDES
IN
AI
296
YOAV
SHOHAM,
STEVE
B.
COUSINS
HYPERRATIONAL
CONDITIONALS
-
MONOTONIC REASONING
ABOUT
NESTED
DEFAULT
CONDITIONALS
310
EMIL
WEYDERT
REVISION
BY
EXPANSION
IN
LOGIC
PROGRAMS
333
CEES
WITTEVEEN,
CATHOLIJN
JONKER |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV009610638 |
| callnumber-first | Q - Science |
| callnumber-label | Q387 |
| callnumber-raw | Q387.F68 1994 |
| callnumber-search | Q387.F68 1994 |
| callnumber-sort | Q 3387 F68 41994 |
| callnumber-subject | Q - General Science |
| classification_rvk | ST 285 ST 304 |
| classification_tum | DAT 703f DAT 706f |
| ctrlnum | (OCoLC)30594472 (DE-599)BVBBV009610638 |
| dewey-full | 006.3/3 006.3/320 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/3 006.3/3 20 |
| dewey-search | 006.3/3 006.3/3 20 |
| dewey-sort | 16.3 13 |
| 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">BV009610638</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19971211</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940516s1994 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">941029301</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540581073</subfield><subfield code="9">3-540-58107-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387581073</subfield><subfield code="9">0-387-58107-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)30594472</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009610638</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-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q387.F68 1994</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/3</subfield><subfield code="2">20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/3 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 285</subfield><subfield code="0">(DE-625)143648:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 304</subfield><subfield code="0">(DE-625)143653:</subfield><subfield code="2">rvk</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">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of knowledge representation and reasoning</subfield><subfield code="c">Gerhard Lakemeyer ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 355 S.</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">810 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Inteligencia Artificial (Computacao)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intelligence artificielle - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kennisrepresentatie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kunstmatige intelligentie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Raisonnement</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Raisonnement - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Représentation des connaissances</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Représentation des connaissances - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique défaut</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">représentation connaissance</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge representation (Information theory)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</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">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Denken</subfield><subfield code="0">(DE-588)4011450-8</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)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1992</subfield><subfield code="z">Wien</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Denken</subfield><subfield code="0">(DE-588)4011450-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</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">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="1"><subfield code="a">Denken</subfield><subfield code="0">(DE-588)4011450-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lakemeyer, Gerhard</subfield><subfield code="e">Sonstige</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">810 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">810 : Lecture</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=006352964&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-006352964</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift 1992 Wien gnd-content |
| genre_facet | Aufsatzsammlung Konferenzschrift 1992 Wien |
| id | DE-604.BV009610638 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:06:11Z |
| institution | BVB |
| isbn | 3540581073 0387581073 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006352964 |
| oclc_num | 30594472 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-739 DE-384 DE-19 DE-BY-UBM DE-20 DE-91G DE-BY-TUM DE-706 DE-83 DE-11 DE-188 |
| owner_facet | DE-355 DE-BY-UBR DE-739 DE-384 DE-19 DE-BY-UBM DE-20 DE-91G DE-BY-TUM DE-706 DE-83 DE-11 DE-188 |
| physical | VIII, 355 S. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Foundations of knowledge representation and reasoning Gerhard Lakemeyer ... (eds.) Berlin u.a. Springer 1994 VIII, 355 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 810 : Lecture notes in artificial intelligence Inteligencia Artificial (Computacao) larpcal Intelligence artificielle Intelligence artificielle - Congrès ram Kennisrepresentatie gtt Kunstmatige intelligentie gtt Raisonnement Raisonnement - Congrès ram Représentation des connaissances Représentation des connaissances - Congrès ram logique défaut inriac raisonnement inriac représentation connaissance inriac Künstliche Intelligenz Knowledge representation (Information theory) Reasoning Artificial intelligence Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Wissensbasiertes System (DE-588)4197554-6 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf Logischer Schluss (DE-588)4139983-3 gnd rswk-swf Denken (DE-588)4011450-8 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift 1992 Wien gnd-content Wissensbasiertes System (DE-588)4197554-6 s Denken (DE-588)4011450-8 s Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Wissensrepräsentation (DE-588)4049534-6 s Logischer Schluss (DE-588)4139983-3 s Automatisches Beweisverfahren (DE-588)4069034-9 s Lakemeyer, Gerhard Sonstige oth Lecture notes in computer science 810 : Lecture notes in artificial intelligence (DE-604)BV000000607 810 : Lecture DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006352964&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Foundations of knowledge representation and reasoning Lecture notes in computer science Inteligencia Artificial (Computacao) larpcal Intelligence artificielle Intelligence artificielle - Congrès ram Kennisrepresentatie gtt Kunstmatige intelligentie gtt Raisonnement Raisonnement - Congrès ram Représentation des connaissances Représentation des connaissances - Congrès ram logique défaut inriac raisonnement inriac représentation connaissance inriac Künstliche Intelligenz Knowledge representation (Information theory) Reasoning Artificial intelligence Künstliche Intelligenz (DE-588)4033447-8 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Wissensbasiertes System (DE-588)4197554-6 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Logischer Schluss (DE-588)4139983-3 gnd Denken (DE-588)4011450-8 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4069034-9 (DE-588)4197554-6 (DE-588)4049534-6 (DE-588)4139983-3 (DE-588)4011450-8 (DE-588)4143413-4 (DE-588)1071861417 |
| title | Foundations of knowledge representation and reasoning |
| title_auth | Foundations of knowledge representation and reasoning |
| title_exact_search | Foundations of knowledge representation and reasoning |
| title_full | Foundations of knowledge representation and reasoning Gerhard Lakemeyer ... (eds.) |
| title_fullStr | Foundations of knowledge representation and reasoning Gerhard Lakemeyer ... (eds.) |
| title_full_unstemmed | Foundations of knowledge representation and reasoning Gerhard Lakemeyer ... (eds.) |
| title_short | Foundations of knowledge representation and reasoning |
| title_sort | foundations of knowledge representation and reasoning |
| topic | Inteligencia Artificial (Computacao) larpcal Intelligence artificielle Intelligence artificielle - Congrès ram Kennisrepresentatie gtt Kunstmatige intelligentie gtt Raisonnement Raisonnement - Congrès ram Représentation des connaissances Représentation des connaissances - Congrès ram logique défaut inriac raisonnement inriac représentation connaissance inriac Künstliche Intelligenz Knowledge representation (Information theory) Reasoning Artificial intelligence Künstliche Intelligenz (DE-588)4033447-8 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Wissensbasiertes System (DE-588)4197554-6 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Logischer Schluss (DE-588)4139983-3 gnd Denken (DE-588)4011450-8 gnd |
| topic_facet | Inteligencia Artificial (Computacao) Intelligence artificielle Intelligence artificielle - Congrès Kennisrepresentatie Kunstmatige intelligentie Raisonnement Raisonnement - Congrès Représentation des connaissances Représentation des connaissances - Congrès logique défaut raisonnement représentation connaissance Künstliche Intelligenz Knowledge representation (Information theory) Reasoning Artificial intelligence Automatisches Beweisverfahren Wissensbasiertes System Wissensrepräsentation Logischer Schluss Denken Aufsatzsammlung Konferenzschrift 1992 Wien |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006352964&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT lakemeyergerhard foundationsofknowledgerepresentationandreasoning |