Proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Chichester u.a.
Wiley
1992
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV007732570 | ||
| 003 | DE-604 | ||
| 005 | 20220317 | ||
| 007 | t| | ||
| 008 | 930609s1992 xx d||| |||| 10||| eng d | ||
| 020 | |a 0471936081 |9 0-471-93608-1 | ||
| 035 | |a (OCoLC)165516897 | ||
| 035 | |a (DE-599)BVBBV007732570 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-12 |a DE-739 |a DE-20 |a DE-634 |a DE-83 | ||
| 082 | 0 | |a 006.3 | |
| 084 | |a DAT 700f |2 stub | ||
| 111 | 2 | |a ECAI |n 10 |d 1992 |c Wien |j Verfasser |0 (DE-588)3015546-0 |4 aut | |
| 245 | 1 | 0 | |a Proceedings |c ECAI 92, 10th European Conference on Artificial Intelligence, August 3 - 7, 1992, Vienna, Austria ; ed. by Bernd Neumann ... |
| 264 | 1 | |a Chichester u.a. |b Wiley |c 1992 | |
| 300 | |a XVIII, 876 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-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 Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Neumann, Bernd |d 1943- |e Sonstige |0 (DE-588)12979225X |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=005082579&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005082579 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 700f 2001 B 1174 |
|---|---|
| DE-BY-TUM_katkey | 593470 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010021753 |
| _version_ | 1822408427989630976 |
| adam_text |
Index
of Papers
Automated Reasoning
Search
S. Russell
1
Efficient Memory-Bounded Search Methods
A. Bramanti-Gregor, H.W. Davis, and F.G.
6
Ganschow
Strengthening Heuristics for Lower Cost Opti¬
mal and Near Optimal Solutions in A
*
Search
R. Ramaswamy and A.K. Sen
11
Single Machine Scheduling as a Graph Search
Problem with Path-Dependent Arc Costs
A.L.
Köll
and H. Kaindl
16
A New Approach to Dynamic Weighting
Constraint Satisfaction
A. San Miguel Aguirre
18
Symmetries and the Cardinality Operator
C. Bessiere
23
Arc-Consistency for Non-Binary Dynamic
CSPs
B.W.
Benson jr. and E.C. Freuder
28
Interchangeability Preprocessing Can Improve
Forward Checking Search
P.A.
Geelen
31
Dual Viewpoint Heuristics for Binary Con¬
straint Satisfaction Problems
B.M. Smith
36
How to Solve the Zebra Problem, or Path Con¬
sistency the Easy Way
Possibilistic Reasoning
D.
Dubois,
J.
Lang, and
H.
Prade
38
Dealing with Multi-Source Information in Pos¬
sibilistic Logic
C.J. Liau and
B. I-Peng
Lin
43
Quantitative Modal Logic and Possibilistic Rea¬
soning
S. Parsons
48
Qualitative Belief Networks
C.-H. Tzeng
51
Plausible Reasoning in Bayesian Networks
Z. Luo
53
Probabilistic Reasoning in Mixed Models Using
Bayesian Belief Networks And its Application
Theorem Proving
D. Barker-Plummer and S.C. Bailin
55
Graphical Theorem Proving: An Approach to
Reasoning with the Help of Diagrams
J.
Würtz 60
Unifying Cycles
D. Hutter
65
Adapting a Resolution Calculus for Inductive
Proofs
U. Egly
70
A Simple Proof for the Pigeonhole Formulae
Proof Plans, Program Synthesis
I. Frank, D. Basin, and
A. Bundy
72
An Adaptation of Proof-Planning to Declarer
Play in Bridge
F.
Giunchiglia
and T. Walsh
77
Tree Subsumption: Reasoning with Outlines
E. Kounalis
82
A Simplification-Based Approach to Program
Synthesis
M. Franová
and Y. Kodratoff
87
Predicate Synthesis from Formal Specifications
Logic Programming
N.
Leone and P.
Rullo
92
Stable Model Semantics and its Computation
for Ordered Logic Programs
J. Chen
97
A Refined Semantics for Disjunctive Logic Pro¬
grams
L.M.
Pereira
and J.J.
Alferes
102
Well Founded Semantics for Logic Programs
with Explicit Negation
V. Kuznetsov
107
Negation as Exception
P. Hill
109
Data Structures and Typed Logic Programs
A. Brogi, E. Lamma, and P.
Mello
114
ATMS for Implementing Logic Programming
E. Lamma and P.
Mello
119
An Assumption-Based Truth Maintenance Sys-
ttm Dealing with Non-Ground Justifications
H.
Нага
124
Solving the Large-Scale
0-1
Integer Program¬
ming Problem Using an Assumption-Based
Method
Reasoning Methods
N.
Iwayama, K. Satoh, and J. Arima
129
A Formalization of Generalization-Based Anal¬
ogy in General Logic Programs
R. Demolombe
134
A Strategy for the Computation of Conditional
Answers
Y. Huang and A.E. Adam
139
A Relevancy Knowledge Model of Analogical
Reasoning
J. Puyol-Gruart, L.
Godo,
and
С
Sierra
144
A Specialisation Calculus to Improve Expert
Systems Communication
Abduction
E. Maim
149
.Abduction and Constraint Logic Programming
T.
Hoppe 154
On the Relationship between Partial Deduction
and Abductive Reasoning
A. Waern
159
Reactive Abduction
Cognitive Modeling
A. Camuiri, C.
Innocenti,
M. Frixione,
and
164
R.
Zacearía
A Model of Representation and Communication
of Music and Multimedia Knowledge
A.S. Tanguiane
169
Artificial Perception and Music Recognition: A
Heuristic Approach
T. Veale and M.T.
Keane 174
Conceptual Scaffolding: Using Metaphors to
Build Knowledge Structures
S. Sitter and E. Maier
179
Rhetorical Relations in a Model of Information-
Seeking Dialogues
A. Quilici
181
Recognizing and Revising Unconvincing Expla¬
nations
Connectionist and PDP Models for
AI
Connectionist Architectures
С
Jacquemin
183
Activation Diffusion: a Connectionist Network
for Robust Parsing
S. Wermter
188
A Hybrid and Connectionist Architecture for a
Scanning Understanding
V. Kurkova
193
Universal Approximation Using Feedforward
Neural Networks with Gaussian Bar Units
A.B.
Bulsari and
H. Saxén
198
A Partially Recurrent Connectionist Model
Neural Networks and Applications
G. Dorffner and M. Rotter
203
On the Virtues of Functional Connectionist
Compositionality
J. Diederich,
A. Thümmel,
and E.
Bartels 206
Recurrent and Feedforward Networks for
Human-Computer Interaction
A. Ultsch
208
Knowledge Acquisition with Self-Organising
Neural Networks
S. Margarita
211
Genetic Neural Networks for Financial Mar¬
kets: Some Results
A.J. Pinz and H.
Bischof 214
Neural Network "Surgery": Transplantation of
Hidden Units
P.
Ferrara,
A. Ferscha, and G.
Haring
216
A Collision Avoiding Six Legged Walking Ma¬
chine Based on Kohonen Feature Maps
Distributed
AI
and Multiagent
Systems
G. Tidhar and J.S.
Rosenschein 219
A Contract Net with Consultants: An Alterna¬
tive Architecture and Experimental Results
N.R. Jennings
224
Towards a Cooperation Knowledge Level For
Collaborative Problem Solving
E. Ephrati and J.S.
Rosenschein 229
Reaching Agreement through Partial Revelation
of Preferences
M. Woold ridge and M. Fisher
234
A First-Order Branching Time Logic of Multi-
Agent System
T. Bouron and A.
Collinot
239
SAM: A Model to Design Complex Computa¬
tional Social Agents
B. Lemaire
244
Hypothetical Reasoning within the Blackboard
Model for Constructing Explanations
Index of Papers
xiii
Α.
Cawsey, J.R. Galliërs,
S. Reece, and K.
249
Sparck-Jones
A
Comparison of Architectures for Autonomous
Multi-Agent
Communication
К.
Ghedira and G. Vertfaillie
252
A
Multi-Agent Model for the Resource Alloca¬
tion Problem: A Reactive Approach
J.-C.
Le
Mentec and S. Brunessaux
255
Improving Reactivity in a Blackboard Architec¬
ture with Parallelism and Interruptions
Enabling Technology and Systems
Z. Wu, T. Huang, J. Ying, and Z. He
257
A Summary of Coupled Expert Systems Build¬
ing Toolkit
ZIPE
P. Lalanda, F. Chaipillet, and J.-P.
Haton
262
A Real Time Blackboard Based Architecture
E.
Bahr, F.
Barachini, and H. Mistelberger
267
On Efficient Load Balancing for Parallel Exe¬
cution of Production Systems
I. van
Langeveide,
A. Philipsen,
and J.
Treur
272
Formal Specification of Compositional Architec¬
tures
Integrated Systems
N.
Kehrer and G. Neumann
277
Business Event Oriented Information Systems
Based on
Meta
Programming
B. Logan, D. Come, and
T. Smithers
282
The Edinburgh Designer System: An Architec¬
ture for Solving
ΠΙ-
Structured Problems
N.K. Kasabov and S.H. Petkov
287
Neural Networks and Logic Programming
-
a
Hybrid Model and its Applicability to Building
Expert Systems
Knowledge Representation
Nonmonotonic Reasoning
J.
Dix
289
Default Theories of Poole-Type and a Method
for Constructing Cumulative Versions of De¬
fault Logic
P. Doherty and VV. Lukaszewicz
294
F0NML3
-
A First-Order Non-monotonic Logic
with Explicit Defaults
Y. Hua
Tan and J.
Treur
299
Constructive Default Logic and the Control of
Defeasible Reasoning
xiv
Index of Papers
T. Schaub
304
On Constrained Default Theories
D. Pearce
309
Default Logic and Constructive Logic
L.
Fariñas
del
Cerro, A.
Herzig,
and J. Lang
314
From Ordering-Based Nonmonotonic Reasoning
to Conditional Logics
M. Cadoli and M. Schaerf
319
Approximate Inference in Default Logic and
Circumscription
W. Wobcke
324
On the Use of
Epistemic
Entrenchment in Non¬
monotonic Reasoning
Y. Moinard
329
Circumscriptions as Preferential Entailment
I.N.F.
Niemelä
334
A Unifying Framework for Nonmonotonic
Reasoning
O. Papini
339
A Complete Revision Function in Prepositional
Calculus
W. Zadrozny
344
Explanations at the Knowledge Level
Formal Methods, Complexity
C. Bäckström
and B.
Nebel 349
On the Computational Complexity of Planning
and Story Understanding
M. Dalai
354
Tractable Instances of Some Hard Deduction
Problems
H. Kautz and B.
Selmán
359
Planning as Satisfiability
M.P. Singh
364
A Critical Examination of the Cohen-Levesque
Theory of Intentions
Foundations of Temporal Reasoning
L. Console, L.
Portinale,
D.
Theseider
Dupré,
369
and P. Torasso
Diagnostic Reasoning Across Different Time
Points
A. Porto and C.
Ribeiro
374
Temporal Inference with a Point Based Interval
Algebra
A. Weigel and R.
Bleisinger 379
Support for Resolving Contradictions in Time
Interval Networks
M. Denecker, L. Missiaen, and M.
384
Bruynooghe
Temporal Reasoning with Abductive Event
Calculus
Foundations of Spatial Reasoning
Learning Strategies
L. Latecki and S. Pribbenow
389
On Hybrid Reasoning for Processing Spatial Ex¬
pressions
D.A. Randell, Z.
Cui,
and A.G. Cohn
394
An Interval Logic for Space Based on "Connec¬
tion"
J.-P.
Mohren
and J.
Müller 399
A Geometrical Approach to Depictional Repre¬
sentation of Spatial Relations
Foundations of Reasoning about Actions
P. Peppas and W. Wobcke
403
On the Use of
Epistemic
Entrenchment in Rea¬
soning about Action
N.J.
Davies
408
A First Order Theory of Knowledge, Belief and
Action
C. Froidevaux
413
Default Logic for Action Rule-Based Systems
A. Camurri, G. Vercelli, and R.
Zacearía
418
Real Time Knowledge Representation and Rea¬
soning About Real Tasks
Terminological Knowledge
C.
Kindermann 420
Retraction in Terminological Knowledge Bases
A. Napoli
425
Subsumption and Classification-Based Reason¬
ing in Object-Based Representations
Machine Learning
Inductive Learning
G.
Weiß 430
Learning the Goal Relevance of Actions in Clas¬
sifier Systems
O. Gascuel and G. Caraux
435
Statistical Significance in Inductive Learning
A. Karalic
440
Employing Linear Regression in Regression Tree
Leaves
G.
Kalkanis
and G.V. Conroy
442
Inductive Learning of Effective and Efficient
Classification Rules
M. Kovacic,
N.
Lavrac, M. Grobelnik, D.
444
Zupanic, and D. Mladenic
Stochastic Search in Inductive Logic Program-
ming
P. Marquis
446
Building up Inductive Generalizations from
Facts
M.
Botta, A. Giordana,
and L. Saitta
451
Comparison of Search Strategies in Learning
Relations
H.
Ade,
L.
De Raedt, and
M. Bruynooghe
456
Inverse
Resolution in an Integrated Inductive-
Deductive Learning System
Concept Formation
G. Bisson
458
Conceptual Clustering in a First Order Logic
Representation
G. Widmer and M. Kubat
463
Learning Flexible Concepts from Streams of Ex¬
amples: FLORAS
Y.
Saito,
S.
Tojo,
and
S. Komiya
468
Intuitive Classification Based on Affinity
C. Carpineto
471
Shift of Bias without Operators
Generalisation and Refinement
474
C. Nedellec
How to Specialize by Theory Refinement
M. Sebag and M. Schoenauer
479
Learning to Control Inconsistent Knowledge
P.D.
Scott and K.H. Sage
484
Why Generalize? Hybrid Representations and
Instance-Based Learning
A. Samuel and F. Raynaut
487
Oriented Shift of Representational Bias for
Elementary Patterns
Natural Language
Natural Language Generation
F. Cerbah
490
Generating Causal Explanations: From Quali¬
tative Models to Natural Language Texts
L. Wanner
495
Lexical Choice and the Organization of Lexical
Resources in Text Generation
H.
Horaček
500
Explanations for Constraint Systems
W. Finkler and A.
Schauder 505
Effects of Incremental Output on Incremental
Natural Language Generation
Index of Papers x>
Parsing
M.
Crocker and I. Lewin
508
Parsing as Deduction: Rules versus Principles
H. Haugeneder
513
A Computational Model for Processing Coordi¬
nate Structures: Parsing Coordination without
Grammatical Specification
J.-M. Grandchamp and S. Letellier
518
Predictions in Deterministic Parsing: a Frame¬
work for Lexical Correction
K. Nagao
523
A Preferential Constraint Satisfaction Tech¬
nique for Natural Language Analysis
Logic-Oriented Descriptions
M. Singh and M.P. Singh
528
Computing the Temporal Structure of Events in
Natural Language
S.
Lorenz 533
Presupposition, Anaphora, and Reasoning about
Change
B. Keller
538
A Logic for Representing Grammatical Knowl¬
edge
J.J. Quantz
543
How to Fit Generalized Quantifiers into Termi¬
nological Logics
Speech Understanding, Miscellaneous
548
W. Heinz, J. Matiasek, H.
Trost,
and E.
Buchberger
Comparison in NLIs
-
Habitability and
Database Reality
A. Bonneau, F. Charpillet, S.
Coste, J.-P.
553
Haton,
Y.
Laprie, and P. Marquis
A Model for Hypothetical Reasoning Applied to
Speech Recognition
С. Рука
558
Management of Hypotheses in an Integrated
Speech-Language Architecture
T. Veale and P. Cunningham
561
Competitive Hypothesis Resolution in TWIG, a
Blackboard-Driven Text Understanding System
C. Gierl and D.P. Frost
564
Identification of Domain-Specific Terminology
by Combining Mutual Information and Lexical
Induction
Principles of
AI
Applications
Models for Problem Solving
A.
Voß,
W. Karbach,
C.-H.
Coulon, U.
567
Drouven,
and
В.
Bartsch-Spörl
Generic Specialists in Competent Behaviour
C. Duursma
572
Interpretation Models and Problem Solving
Methods
M. Reindere and B. Bredeweg
577
Reflective Strategic Control of Multiple Problem
Solving Methods
F. van
Harmelen
and J. Balder
582
(ML)2: A Formal Language
f
or
К
ADS Models
Software Design
B. Smyth and P. Cunningham
587
Déjà Vu: A
Hierarchical Case-Based Reasoning
System for Software Design
M. Brown
590
Incorporating Similarity Measures into Case
Retrieval Using Analogue Marker Passing
M.
Boriilo, A. Boriilo,
N.
Castell, D.
Latour, 593
Y. Toussaint,
and
M.F.
Verdejo
Applying Linguistic Engineering to Spatial Soft¬
ware Engineering: the Traceability Problem
X.
Atamán,
I.
Álarcon,
E. De
Pablo, and
J.L.
596
Zaccagnini
The Maquette-
Based Methodology Applied to
Real- Time Knowledge-Based Systems
P.
Rademakers
and R.
Pfeifer 601
The Role of Knowledge Level Models in Situated
Adaptive Design
Applications of Genetic Algorithms
B.
Filipie
603
Enhancing Genetic Search to Schedule a Pro¬
duction Unit
D. Dasgupta and D.R. McGregor
608
Engineering Optimizations Using the Structured
Genetic Algorithm
Philosophical Foundations
A.G. Hoffmann
610
Phenomenology, Representations and Complex¬
ity
G. Zaverucha
615
Logical Foundations of a Modal Defeasible
Relevant Logic of Belief
xvi
Index of Papers
E. Vinkhuyzen
620
On the
Non-
Existence of Knowledge Level Mod¬
els
J. Fox, P.
Krause,
and S. Ambler
623
Arguments, Contradicitions and Practical Rea¬
soning
Planning, Scheduling and Reasoning
about Actions
S. Biundo, D. Dengler, and J.
Köhler 628
Deductive Planning and Plan Reuse in a Com¬
mand Language Environment
S.J.S. Cranefield
633
A Logical Framework for Practical Planning
P.M. Berry
638
SCHEDULING: A Problem of Decision-Making
Under Uncertainty
P.
Traverso,
A. Cimatti, and L.
Spalazzi
643
Beyond the Single Planning Paradigm: Intro¬
spective Planning
K. Tadepalli and
N.
Parames
waran
648
Reason Maintenance Systems for Multiagent
Planning
G.
Kelleher
and A.G. Cohn
653
Automatically
Synthesising Domain Constraints from Opera¬
tor Descriptions
Robotics
Motion Planning
A.P. Del
Pobil
and M.A.
Serna
656
Solving the Find-Path Problem in
3D
by a Sim¬
ple Object Model
J. del R.
Millan
661
Building Reactive Path-Finders through Rein¬
forcement Connectionist Learning: Three Issues
and an Architecture
D. Kontoravdis,
A. Likas,
and A. Stafylopatis
666
Collision-Free Movement of an Autonomous
Vehicle Using Reinforcement Learning
J.M. Ahuactzin, E.-G. Talbi, P. Bessiere, and
671
E. Mazer
Using Genetic Algorithms for Robot Motion
Planning
Automatic Assembly
C. Ramos and E.
Oliveira
676
Planning, Execution and Sensor-Based Reac¬
tion for Assembly Robotic Tasks
L.M. Gambardella and M.
Наех
681
Grasp Planning for Automatic Assembly Tasks
Using Artificial Fields
Reasoning about Physical Systems
Qualitative Modeling
M. Neitzke
683
Modeling Physical Systems with Relative De¬
scriptions of Parameters
A.F. Toal
685
PQS: "I
dont
know" Is an Important Qualita¬
tive Statement
J. Primus and
B. Fal
tings
687
Domain Modeling for Monitoring Systems
A.E. Nicholson and J.M. Brady
689
The Data Association Problem when Monitor¬
ing Robot Vehicles Using Dynamic Belief Net¬
works
K. Bousson and
L. Travé-Massuyès
694
Formalizing Expertise Qualitative Operators
Diagnosis and Repair
699
704
709
J. Self
Cognitive Diagnosis for Tutoring Systems
P.
Pu
and Y. Huang
Crossroad Diagnosis
G. Friedrich, G.
Gottlob,
and
W.
Nejdi
Formalizing the Repair Process
Z.
Csáki
714
Identification as Learning in Reasoning about
Incomplete Knowledge of Physical Systems
Diagnosis
0. Dressier and P. Struss
719
Back to Defaults: Characterizing and Comput¬
ing Diagnoses as Coherent Assumption Sets
P. Besnard and M.-O. Cordier
724
Explanatory Diagnoses and their Computation
by Circumscription
1. Mozetic
729
A Polynomial -Time Algorithm for Model-Based
Diagnosis
R.R.
Bakker
and M. Bourseau
734
Pragmatic Reasoning in Model-Based Diagnosis
Dynamical Systems
J. Bradshavv and R.M. Young
739
Evaluating the Behaviour of the BAe
1Ą6
Hy¬
draulic System Using the Doris System
Index of Papers
xvii
Y
Uhida
744
A
Graphical Approach to Qualitative Reasoning
on Dynamic Systems
MR. Vetcovi ud J.-P
Roble·
749
Fuzzy Diagnosis of Continuous
Processei
B. Falling»,
D. H
»rood, and
1.
Smith
754
Dynamic Constraint Propagation with
Continuou»
Variable
t
User Interfaces
С
Conati
ud J.
Slack
759
Accessing Information through
Graphics
T.
Rist
aad
E.
André
764
From Presentation Tasks to Picture«: Toward*
a Computational Approach to Graphics Design
AS. Chakravarthy, K.B.
Наамг,
and
L M
769
Wei
timan
A
Uniform
Memory-Based Representation for
Visual Languages
S.
Oei,
R.
Smit,
J. Schreinemaker». L.
774
Marino·, and J.
Sirles
The Presentation Manager, A Method for Task-
Driven Concept Presentation
Vision and Signal Understanding
Scene Interpretation
E. Ardizzone, F.
Callan,
A. Chelia,
and S.
776
G
aglio
The Mapping Between
Geometrie
and Symbolic
Knowledge in Artificial Vision: A Connection-
is
t
Approach
S. Gong and H. Buxton
781
On the Visual Expectations of Moving Objects
R.J. Howarth and H. Buxton 7Hr>
Analogical Representation of Swlial Events for
Understanding Traffic Beliav
N.
Navab and Z. Zhang "'Hi
From
Multiple
Objects Motion Analysis To
Behavior-Based Object Recognition
Active Vision
E. Dekneuvel, M. Ghallab, and
J -P
Thibault
TT,
Hypotheses
Management
for Scent Interpreta¬
tion
m a
Multtsensory Perception Machine
Q.-T. Luong and
OD. Faiigera*
SOO
Active Head Movements Help Solve Stereo Cor¬
respondence
G.-J. diefing, H. JanBen, and H. Mallot
80Ì
Saccadtc Object Recognition with an Active Vi¬
sion System
Ρ
ReniagMino.
J
Kuiler
V,
Mal*·,
адеі
J
*««
Illingwurth
On
Computing the
S'rtt
1жА
c'a m
r
ro
ţ'ammr-
ter* in
Actie*
І'маоп
R
Milanese.
JM
Bo·!. *»d T
Pan
*u*
A Bottom-
ľp
Attention
System
for Aclitr \
i-
»ton
3D
Shape- and Seen«
Anály »I·
S Bobrer, M Branckmann, and VV «on
"11
Seelen
iiiiiaf
Obstacle Detection by a Geometrically
Simplified Optical flow Approach
VV B. Seale» and
ť R
Dyer
816
An Occlusion-Based Representation of Shape
for Viewpoint Recovery
L. Robert. R. Dericne,
aed
OD
Fänger
a·
8
.M
Dense Depth Recovery From Stereo Images
M.G.
Milanova,
I.A.
Aleksandrov,
and RK
8.Ч
Kn
oche*
Recovering and
CA D/CAM
Procesem»
of
Com¬
ptes Surfaces
H.
Ѕома
and R. Horami
826
Model Indexing Based on
о
Graph-Theoretic
Approach
Verification,
of Knowledge-.
JMion and Test
items
J.-P. Laurent *29
Proposal* for a \altil Terminology iri UBS Val¬
idation
A.I). Preere and
К
Shinglial
Я.15
Verifying h'notfledgr Bate» by Anomaly Detec¬
tion: An Experience Report
V Mewgucr
ñiü
Incremental
\erification of
Ruir-
Rated Frprrt
Syttem*
S
І.оімди
M
Ą
S
Refinement of hnowledi/e Rate» Bated on Con¬
sistency
Invited Papers
().
Stork
«M
A Third Mctdality of
Saturni
language*
P. Stru-v. Ht">
)
hnowledgr-ltucd
l)tagnn*is
-
An Important
('halhnge and 'louchttonr for
Al
SJ
RoMrn.orhrin
ЯТ'
Perception and Action in Autonomous System*
«viii
Index of Pipers |
| any_adam_object | 1 |
| author_GND | (DE-588)12979225X |
| author_corporate | ECAI Wien |
| author_corporate_role | aut |
| author_facet | ECAI Wien |
| author_sort | ECAI Wien |
| building | Verbundindex |
| bvnumber | BV007732570 |
| classification_rvk | SS 1992 |
| classification_tum | DAT 700f |
| ctrlnum | (OCoLC)165516897 (DE-599)BVBBV007732570 |
| 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 | 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">BV007732570</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220317</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930609s1992 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0471936081</subfield><subfield code="9">0-471-93608-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)165516897</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007732570</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-91G</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</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">10</subfield><subfield code="d">1992</subfield><subfield code="c">Wien</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)3015546-0</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings</subfield><subfield code="c">ECAI 92, 10th European Conference on Artificial Intelligence, August 3 - 7, 1992, Vienna, Austria ; ed. by Bernd Neumann ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Chichester u.a.</subfield><subfield code="b">Wiley</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 876 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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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)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">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">Neumann, Bernd</subfield><subfield code="d">1943-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)12979225X</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=005082579&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-005082579</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.BV007732570 |
| illustrated | Illustrated |
| indexdate | 2025-01-27T13:21:51Z |
| institution | BVB |
| institution_GND | (DE-588)3015546-0 |
| isbn | 0471936081 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005082579 |
| oclc_num | 165516897 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-12 DE-739 DE-20 DE-634 DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-12 DE-739 DE-20 DE-634 DE-83 |
| physical | XVIII, 876 S. graph. Darst. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Wiley |
| record_format | marc |
| spelling | ECAI 10 1992 Wien Verfasser (DE-588)3015546-0 aut Proceedings ECAI 92, 10th European Conference on Artificial Intelligence, August 3 - 7, 1992, Vienna, Austria ; ed. by Bernd Neumann ... Chichester u.a. Wiley 1992 XVIII, 876 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift 1992 Wien gnd-content Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Neumann, Bernd 1943- Sonstige (DE-588)12979225X oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005082579&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4143413-4 (DE-588)1071861417 |
| title | Proceedings |
| title_auth | Proceedings |
| title_exact_search | Proceedings |
| title_full | Proceedings ECAI 92, 10th European Conference on Artificial Intelligence, August 3 - 7, 1992, Vienna, Austria ; ed. by Bernd Neumann ... |
| title_fullStr | Proceedings ECAI 92, 10th European Conference on Artificial Intelligence, August 3 - 7, 1992, Vienna, Austria ; ed. by Bernd Neumann ... |
| title_full_unstemmed | Proceedings ECAI 92, 10th European Conference on Artificial Intelligence, August 3 - 7, 1992, Vienna, Austria ; ed. by Bernd Neumann ... |
| title_short | Proceedings |
| title_sort | proceedings |
| topic | Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Künstliche Intelligenz Aufsatzsammlung Konferenzschrift 1992 Wien |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005082579&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT ecaiwien proceedings AT neumannbernd proceedings |