ECAI 94: 11th European Conference on Artificial Intelligence, August 8 - 12, 1994, Amsterdam, The Netherlands ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Chichester u.a.
Wiley
1994
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XVI, 832 S. graph. Darst. |
| ISBN: | 0471950696 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009820321 | ||
| 003 | DE-604 | ||
| 005 | 19951004 | ||
| 007 | t| | ||
| 008 | 940927s1994 xx d||| |||| 10||| eng d | ||
| 020 | |a 0471950696 |9 0-471-95069-6 | ||
| 035 | |a (OCoLC)635647724 | ||
| 035 | |a (DE-599)BVBBV009820321 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-20 |a DE-12 |a DE-384 | ||
| 084 | |a DAT 700f |2 stub | ||
| 111 | 2 | |a ECAI |n 11 |d 1994 |c Amsterdam |j Verfasser |0 (DE-588)1600242-8 |4 aut | |
| 245 | 1 | 0 | |a ECAI 94 |b 11th European Conference on Artificial Intelligence, August 8 - 12, 1994, Amsterdam, The Netherlands ; proceedings |c ed. by A. G. Cohn. Organised by the European Committee for Artificial Intelligence (ECCAI) |
| 264 | 1 | |a Chichester u.a. |b Wiley |c 1994 | |
| 300 | |a XVI, 832 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1994 |z Amsterdam |2 gnd-content | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Cohn, Anthony |e Sonstige |4 oth | |
| 710 | 2 | |a European Coordinating Committee for Artificial Intelligence |e Sonstige |0 (DE-588)307541-2 |4 oth | |
| 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=006501463&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006501463 | |
Datensatz im Suchindex
| _version_ | 1820882547744178176 |
|---|---|
| adam_text |
Index
of papers
Application Technologies
'A High Performance Scheduler for an Automated
Chemistry Workstation' Robert J.
Aarts,
Stephen F. Smith
3
'PMFP: The Use of Constraint-Based Programming for
Predictive Personnel Management' Claude
Le Pape,
Jean-Francois
Puget,
Colonel Moreau,
Philippe Darneau
8
'Scheduling Heuristics for the DRS-Sched System'
Marco Adinolfi,
Amedeo Cesta
13
'Similarity for Analogical Software Reuse: A
Computational Model' George Spanoudakis,
Panos
Constantopoulos
18
'Classification of Traffic Situations by Using Neural
Networks'
Heribert Kirschfink,
Hubert
Rehborn
23
'Acquisition
ofinformation
to Determine a User's Plan'
Bhavani Raskutti,
Ingrid
Zukerman
28
'Genetic Algorithms for Air Traffic Assignment' Daniel
Delahaye, Jean-Marc All
iot,
Marc Schoenauer, Jean-
Loup Farges
33
'A Case-Based Reasoning System Using a Control Case-
Base'
Isabelle Bichindaritz 38
'DIAPO: A Case Study in Applying Advanced
AI
Techniques to the Diagnosis of a Complex System.'
Marc
Percheron,
Benoit Ricard, Jean Luc
Busquei,
Patrice Parent
43
'Context-Sensitive
Data Validation and Data Abstraction
for Knowledge-Based Monitoring'
Silvia Miksch, Werner Horn, Christian
Popow,
Franz
Paky
48
'A Knowledge-Based Decision Support System for
Selection Psychologists' Irene S. Y. Koh, Michael S.H.
Heng
53
'FAITH in Process Control Expert Systems'
KaiFinke, Matthias
Jarke,
Peter Szczurko,
Roland Soltysiak
58
Automated Reasoning
'A Top Down Proof Procedure for Default Logic by
Using Abduction' Ken Satoh
65
'Abduction and Uncertainty in Compositional Reasoning'
Bob
Goedhart
70
'Abduction and Concurrent Logic Languages'
Christian Codognet, Philippe Codognet
75
'Reusing Proofs' Thomas
Kolbe,
Christoph Walther 80
'Coloured Rippling: An Extension of a Theorem Proving
Heuristic' Tetsuya Yoshida, Alan
Bundy, lan
Green,
Toby Walsh, David Basin
85
'Refinements of Theory Model Elimination and a Variant
without
Contrapositives'
Peter Baumgartner
90
'Binary Constraint Satisfaction Problems: Some are
Harder than Others' Patrick
Presser
95
'The Phase Transition and the Mushy Region in
Constraint Satisfaction Problems'
Barbara M. Smith
100
'The SAT Phase Transition' Ian P. Gent,
Toby Walsh
105
'Maximal Sets of Solutions for Constraint Satisfaction
Problems' David Lesaint
110
'Global Consistency for Continuous Constraints'
Djamila Haroud,
Boi
Faltings
115
'Partial Consistency for Constraint-Satisfaction
Problems' Hachemi Bennaceur
120
'Contradicting Conventional Wisdom in Constraint
Satisfaction' Daniel
Sabin,
Eugene
С.
Freuder 125
'GSAT versus Simulated Annealing'
Antje
Beringer,
Gerd Aschemann, Holger
H.
Hoos,
Michael Metzger,
Andreas
Weiss
130
'A New Population-Based Method for Satisfiability
Problems' Jin-Kao Hao,
Raphaël
Dorne 135
Тор
-Down
Query Evaluation for Well-Founded
Semantics with Explicit Negation'
José Júlio Alferes,
Carlos Viegas Damasio, Luis Moniz
Pereira
140
'On the Translation of Higher-Order Problems into First-
Order Logic' Manfred Kerber
145
"Expressing Independence in a PossibiUstic Framework
and its Application to Default Reasoning'
Salem Benferhat,
Didier Dubois,
Henri
Prade
150
'Improvements on Linear-Space Search Algorithms'
Hermann Kaindl,
Angelika Leeb,
Harald
Smetana
155
'Combining the Lazy Label Evaluation with Focusing
Techniques in an ATMS'
Mugur
M.
Tatar
160
'Stubborness: A Possible Enhancement for Backjumping
and Nogood Recording'
Thomas Schiex,
Gérard
Verfaillie
165
'Problems with Using Genetic Algorithms for Neural
Network Feature Selection' Chris Hopkins,
Tom
Routen, Tim
Watson
221
'Applying Co-Evolution to the Construction of Neural
Networks' Steve G.
Rontaniuk
226
'Self-Organizing Neural Networks in Kansei Engineering
Expert System' Shigekazu Ishihara,
Keiko Ishihara, Yukihiro Matsubara,
Mitsuo Nagamachi
231
'On Attributed Relational Graph Matching Using
Hopfield Network' P.N. Suganthan, Earn Khwang Teoh,
DmeshP.Mital
236
'Alopex Network Algorithm Applied to Predict Gas
Usage' Alexei
N.
Skurikhin,
Alvin J. Surkart
241
Distributed
AI
Cognitive Modelling
'Attentional Scanning' Eric O. Postma, H.
Jaap
van den
Herik,
Patrick
T.W.
Hudson
173
'On the Dynamics of Learner Models' Ana
Paiva,
John Self, Roger Hartley
178
'Mental States Recognition from Speech Acts through
Abduction'
Aldo
Franco
Dragoni,
Paolo
Puliti
183
'A Social Reasoning Mechanism Based On Dependence
Networks' Jaime
Simão
Sichman,
Rosaria
Conte,
Cristiano
Castelfranchi, Yves Demazeau
188
'A Learner Model Reason Maintenance System'
Ana
Paiva,
John Self
193
'A Framework for Teaching Qualitative Models'
Kees de Koning,
Bert Bredeweg 197
The DUAL Cognitive Architecture:
A
Hybrid Multi¬
Agent
Approach' Boicho Nikolov Kokinov
203
"Modeling Multiagent Cooperation as Distributed
Constraint Satisfaction Problem Solving'
Taha
Khedro, Michael R. Genesereth
249
'On Fair Controls in Multi-Agent Systems'
Hans-Dieter Burkhard
254
'An All-Pay Auction Approach to
Reallocation'
Jacques
Lenting, Peter
Braspenning
259
'Symbol-Level Requirements for Agent-Level
Programming'
Mauro
Gašpari,
Enrico
Motta
264
'Yet another Semantics of Goals and Goal Priorities'
Jacques Wainer
269
'Deviation-Proof Plans in Open Multiagent
Environments' Sviatoslav Brainov
274
'Coherent Social Action' Michael Wooldridge
279
'Emergent Behaviour in a Multi-Agent Economic
Situation' Paul Kearney, Arvindra Sehmi,
Robert Smith
284
Connectionism and PDP
'Progress with the Tree-Structured Self-Organizing Map'
Pasi Koikkalainen
211
'Advantages of Using Prototypes in a Multi-Layer
Perceptron and Comparison to Other Neural
Networks' KhaledKhan
216
'Multi-Agent System Design: Using Human Societal
Metaphors and Normative Logic' Geof Stamford
289
'Belief Revision in
Multi-
Agent Systems'
Benedita
Malheiro, Nick R. Jennings,
Eugênio Oliveira
294
'Beliefs in Multi-Agent Worlds: a Terminological Logics
Approach'
Armin Laux 299
Index of Papers
Index of Papers
Enabling Technology and Systems
'A Formal Model for the Dynamics of Compositional
Reasoning Systems'
loa
Gavrila,
Jan Treur
307
'Multiple Access
and Coherence
Management in
a Real-
Time
Temporal
Blackboard'
V. J.
Boni,
A. Crespo,
F. Barber
,
I. Ripoll
312
Integrated Systems
'Knowledge Based Integration of Representation
Formalisms' Gertjan van
Heijst, Wilfried
Post,
A.Th.
Schreiber 319
'Rule Compilation and Optimization For Embedded
Systems with Periodic Sensor Data' Frank P. Coyle,
Murat
M. Tanik
324
Knowledge Representation
'Tests as
Epistemic
Updates'
Bernd
van
Linder,
Wiebe van
der Hoek,
John-Jules
Ch.
Meyer
331
'Possible Models Approach via Independency'
Pierre Marquis
336
'Base Revision Operations and Schemes: Semantics,
Representation and Complexity'
Bernhard Nebel 341
'Explanation and Theory Base Transmutations'
Mary-Arme
Williams
346
'The Production of Explanations, Seen as a Design
Task: a Case Study'
Marie-Hélène Gréboval,
Gilles
Kassel 351
'A Logical View of Probability' Me Wilson,
Serafin
Moral
386
'Modal Logics for Conceptual Graphs
ΠΙ'
Härmen
van den Berg
356
'Skeptical and Credulous Event Calculi for Supporting
Modal Queries'
Luca Chinare, Angelo Montanari,
Alessandro Provetti
361
'A
Reconstruction of
Rescher'
s
Theory of Formal
Disputation Based on Default Logic'
Gerhard Brewka
366
"Violated Obligations in a Defeasible Deontic Logic'
Leenden W.N.
van
der
Torre
371
'Prioritized Conflict Resolution for Default Reasoning'
Jerome Mengin
376
'Reasoning by Cases without Contraposition in Default
Logic' Yves Moinard
381
'A New Approach in Temporal Representation of Belief
for Autonomous Observation and Surveillance Systems'
Patrick J.
Fabiani
391
'Mereotopological Construction of Time from Events'
Fabio
Pianesi,
Achille
С.
Vani
396
'Reasoning about Action and Change Using Occlusion'
Patrick Doherty
401
'Concept Logics with Function Symbols'
Hans-Jürgen Bürckert, Bernhard Hollunder,
Armin Laux 406
'Concept Language with Number Restrictions and
Fixpoints,
and its Relationship with Mu-calculus'
Giuseppe
De Giacomo, Maurizio
Lenzerini 411
'Domain-Specific Complexity Tradeoffs'
Bart
Selmán
416
Machine Learning
The Inductive Inference of Cyclic Synchronized
Interleaving' Brian J. Ross
423
'A Context-Sensitive Discretization of Numeric
Attributes for Classification Learning'
Changhwan Lee, Dong-GukShin
428
'Exploiting Causal Domain Knowledge for Learning to
Control Dynamic Systems'
Achim
G.
Hoffmann
433
'Learning in Classifier Systems is Hard'
Uwe Hartmann 438
'Learning by Refining Algorithm Sketches'
Pavel
Brázdil,
Alìpio
Jorge
443
'Iterative Model Construction with Regression.'
Marjorie Moulet
448
Top-Down Pruning in Relational Learning'
Johannes
Fürnkranz
453
'Improvement of the Exploration of the Search Space of a
Тор
-Down
Algorithm
:
Theoretical and Experimental
Results' Pierre
Brézellec,
Henry Soldano
458
'The Need for Knowledge Acquisition in Case-Based
Reasoning
-
Some Experiences from an Architectural
Domain'
Angi
Voss 463
'Combining Robustness and Flexibility in Learning
Drifting Concepts' Gerhard Widmer
468
Index of Papers
xiii
Index of Papers
'Concept
Versioning:
A Methodology for Tracking
Evolutionary Concept Drift in Dynamic Concept
Systems' Manfred
Kienner, Udo Hahn 473
'Performance Evaluation of a Novel Fault Tolerance
Training Algorithm' Hamed Elsimary, Samia Mashali,
Ahmed Darwish, SamirShaheen
478
'Learning Disjunctive Concept Definitions Using a
Genetic Algorithm'
Attilio Giordana,
Lorenza Saina,
Floriano
Лпі
483
'DGA:
An Efficient Genetic Algorithm'
Philippe Collard, Jean-Philippe Aurand
487
'A Framework to Improve Knowledge Acquisition based
on Machine Learning' Andre
Le
Grand,
Jean Sallantin
493
'Reconstructing Human Skill with Machine Learning'
Tanja
Urbanei
č,
IvanBratko
498
'Using Models of Problem Solving as Bias in
Automated Knowledge Acquisition'
Herman J. H. van Dompseler,
Maarten W.
van
Someren
503
'Operationalizing Conceptual Models Based on a
Model of Dependencies' Frank
Maurer,
Jürgen Paulokat 508
Natural Language
'Being Concise versus Being Shallow: Two Competing
Discourse Planning Paradigms'
Ingrid
Zukerman,
Richard McConachy
515
'How to Avoid Explaining Obvious Things (Without
Omitting Central Information)' Helmut
Horaček
520
'Forward Inferences in Text Generation'
Stephan Mehl
525
'Generating Examples For Use in Tutorial Explanations:
Using a Subsumption Based Classifier' Vibhu O. Mittal,
Cecile L
Paris
530
The Automated Evaluation of Inferred Word
Classifications' John Hughes, Eric Atwell
535
Towards an Electronic Dictionary'
Graham
Allport
540
'Interpreting Common Words in Context: a Symbolic
Approach'
Violaine
Prince
545
'Intrinsic Error Estimation for Corpus-Trained
Probabilistic Language Models'
Uwe Jost,
Eric Atwell
550
'Encoding Syntactical Trees with Labelling Recursive
Auto-Associative Memory' Vincent Cadoret
555
'Parsing of Spoken Language under Time Constraints'
Wolfgang
Menzel 560
'Hypothetical Reasoning for Automatic Recognition of
Continuous Speech'
Sylvie Coste-Marquis
565
Philosophical Foundations
'A New Formal Model of Belief Daniel Mack
573
'Exploration in Design Space' Aaron Sloman
578
Planning, Scheduling and Reasoning
about Actions
'A Decomposition Heuristic for Resource Allocation'
Berthe
Y. Choueiry,
Boi
Faltings
585
'A Promising Hybrid GA/Heuristic Approach for Open-
Shop Scheduling Problems' Hsiao-Lan Fang,
Peter Ross, Dave
Corne
590
'Inference and Optimization Methods for
Manufacturing Process Planning'
Andrås Markus,
JózsefVáncza
595
'An Efficient Data Structure for Bidirectional Heuristic
Search'
Jürgen Eckerle,
Thomas
Ottmann 600
'Correct Modification of Complex Plans'
Jana Koehler 605
'An Adaptive Deductive Planning System'
Dietmar Dengler 610
'Executing Parallel Plans Faster by Adding Actions'
Christer Bäckström
615
'Integrating Probabilistic Reasoning into Plan
Recognition'
Mathias
Bauer
620
'Hybrid Temporal Reasoning'
Juergen Dorn 625
'Combining Constraint Network and Causal Theory to
Solve Scheduling Problems from a CSP Perspective'
Robert
Rodo
sek
630
'Constraint Satisfaction for Multiple Capacitated Job
Shop Scheduling' W.P.M. Nuijten, E.H.L
Aarts
635
Index of Papers
Index of Papers
'Job Cost and Constraint Relaxation for Scheduling
Problem Solving in the CLP Paradigm' Peng Ye,
Derrick Glass, Michael McTear,
Jahn G.
Hughes
640
Reasoning about Physical Systems
'The Use of Model-Based Diagnosis in Redesign'
R.R.
Bakker, S.J.M,
van Eldonk, P.M. Wognum,
N.J.I. Mars
647
'Using Domain Knowledge to Select Solutions in
Abductive Diagnosis' Frank van
Harmelen,
Annette ten Teije
652
'Computing Minimal Diagnoses with Critical Set
Algorithms' IgorMozetic
657
'Model-Based Control' Eric Sauthier,
Boi
Faltings
662
'Harnessing the Power of Temporal Abstractions in
Model-Based Diagnosis of Dynamic Systems'
Wolfgang Nejdl,
Johann
Gamper
667
'Simulating Physical Systems with Relative Descriptions
of Parameters' Michael
Neitzke, Bernd
Neumann
672
'Model-Based Diagnosis with the Default-Based
Diagnosis Engine: Effective Control Strategies that
Work in Practice'
Oskar Dressler,
Peter Struss
677
'Integrating Qualitative Reasoning for Numerical Data
Fusion Tasks' Yang
Gao,
Hugh F. Durrant-Whyte
682
Robotics
'Performance Assessment of Cognitive Systems; Case of
Elementary Mobile Robots' Jean-Daniel Dessimoz,
Giovanni
Mele
689
'The Interaction of Congenial Autonomous Robots'
Jacques
Penders,
Lyuba Alboul,
Peter
Braspenning
694
'The Stream Field Method Applied to Mobile Robot
Navigation: a Topological Perspective'
Didier Keymeulen,
Jo Decuyper
'Neural Fuzzy Controller In Behavior-Oriented
Architectures'
Steffen
Förster
699
704
'Modelling Interacting Agents in Dynamic Environments'
Jörg
P.
Müller, Markus
Pischel 709
'Equilibrium Analysis of Behavior Systems'
Luc Steels 714
'DICK: Distributed Inference on Compiled Knowledge
Index of Papers
for Real Time Distributed Systems' Eric Dekneuvel,
Malik Ghallab,
Hervé
Philippe
719
Standards
'A Constructivist View on Knowledge Engineering'
Walter van
de Velde
727
'FRAMER: A Persistent Portable Representation Library'
Kenneth B. Haase
732
Verification, Validation, and Testing of KB
'Knowledge Formal Specifications for Formal
Verification
:
a Proposal Based on the Integration of
Different Logical Formalisms'
Marie-Christine Rousset
739
'A Logical Foundation for Verification'
Jan Treur,
Mark
Willems 745
'Qualitative
Algorithmes
Using Order of Growth
Reasoning'
Antoine Missier,
Spyros Xanthakis, Louise
Travé-Massuyés
750
Vision and Signal Understanding
'Categorical Tools for Artificial Perception'
Zippora Arzi-Gonczarowski, Daniel
Lehmann
757
'A New Approach to Shading Flow Analysis and Surface
Recovery from Images' Franco
Collari,
Piero Storniolo
762
'Multispecialist System for
3D
Scene Analysis'
Fadi Sandakly, Gerard Giraudon
1Ы
'Towards an Axiomatic Theory of Artificial Perception'
Andranik
Tangían
772
Panels
'Computers and Creative Thought'
Ernest Edmonds
et al.
779
'Knowledge Management' Jos Schreinemakers
et ai
785
'The Future of
AI
Funding' Robert Milne
Jean-Paul Barthes et al.
Invited Surveys
'Active Vision
-
A Survey'
Henrik Christensen,
Erik Granum
789
793
Index of Papers
'AI
and
А
-Life: Never Mind The Blocksworld'
Dave Cliff
799
'Current and Future Trends for Community Research and
Development in Artificial Intelligence'
Dr. Patrick
Corsi
805
Theoretical Planning and its Contributions to Practical
and Applied Planning' (Extended Abstract)
Joachim Hertzberg 811
'Learning and Intelligent Agents' (Abstract)
Leslie Pack Kaelbling
813
'Neural Learning for Robot Control'
Carme
Torras
814
Invited Speakers
'Interaction and Collaboration in Multi-agent Systems'
(Extended Abstract) Sarit
Kraus 823
'Causation, Action and Counterfactuals' (Extended
Abstract)
Judea
Pearl
826
'Computational Models of
Multimodal
Communication'
Wolfgang Wahlster
829
Index of Papers
xvi
Index of Papers |
| any_adam_object | 1 |
| author_corporate | ECAI Amsterdam |
| author_corporate_role | aut |
| author_facet | ECAI Amsterdam |
| author_sort | ECAI Amsterdam |
| building | Verbundindex |
| bvnumber | BV009820321 |
| classification_rvk | SS 1994 |
| classification_tum | DAT 700f |
| ctrlnum | (OCoLC)635647724 (DE-599)BVBBV009820321 |
| 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 c 4500</leader><controlfield tag="001">BV009820321</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951004</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940927s1994 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0471950696</subfield><subfield code="9">0-471-95069-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)635647724</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009820321</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 700f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">ECAI</subfield><subfield code="n">11</subfield><subfield code="d">1994</subfield><subfield code="c">Amsterdam</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1600242-8</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">ECAI 94</subfield><subfield code="b">11th European Conference on Artificial Intelligence, August 8 - 12, 1994, Amsterdam, The Netherlands ; proceedings</subfield><subfield code="c">ed. by A. G. Cohn. Organised by the European Committee for Artificial Intelligence (ECCAI)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Chichester u.a.</subfield><subfield code="b">Wiley</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 832 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="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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1994</subfield><subfield code="z">Amsterdam</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="700" ind1="1" ind2=" "><subfield code="a">Cohn, Anthony</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">European Coordinating Committee for Artificial Intelligence</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)307541-2</subfield><subfield code="4">oth</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=006501463&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-006501463</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Amsterdam gnd-content |
| genre_facet | Konferenzschrift 1994 Amsterdam |
| id | DE-604.BV009820321 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:08:38Z |
| institution | BVB |
| institution_GND | (DE-588)1600242-8 (DE-588)307541-2 |
| isbn | 0471950696 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006501463 |
| oclc_num | 635647724 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-20 DE-12 DE-384 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-20 DE-12 DE-384 |
| physical | XVI, 832 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Wiley |
| record_format | marc |
| spelling | ECAI 11 1994 Amsterdam Verfasser (DE-588)1600242-8 aut ECAI 94 11th European Conference on Artificial Intelligence, August 8 - 12, 1994, Amsterdam, The Netherlands ; proceedings ed. by A. G. Cohn. Organised by the European Committee for Artificial Intelligence (ECCAI) Chichester u.a. Wiley 1994 XVI, 832 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Amsterdam gnd-content Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Cohn, Anthony Sonstige oth European Coordinating Committee for Artificial Intelligence Sonstige (DE-588)307541-2 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006501463&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | ECAI 94 11th European Conference on Artificial Intelligence, August 8 - 12, 1994, Amsterdam, The Netherlands ; proceedings Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)1071861417 |
| title | ECAI 94 11th European Conference on Artificial Intelligence, August 8 - 12, 1994, Amsterdam, The Netherlands ; proceedings |
| title_auth | ECAI 94 11th European Conference on Artificial Intelligence, August 8 - 12, 1994, Amsterdam, The Netherlands ; proceedings |
| title_exact_search | ECAI 94 11th European Conference on Artificial Intelligence, August 8 - 12, 1994, Amsterdam, The Netherlands ; proceedings |
| title_full | ECAI 94 11th European Conference on Artificial Intelligence, August 8 - 12, 1994, Amsterdam, The Netherlands ; proceedings ed. by A. G. Cohn. Organised by the European Committee for Artificial Intelligence (ECCAI) |
| title_fullStr | ECAI 94 11th European Conference on Artificial Intelligence, August 8 - 12, 1994, Amsterdam, The Netherlands ; proceedings ed. by A. G. Cohn. Organised by the European Committee for Artificial Intelligence (ECCAI) |
| title_full_unstemmed | ECAI 94 11th European Conference on Artificial Intelligence, August 8 - 12, 1994, Amsterdam, The Netherlands ; proceedings ed. by A. G. Cohn. Organised by the European Committee for Artificial Intelligence (ECCAI) |
| title_short | ECAI 94 |
| title_sort | ecai 94 11th european conference on artificial intelligence august 8 12 1994 amsterdam the netherlands proceedings |
| title_sub | 11th European Conference on Artificial Intelligence, August 8 - 12, 1994, Amsterdam, The Netherlands ; proceedings |
| topic | Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Künstliche Intelligenz Konferenzschrift 1994 Amsterdam |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006501463&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT ecaiamsterdam ecai9411theuropeanconferenceonartificialintelligenceaugust8121994amsterdamthenetherlandsproceedings AT cohnanthony ecai9411theuropeanconferenceonartificialintelligenceaugust8121994amsterdamthenetherlandsproceedings AT europeancoordinatingcommitteeforartificialintelligence ecai9411theuropeanconferenceonartificialintelligenceaugust8121994amsterdamthenetherlandsproceedings |