Qualitative and quantitative practical reasoning: first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR '97, Bad Honnef, Germany, June 9 - 12, 1997 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1997
|
| Series: | Lecture notes in computer science
1244 : Lecture notes in artificial intelligence |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X, 620 S. graph. Darst. |
| ISBN: | 3540630953 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011385922 | ||
| 003 | DE-604 | ||
| 005 | 20070426 | ||
| 007 | t| | ||
| 008 | 970610s1997 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 950322334 |2 DE-101 | |
| 020 | |a 3540630953 |9 3-540-63095-3 | ||
| 035 | |a (OCoLC)37141104 | ||
| 035 | |a (DE-599)BVBBV011385922 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-20 |a DE-19 |a DE-706 |a DE-83 | ||
| 050 | 0 | |a Q339.25.I58 1997 | |
| 082 | 0 | |a 006.3/33 21 | |
| 082 | 0 | |a 006.3/33 |2 21 | |
| 084 | |a DAT 716f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a 27 |2 sdnb | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Qualitative and quantitative practical reasoning |b first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR '97, Bad Honnef, Germany, June 9 - 12, 1997 ; proceedings |c Dov M. Gabbay ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1997 | |
| 300 | |a X, 620 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 1244 : Lecture notes in artificial intelligence | |
| 650 | 7 | |a Inteligencia artificial (computacao) |2 larpcal | |
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 4 | |a Raisonnement qualitatif - Congrès | |
| 650 | 7 | |a Redeneren |2 gtt | |
| 650 | 4 | |a Résolution de problème - Congrès | |
| 650 | 4 | |a Qualitative reasoning -- Congresses | |
| 650 | 4 | |a Problem solving -- Congresses | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Qualitatives Schließen |0 (DE-588)4195870-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Default-Logik |0 (DE-588)4225721-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logischer Schluss |0 (DE-588)4139983-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1997 |z Honnef |2 gnd-content | |
| 689 | 0 | 0 | |a Logischer Schluss |0 (DE-588)4139983-3 |D s |
| 689 | 0 | 1 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Default-Logik |0 (DE-588)4225721-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Qualitatives Schließen |0 (DE-588)4195870-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Gabbay, Dov M. |d 1945- |e Sonstige |0 (DE-588)124196314 |4 oth | |
| 711 | 2 | |a International Joint Conference on Qualitative and Quantitative Practical Reasoning |n 1 |d 1997 |c Honnef |j Sonstige |0 (DE-588)2163514-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1244 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 1244 : 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=007652689&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007652689 | |
Record in the Search Index
| _version_ | 1820874853043929088 |
|---|---|
| adam_text |
CONTENTS
INVITED
PAPERS
MULTISENSOR
DATA
FUSION
IN
SITUATION
ASSESSMENT
PROCESSES
1
ALAIN
APPRIOU
DEPENDENCY
MINING
IN
RELATIONAL
DATABASES
16
SIEGFRIED
BELL
SYNTACTIC
COMBINATION
OF
UNCERTAIN
INFORMATION:
A
POSSIBILISTIC
30
APPROACH
SALEM
BENFERHAT,
DIDIER
DUBOIS
AND
HENRI
PRADE
A
COHERENCE-BASED
APPROACH
TO
DEFAULT
REASONING
43
SALEM
BENFERHAT
AND
LAURENT
GARCIA
A
SYNTACTICAL
APPROACH
TO
DATA
FUSION
58
PAOLO
BISON,
GAETANO
CHEMELLO,
CLAUDIO
SOSSAI
AND
GAETANO
TRAINITO
SOME
EXPERIMENTAL
RESULTS
ON
LEARNING
PROBABILISTIC
AND
POSSIBILISTIC
71
NETWORKS
WITH
DIFFERENT
EVALUATION
MEASURES
CHRISTIAN
BORGELT
AND
RUDOLF
KRUSE
INFORMATION
FUSION
IN
LOGIC:
A
BRIEF
OVERVIEW
86
LAURENCE
CHOLVY
AND
ANTHONY
HUNTER
FOCUSING
VS.
BELIEF
REVISION:
A
FUNDAMENTAL
DISTINCTION
WHEN
DEALING
96
WITH
GENERIC
KNOWLEDGE
DIDIER
DUBOIS
AND
HENRI
PRADE
BACKGROUND
AND
PERSPECTIVES
OF
POSSIBILISTIC
GRAPHICAL
MODELS
108
JORG
GEBHARDT
AND
RUDOLF
KRUSE
CHECKING
SEVERAL
FORMS
OF
CONSISTENCY
IN
NONMONOTONIC
122
KNOWLEDGE-BASES
BERTRAND
MAZURE,
LAKHDAR
SAIS
AND
ERIC
GREGOIRE
THE
A-JUNCTIONS:
COMBINATION
OPERATORS
APPLICABLE
TO
BELIEF
FUNCTIONS
131
PHILIPPE
SMETS
JUST
HOW
STUPID
IS
POSTMODERNISM?
154
JOHN
WOODS
ACCEPTED
PAPERS
INTEGRATING
PREFERENCE
ORDERINGS
INTO
ARGUMENT-BASED
REASONING
159
LEILA
AMGOUD
AND
CLAUDETTE
CAYROL
ASSUMPTION-BASED
MODELING
USING
ABEL
B.
ANRIG,
R.
HAENNI,
J.
KOHLAS
AND
N.
LEHMANN
171
PROPOSITIONAL
QUANTIFICATION
FOR
CONDITIONAL
LOGIC
183
PHILIPPE
BESNARD,
JEAN-MARC
GUINNEBAULT
AND
EMMANUEL
MAYER
FAST-DIVISION
ARCHITECTURE
FOR
DEMPSTER-SHAFER
BELIEF
FUNCTIONS
198
R.
BISSIG,
J.
KOHLAS,
N.
LEHMANN
GRADUALITY
BY
MEANS
OF
ANALOGICAL
REASONING
210
J.
DELECHAMP
AND
B.
BOUCHON-MEUNIER
REASONING
ABOUT
UNPREDICTED
CHANGE
AND
EXPLICIT
TIME
223
FLORENCE
DUPIN
DE
SAINT-CYR
AND
JEROME
LANG
NON-ELEMENTARY
SPEED-UPS
IN
DEFAULT
REASONING
237
UWE
EGLY
AND
HANS
TOMPITS
A
COMPOSITIONAL
REASONING
SYSTEM
FOR
EXECUTING
NONMONOTONIC
252
THEORIES
OF
REASONING
JOERI
ENGELFRIET
AND
JAN
TREUR
STRUCTURED
BELIEF
BASES:
A
PRACTICAL
APPROACH
TO
PRIORITISED
BASE
267
REVISION
DOV
GABBAY
AND
ODINALDO
RODRIGUES
ENTRENCHMENT
RELATIONS:
A
UNIFORM
APPROACH
TO
NONMONOTONICITY
282
KONSTANTINOS
GEORGATOS
A
MODAL
LOGIC
FOR
REASONING
ABOUT
KNOWLEDGE
AND
TIME
ON
BINARY
298
SUBSET
TREES
BERNHARD
HEINEMANN
HOW
TO
CHANGE
FACTUAL
BELIEFS
USING
LAWS
AND
DEPENDENCE
INFORMATION
311
ANDREAS
HERZIG
USING
DEFAULT
LOGIC
FOR
LEXICAL
KNOWLEDGE
322
ANTHONY
HUNTER
A
LAYERED,
ANYTIME
APPROACH
TO
SENSOR
VALIDATION
336
PABLO
H.
IBARGIIENGOYTIA,
SUNIL
VADERA
AND
L.
ENRIQUE
SUCAR
TREENETS:
A
FRAMEWORK
FOR
ANYTIME
EVALUATION
OF
BELIEF
NETWORKS
350
NATHALIE
JITNAH
AND
A.
NICHOLSON
A
LOGICALLY
SOUND
METHOD
FOR
UNCERTAIN
REASONING
WITH
QUANTIFIED
365
CONDITIONALS
GABRIELE
KEM-ISBEMER
BELIEF
FUNCTIONS
WITH
NONSTANDARD
VALUES
IVAN
KRAMOSIL
380
ERROR
TOLERANCE
METHOD
IN
MULTIPLE-VALUED
LOGIC
392
SOOWOO
LEE
REPRESENTING
AND
REASONING
WITH
EVENTS
FROM
NATURAL
LANGUAGE
406
MIGUEL
LEITH
AND
JIM
CUNNINGHAM
REASONING
ABOUT
SECURITY:
A
LOGIC
AND
A
DECISION
METHOD
FOR
421
ROLE-BASED
ACCESS
CONTROL
FABIO
MASSACCI
PROCESS
MODELING
WITH
DIFFERENT
QUALITIES
OF
KNOWLEDGE
436
WOLFGANG
MAY
A
FUZZY
ANALYSIS
OF
LINGUISTIC
NEGATION
OF
NUANCED
PROPERTY
IN
451
KNOWLEDGE-BASED
SYSTEMS
DANIEL
PACHOLCZYK
NORMATIVE
ARGUMENTATION
AND
QUALITATIVE
PROBABILITY
466
SIMON
PARSONS
TOWARDS
A
FORMALIZATION
OF
NARRATIVES:
ACTIONS
WITH
DURATION,
481
CONCURRENT
ACTIONS
AND
QUALIFICATION
ANNA
RADZIKOWSKA
MULTIPLE
SUBARGUMENTS
IN
LOGIC,
ARGUMENTATION,
RHETORIC
AND
TEXT
496
GENERATION
CHRIS
REED
AND
DEREK
LONG
CACTUS:
A
BRANCHING-TIME
LOGIC
PROGRAMMING
LANGUAGE
511
P.
RONDOGIANNIS,
M.
GERGATSOULIS
AND
T.
PANAYIOTOPOULOS
CREATING
PROTOTYPES
FOR
FAST
CLASSIFICATION
IN
DEMPSTER-SHAFER
525
CLUSTERING
JOHAN
SCHUBERT
PROBABILISTIC
DEFAULT
LOGIC
BASED
ON
IRRELEVANCE
AND
RELEVANCE
536
ASSUMPTIONS
GERHARD
SCHURZ
LOGIC
FOR
TWO:
THE
SEMANTICS
OF
DISTRIBUTIVE
SUBSTRUCTURAL
LOGICS
554
JOHN
SLANEY
AND
ROBERT
MEYER
MULTIVALUED
EXTENSION
OF
CONDITIONAL
BELIEF
FUNCTIONS
ANNA
SLOBODOVD
568
COMBINING
EVIDENCE
UNDER
PARTIAL
IGNORANCE
574
FRANS
VOORBRAAK
RATIONAL
DEFAULT
QUANTIFIER
LOGIC
589
EMIL
WEYDERT
DISJUNCTIVE
UPDATE,
MINIMAL
CHANGE,
AND
DEFAULT
REASONING
600
YAN
ZHANG
POSITION
PAPERS
AND
SYSTEM
DESCRIPTIONS
TOWARD
A
UNIFORM
LOGICAL
REPRESENTATION
OF
DIFFERENT
KINDS
OF
INTEGRITY
614
CONSTRAINTS
ROBERT
DEMOLOMBE,
ANDREW
J.
I.
JONES
AND
JOSE
CARMO
AUTHORS
INDEX
621 |
| any_adam_object | 1 |
| author_GND | (DE-588)124196314 |
| building | Verbundindex |
| bvnumber | BV011385922 |
| callnumber-first | Q - Science |
| callnumber-label | Q339 |
| callnumber-raw | Q339.25.I58 1997 |
| callnumber-search | Q339.25.I58 1997 |
| callnumber-sort | Q 3339.25 I58 41997 |
| callnumber-subject | Q - General Science |
| classification_rvk | SS 1997 SS 4800 |
| classification_tum | DAT 716f DAT 706f |
| ctrlnum | (OCoLC)37141104 (DE-599)BVBBV011385922 |
| dewey-full | 006.3/3321 006.3/33 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/33 21 006.3/33 |
| dewey-search | 006.3/33 21 006.3/33 |
| dewey-sort | 16.3 233 221 |
| 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">BV011385922</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070426</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">970610s1997 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">950322334</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540630953</subfield><subfield code="9">3-540-63095-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37141104</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011385922</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-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q339.25.I58 1997</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/33 21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/33</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 716f</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">27</subfield><subfield code="2">sdnb</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">Qualitative and quantitative practical reasoning</subfield><subfield code="b">first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR '97, Bad Honnef, Germany, June 9 - 12, 1997 ; proceedings</subfield><subfield code="c">Dov M. Gabbay ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 620 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">1244 : 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="7"><subfield code="a">Kunstmatige intelligentie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Raisonnement qualitatif - 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">Résolution de problème - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Qualitative reasoning -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Problem solving -- Congresses</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">Qualitatives Schließen</subfield><subfield code="0">(DE-588)4195870-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Default-Logik</subfield><subfield code="0">(DE-588)4225721-9</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1997</subfield><subfield code="z">Honnef</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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">Default-Logik</subfield><subfield code="0">(DE-588)4225721-9</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">Qualitatives Schließen</subfield><subfield code="0">(DE-588)4195870-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.</subfield><subfield code="d">1945-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)124196314</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Joint Conference on Qualitative and Quantitative Practical Reasoning</subfield><subfield code="n">1</subfield><subfield code="d">1997</subfield><subfield code="c">Honnef</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2163514-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">1244 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1244 : 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=007652689&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-007652689</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Honnef gnd-content |
| genre_facet | Konferenzschrift 1997 Honnef |
| id | DE-604.BV011385922 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:20Z |
| institution | BVB |
| institution_GND | (DE-588)2163514-6 |
| isbn | 3540630953 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007652689 |
| oclc_num | 37141104 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-20 DE-19 DE-BY-UBM DE-706 DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-20 DE-19 DE-BY-UBM DE-706 DE-83 |
| physical | X, 620 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Qualitative and quantitative practical reasoning first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR '97, Bad Honnef, Germany, June 9 - 12, 1997 ; proceedings Dov M. Gabbay ... (eds.) Berlin [u.a.] Springer 1997 X, 620 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1244 : Lecture notes in artificial intelligence Inteligencia artificial (computacao) larpcal Kunstmatige intelligentie gtt Raisonnement qualitatif - Congrès Redeneren gtt Résolution de problème - Congrès Qualitative reasoning -- Congresses Problem solving -- Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Qualitatives Schließen (DE-588)4195870-6 gnd rswk-swf Default-Logik (DE-588)4225721-9 gnd rswk-swf Logischer Schluss (DE-588)4139983-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Honnef gnd-content Logischer Schluss (DE-588)4139983-3 s Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Default-Logik (DE-588)4225721-9 s Qualitatives Schließen (DE-588)4195870-6 s Gabbay, Dov M. 1945- Sonstige (DE-588)124196314 oth International Joint Conference on Qualitative and Quantitative Practical Reasoning 1 1997 Honnef Sonstige (DE-588)2163514-6 oth Lecture notes in computer science 1244 : Lecture notes in artificial intelligence (DE-604)BV000000607 1244 : Lecture DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007652689&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Qualitative and quantitative practical reasoning first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR '97, Bad Honnef, Germany, June 9 - 12, 1997 ; proceedings Lecture notes in computer science Inteligencia artificial (computacao) larpcal Kunstmatige intelligentie gtt Raisonnement qualitatif - Congrès Redeneren gtt Résolution de problème - Congrès Qualitative reasoning -- Congresses Problem solving -- Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd Qualitatives Schließen (DE-588)4195870-6 gnd Default-Logik (DE-588)4225721-9 gnd Logischer Schluss (DE-588)4139983-3 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4195870-6 (DE-588)4225721-9 (DE-588)4139983-3 (DE-588)1071861417 |
| title | Qualitative and quantitative practical reasoning first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR '97, Bad Honnef, Germany, June 9 - 12, 1997 ; proceedings |
| title_auth | Qualitative and quantitative practical reasoning first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR '97, Bad Honnef, Germany, June 9 - 12, 1997 ; proceedings |
| title_exact_search | Qualitative and quantitative practical reasoning first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR '97, Bad Honnef, Germany, June 9 - 12, 1997 ; proceedings |
| title_full | Qualitative and quantitative practical reasoning first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR '97, Bad Honnef, Germany, June 9 - 12, 1997 ; proceedings Dov M. Gabbay ... (eds.) |
| title_fullStr | Qualitative and quantitative practical reasoning first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR '97, Bad Honnef, Germany, June 9 - 12, 1997 ; proceedings Dov M. Gabbay ... (eds.) |
| title_full_unstemmed | Qualitative and quantitative practical reasoning first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR '97, Bad Honnef, Germany, June 9 - 12, 1997 ; proceedings Dov M. Gabbay ... (eds.) |
| title_short | Qualitative and quantitative practical reasoning |
| title_sort | qualitative and quantitative practical reasoning first international joint conference on qualitative and quantitative practical reasoning ecsqaru fapr 97 bad honnef germany june 9 12 1997 proceedings |
| title_sub | first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR '97, Bad Honnef, Germany, June 9 - 12, 1997 ; proceedings |
| topic | Inteligencia artificial (computacao) larpcal Kunstmatige intelligentie gtt Raisonnement qualitatif - Congrès Redeneren gtt Résolution de problème - Congrès Qualitative reasoning -- Congresses Problem solving -- Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd Qualitatives Schließen (DE-588)4195870-6 gnd Default-Logik (DE-588)4225721-9 gnd Logischer Schluss (DE-588)4139983-3 gnd |
| topic_facet | Inteligencia artificial (computacao) Kunstmatige intelligentie Raisonnement qualitatif - Congrès Redeneren Résolution de problème - Congrès Qualitative reasoning -- Congresses Problem solving -- Congresses Künstliche Intelligenz Qualitatives Schließen Default-Logik Logischer Schluss Konferenzschrift 1997 Honnef |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007652689&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT gabbaydovm qualitativeandquantitativepracticalreasoningfirstinternationaljointconferenceonqualitativeandquantitativepracticalreasoningecsqarufapr97badhonnefgermanyjune9121997proceedings AT internationaljointconferenceonqualitativeandquantitativepracticalreasoninghonnef qualitativeandquantitativepracticalreasoningfirstinternationaljointconferenceonqualitativeandquantitativepracticalreasoningecsqarufapr97badhonnefgermanyjune9121997proceedings |