Progress in artificial intelligence: 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1995
|
| Schriftenreihe: | Lecture notes in computer science
990 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIV, 487 S. Ill., graph. Darst. |
| ISBN: | 3540604286 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010370925 | ||
| 003 | DE-604 | ||
| 005 | 19960108 | ||
| 007 | t| | ||
| 008 | 950828s1995 gw ad|| |||| 10||| eng d | ||
| 016 | 7 | |a 945315953 |2 DE-101 | |
| 020 | |a 3540604286 |9 3-540-60428-6 | ||
| 035 | |a (OCoLC)33427949 | ||
| 035 | |a (OCoLC)833200038 | ||
| 035 | |a (DE-599)BVBBV010370925 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-739 |a DE-384 |a DE-92 |a DE-20 |a DE-19 |a DE-634 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a Q334.P67 1995 | |
| 082 | 0 | |a 006.3 20 | |
| 082 | 0 | |a 006.3 |2 20 | |
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 084 | |a DAT 700f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Progress in artificial intelligence |b 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995 ; proceedings |c Carlos Pinto-Ferreira ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1995 | |
| 300 | |a XIV, 487 S. |b Ill., 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 990 : Lecture notes in artificial intelligence | |
| 650 | 4 | |a Intelligence artificielle - Congrès | |
| 650 | 7 | |a Intelligence artificielle - Congrès |2 ram | |
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 7 | |a algorithme génétique |2 inriac | |
| 650 | 7 | |a apprentissage machine |2 inriac | |
| 650 | 7 | |a commande |2 inriac | |
| 650 | 7 | |a croyance |2 inriac | |
| 650 | 7 | |a démonstration théorème |2 inriac | |
| 650 | 7 | |a intelligence artificielle répartie |2 inriac | |
| 650 | 7 | |a raisonnement automatique |2 inriac | |
| 650 | 7 | |a raisonnement base contrainte |2 inriac | |
| 650 | 7 | |a raisonnement non monotone |2 inriac | |
| 650 | 7 | |a raisonnement par cas |2 inriac | |
| 650 | 7 | |a raisonnement qualitatif |2 inriac | |
| 650 | 7 | |a robotique |2 inriac | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence -- Congresses | |
| 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 1995 |z Funchal |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 Pinto-Ferreira, Carlos |e Sonstige |4 oth | |
| 711 | 2 | |a EPIA |n 7 |d 1995 |c Funchal |j Sonstige |0 (DE-588)2149638-9 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 990 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 990 : 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=006904670&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006904670 | |
Datensatz im Suchindex
| _version_ | 1820874847445581824 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
AUTOMATED
REASONING
AND
THEOREM
PROVING
TERMINOLOGICAL
META-REASONING
BY
REIFICATION
AND
MULTIPLE
CONTEXTS
.
1
KLEMENS
SCHNATTINGER,
UDO
HAHN
AND
MANFRED
KLENNER
CLIF,
FREIBURG
UNIVERSITY,
GERMANY
A
NEW
CONTINUOUS
PROPOSITIONAL
LOGIC
.
17
RICCARDO
POLI,
MARK
RYAN
AND
AARON
SLOMAN
SCS,
THE
UNIVERSITY
OF
BIRMINGHAM,
UK
SUPER-POLYNOMIAL
SPEED-UPS
IN
PROOF
LENGTH
BY
NEW
TAUTOLOGIES
.
29
UWE
EGLY
FG
INTELLEKTIK,
TH
DARMSTADT,
GERMANY
BELIEF
REVISION
BELIEF
REVISION
IN
NON-MONOTONIC
REASONING
.
41
JOSE
ALFERES,
LUIS
MONIZ
PEREIRA
AND
T.
PRZYMUSINSKI
DM,
U.
EVORA,
AND
CRIA,
U.
NOVA
DE
LISBOA,
PORTUGAL,
AND
UNIVERSITY
OF
CALIFORNIA
AT
RIVERSIDE,
USA
A
NEW
REPRESENTATION
OF
JTMS
.
57
TRUONG
QUOC
DUNG
IRIDIA,
UNIVERSITE
LIBRE
DE
BRUXELLES,
BELGIUM
CONSTRAINT-BASED
REASONING
THE
RETRIEVAL
PROBLEM
IN
A
CONCEPT
LANGUAGE
WITH
NUMBER
RESTRICTIONS
.
69
AIDA
VITORIA,
MARGARIDA
MAMEDE
AND
LUIS
MONTEIRO
DI,
UNIVERSIDADE
NOVA
DE
LISBOA,
PORTUGAL
FORMALIZING
LOCAL
PROPAGATION
IN
CONSTRAINT
MAINTENANCE
SYSTEMS
.
83
GILLES
TROMBETTONI
INRIA-CERMICS,
FRANCE
X
A
DEPENDENCY
PARSER
OF
KOREAN
BASED
ON
CONNECTIONIST/SYMBOLIC
TECHNIQUES
.
95
JONG-HYEOK
LEE
AND
GEUNBAE
LEE
POHANG
UNIVERSITY
OF
SCIENCE
AND
TECHNOLOGY,
KOREA
A
SYMBIOTIC
APPROACH
TO
ARC
AND
PATH
CONSISTENCY
CHECKING
.
.107
PIERRE
BERLANDIER
INRIA-CERMICS,
FRANCE
DISTRIBUTED
ARTIFICIAL
INTELLIGENCE
WHERE
DO
INTENTIONS
COME
FROM?:
A
FRAMEWORK
FOR
GOALS
AND
INTENTIONS
ADOPTION,
DERIVATION
AND
EVOLUTION
.
115
GRA$A
GASPAR
AND
HELDER
COELHO
FACULDADE
DE
CIENCIAS
DE
LISBOA,
AND
INESC,
PORTUGAL
A
CLOSER
LOOK
TO
ARTIFICIAL
LEARNING
ENVIRONMENTS
.
129
HELDER
COELHO,
AUGUSTO
EUSEBIO
AND
ERNESTO
COSTA
INESC,
PORTUGAL,
AND
DEI,
UNIVERSIDADE
DE
COIMBRA,
PORTUGAL
BUILDING
MULTI-AGENT
SOCIETIES
FROM
DESCRIPTIONS
TO
SYSTEMS:
INTER-LAYER
TRANSLATIONS
.
143
HELDER
COELHO,
LUIS
ANTUNES
AND
LUIS
MONIZ
INESC,
PORTUGAL
GENETIC
ALGORITHMS
GA/TS:
A
HYBRID
APPROACH
FOR
JOB
SHOP
SCHEDULING
IN
A
PRODUCTION
SYSTEM
.
153
JOSE
RAMON
ZUBIZARRETA
AIZPURU
AND
JAVIER
ARRIETA
USUNARIZ
FACULTAD
DE
INFORMATICA
DE
SAN
SEBASTIAN,
SPAIN
MACHINE
LEARNING
A
CONTROLLED
EXPERIMENT:
EVOLUTION
FOR
LEARNING
DIFFICULT
IMAGE
CLASSIFICATION
.
165
ASTRO
TELLER
AND
MANUELA
VELOSO
CARNEGIE
MELLON
UNIVERSITY,
USA
MINIMAL
MODEL
COMPLEXITY
SEARCH
.
177
CHRIS
MCCONNELL
CMU
SCHOOL
OF
COMPUTER
SCIENCE,
USA
XI
CHARACTERIZATION
OF
CLASSIFICATION
ALGORITHMS
.
189
JOAO
GAMA
AND
PAVEL
BRAZDIL
LI
ACC,
UNIVERSIDADE
DO
PORTO,
PORTUGAL
NEURAL
NETWORKS
NEURONS,
GLIA
AND
THE
BORDERLINE
BETWEEN
SUBSYMBOLIC
AND
SYMBOLIC
PROCESSING
.
201
J.
G.
WALLACE,
K.
BLUFF
SWINBURNE
UNIVERSITY
OF
TECHNOLOGY,
AUSTRALIA
NON-MONOTONIC
REASONING
ARGUMENTS
AND
DEFEAT
IN
ARGUMENT-BASED
NONMONOTONIC
REASONING
.
213
BART
VERHEIJ
UNIVERSITY
OF
LIMBURG,
THE
NETHERLANDS
A
PREFERENCE
SEMANTICS
FOR
GROUND
NONMONOTONIC
MODAL
LOGICS
.
225
DANIELE
NARDI
AND
RICCARDO
ROSATI
DIS,
UNIVERSITA
DI
ROMA
"
LA
SAPIENZA
"
,
ITALY
LOGICAL
OMNISCIENCE
VS.
LOGICAL
IGNORANCE
ON
A
DILEMMA
OF
EPISTEMIC
LOGIC
.
237
HO
NGOC
DUC
ILPS,
UNIVERSITY
OF
LEIPZIG,
GERMANY
PLANNING
AND
CASE-BASED
REASONING
ON
THE
ROLE
OF
SPLITTING
AND
MERGING
PAST
CASES
FOR
GENERATION
OF
A
NEW
SOLUTION
.
249
CARLOS
BENTO,
PENOUSAL
MACHADO
AND
ERNESTO
COSTA
DEI,
UNIVERSIDADE
DE
COIMBRA,
PORTUGAL
THEOREM
PROVING
BY
ANALOGY
-
A
COMPELLING
EXAMPLE
.
261
ERICA
MELIS
DEPARTMENT
OF
AI,
UNIVERSITY
OF
EDIMBURGH,
SCOTLAND
NON-ATOMIC
ACTIONS
IN
THE
SITUATION
CALCULUS
.
273
JOSE
JULIO
ALFERES,
RENWEI
LI
AND
LUIS
MONIZ
PEREIRA
CRIA
AND
DCS,
UNIVERSIDADE
NOVA
DE
LISBOA,
PORTUGAL
XII
PLANNING
UNDER
UNCERTAINTY:
A
QUALITATIVE
APPROACH
.
285
NIKOS
I.
KARACAPILIDIS
FIT.KI,
GMD,
SANKT
AUGUSTIN,
GERMANY
QUALITATIVE
REASONING
QUALITATIVE
REASONING
UNDER
UNCERTAINTY
.
297
DANIEL
PACHOLCZYK
DMI,
U.F.R.,
SCIENCES
D
'
ANGERS,
FRANCE
SYSTEMATIC
CONSTRUCTION
OF
QUALITATIVE
PHYSICS-BASED
RULES
FOR
PROCESS
DIAGNOSTICS
.
311
JAQUES
REIFMAN
AND
THOMAS
Y.C.
WEI
ARGONNE
NATIONAL
LABORATORY,
USA
ROBOTICS
AND
CONTROL
INTEGRATED
PROCESS
SUPERVISION:
A
STRUCTURED
APPROACH
TO
EXPERT
CONTROL
.
323
CHAI
QUEK,
P.W.
NG,
M.
PASQUIER
NANYANG
TECHNOLOGICAL
UNIVERSITY,
SINGAPORE
USING
STOCHASTIC
GRAMMARS
TO
LEARN
ROBOTIC
TASKS
.
335
PEDRO
U.
LIMA
AND
GEORGE
N.
SARIDIS
ISR,
TECHNICAL
UNIV,
OF
LISBON,
PORTUGAL,
AND
RENSSELAER
POLYTECHNIC
INSTITUTE,
USA
THEORY
OF
COMPUTATION
CONSTRAINT
CATEGORIAL
GRAMMARS
.
347
LUIS
DAMAS
AND
NELMA
MOREIRA
LI
ACC,
UNIVERSIDADE
DO
PORTO,
PORTUGAL
A
NEW
TRANSLATION
ALGORITHM
FROM
LAMBDA
CALCULUS
INTO
COMBINATORY
LOGIC
.
359
SABINE
BRODA
AND
LUIS
DAMAS
LIACC,
UNIVERSIDADE
DO
PORTO,
PORTUGAL
XIII
TABLE
OF
CONTENTS
-
POSTERS
INTERLOCKING
MULTI-AGENT
AND
BLACKBOARD
ARCHITECTURES
.
371
BERNHARD
KIPPER
DCS,
UNIVERSITY
OF
SAARBRIICKEN,
GERMANY
A
MODEL
THEORY
FOR
PARACONSISTENT
LOGIC
PROGRAMMING
.
377
CARLOS
VIEGAS
DAMASIO
AND
LUIS
MONIZ
PEREIRA
CRIA,
AND
DCS,
UNIVERSIDADE
NOVA
DE
LISBOA,
PORTUGAL
PROMOTING
SOFTWARE
REUSE
THROUGH
EXPLICIT
KNOWLEDGE
REPRESENTATION
.
387
CARMEN
FERNANDEZ-CHAMIZO,
PEDRO
ANTONIO
GONZALEZ-CALERO
AND
MERCEDES
GOMEZ-ALBARRAN
UNIVERSIDAD
COMPLUTENSE
DE
MADRID,
SPAIN
EFFICIENT
LEARNING
IN
MULTI-LAYERED
PERCEPTRON
USING
THE
GROW-AND-LEARN
ALGORITHM
.
,.
.397
GILDAS
CHERRUEL,
BASSEL
SOLAIMAN
AND
YVON
AUTRET
UNIV,
DE
BRETAGNE
OCCIDENTALE,
AND
TNI,
AND
ENSTB,
FRANCE
AN
NON-DIFFIDENT
COMBINATORIAL
OPTIMIZATION
ALGORITHM
.
403
GILLES
TROMBETTONI,
BERTRAND
NEVEU,
PIERRE
BERLANDIER,
MARIA-CRISTINA
RIFF
AND
MOUHSSINE
BOUZOUBAA
INRIA-CERMICS,
FRANCE
MODELLING
DIAGNOSIS
SYSTEMS
WITH
LOGIC
PROGRAMMING
.
409
LARA
DE
ALMEIDA
MORA,
JOSE
JULIO
ALFERES
CRIA,
U.
NOVA
DE
LISBOA,
AND
DM,
U.
EVORA,
PORTUGAL
AGREEMENT:
A
LOGICAL
APPROACH
TO
APPROXIMATE
REASONING
.
419
LUIS
M.
M.
CUSTODIO
AND
CARLOS
A.
PINTO-FERREIRA
ISR,
TECHNICAL
UNIVERSITY
OF
LISBON,
PORTUGAL
CONSTRUCTING
EXTENSIONS
BY
RESOLVING
A
SYSTEM
OF
LINEAR
EQUATIONS
.
429
MESSAOUDI
NADIA
UNIVERSITE
AIX-MARSEILLE
II,
FRANCE
PRESENTING
SIGNIFICANT
INFORMATION
IN
EXPERT
SYSTEM
EXPLANATION
.
435
MICHAEL
WOLVERTON
DARESBURY
RUTHERFORD
APPLETON
LABORATORY,
UK
XIV
A
COGNITIVE
MODEL
OF
PROBLEM
SOLVING
WITH
INCOMPLETE
INFORMATION
.
441
NATHALIE
CHAIGNAUD
LIPN,
UNIVERSITE
PARIS-NORD,
FRANCE
FILTERING
SOFTWARE
SPECIFICATIONS
WRITTEN
IN
NATURAL
LANGUAGE
.
447
NURIA
CASTELL
AND
ANGELS
HERNANDEZ
UNIVERSITAT
POLITECNICA
DE
CATALUNYA,
SPAIN
PARSIMONIOUS
DIAGNOSIS
IN
SNEPS
.
457
PEDRO
A.
DE
MATOS
AND
JOAO
P.
MARTINS
DEM,
TECHNICAL
UNIVERSITY
OF
LISBON,
PORTUGAL
SYNTACTIC
AND
SEMANTIC
FILTERING
IN
A
CHART
PARSER
.
465
SAYAN
BHATTACHARYYA,
STEVEN
L.
LYTINEN
UNIVERSITY
OF
MICHIGAN,
AND
DEPAUL
UNIVERSITY,
USA
GA
APPROACH
TO
SOLVING
MULTIPLE
VEHICLE
ROUTING
PROBLEM
.
473
SLAVKO
KRAJCAR,
DAVOR
SKRLEC,
BRANKO
PRIBICEVIC
AND
SNJEZANA
BLAGAJAC
FACULTY
OF
ELECTRICAL
ENG.
AND
COMPUTING,
CROATIA
MULTILEVEL
REFINEMENT
PLANNING
IN
AN
INTERVAL-BASED
TEMPORAL
LOGIC
.
482
WERNER
STEPHAN
AND
SUSANNE
BIUNDO
GERMAN
RESEARCH
CENTER
FOR
AI,
GERMANY
YY |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010370925 |
| callnumber-first | Q - Science |
| callnumber-label | Q334 |
| callnumber-raw | Q334.P67 1995 |
| callnumber-search | Q334.P67 1995 |
| callnumber-sort | Q 3334 P67 41995 |
| callnumber-subject | Q - General Science |
| classification_rvk | ST 300 |
| classification_tum | DAT 700f |
| ctrlnum | (OCoLC)33427949 (OCoLC)833200038 (DE-599)BVBBV010370925 |
| dewey-full | 006.320 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 20 006.3 |
| dewey-search | 006.3 20 006.3 |
| dewey-sort | 16.3 220 |
| 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">BV010370925</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960108</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950828s1995 gw ad|| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">945315953</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540604286</subfield><subfield code="9">3-540-60428-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33427949</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)833200038</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010370925</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-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q334.P67 1995</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3 20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 700f</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">Progress in artificial intelligence</subfield><subfield code="b">7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995 ; proceedings</subfield><subfield code="c">Carlos Pinto-Ferreira ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 487 S.</subfield><subfield code="b">Ill., 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">990 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle - Congrès</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">Kunstmatige intelligentie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algorithme génétique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">apprentissage machine</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">commande</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">croyance</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">démonstration théorème</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">intelligence artificielle répartie</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement automatique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement base contrainte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement non monotone</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement par cas</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement qualitatif</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">robotique</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">Artificial intelligence -- 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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1995</subfield><subfield code="z">Funchal</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">Pinto-Ferreira, Carlos</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">EPIA</subfield><subfield code="n">7</subfield><subfield code="d">1995</subfield><subfield code="c">Funchal</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2149638-9</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">990 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">990 : 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=006904670&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-006904670</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Funchal gnd-content |
| genre_facet | Konferenzschrift 1995 Funchal |
| id | DE-604.BV010370925 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:15Z |
| institution | BVB |
| institution_GND | (DE-588)2149638-9 |
| isbn | 3540604286 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006904670 |
| oclc_num | 33427949 833200038 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-384 DE-92 DE-20 DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-384 DE-92 DE-20 DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188 DE-706 |
| physical | XIV, 487 S. Ill., graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Progress in artificial intelligence 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995 ; proceedings Carlos Pinto-Ferreira ... (eds.) Berlin [u.a.] Springer 1995 XIV, 487 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 990 : Lecture notes in artificial intelligence Intelligence artificielle - Congrès Intelligence artificielle - Congrès ram Kunstmatige intelligentie gtt algorithme génétique inriac apprentissage machine inriac commande inriac croyance inriac démonstration théorème inriac intelligence artificielle répartie inriac raisonnement automatique inriac raisonnement base contrainte inriac raisonnement non monotone inriac raisonnement par cas inriac raisonnement qualitatif inriac robotique inriac Künstliche Intelligenz Artificial intelligence -- Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Funchal gnd-content Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Pinto-Ferreira, Carlos Sonstige oth EPIA 7 1995 Funchal Sonstige (DE-588)2149638-9 oth Lecture notes in computer science 990 : Lecture notes in artificial intelligence (DE-604)BV000000607 990 : Lecture DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006904670&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Progress in artificial intelligence 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995 ; proceedings Lecture notes in computer science Intelligence artificielle - Congrès Intelligence artificielle - Congrès ram Kunstmatige intelligentie gtt algorithme génétique inriac apprentissage machine inriac commande inriac croyance inriac démonstration théorème inriac intelligence artificielle répartie inriac raisonnement automatique inriac raisonnement base contrainte inriac raisonnement non monotone inriac raisonnement par cas inriac raisonnement qualitatif inriac robotique inriac Künstliche Intelligenz Artificial intelligence -- Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)1071861417 |
| title | Progress in artificial intelligence 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995 ; proceedings |
| title_auth | Progress in artificial intelligence 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995 ; proceedings |
| title_exact_search | Progress in artificial intelligence 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995 ; proceedings |
| title_full | Progress in artificial intelligence 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995 ; proceedings Carlos Pinto-Ferreira ... (eds.) |
| title_fullStr | Progress in artificial intelligence 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995 ; proceedings Carlos Pinto-Ferreira ... (eds.) |
| title_full_unstemmed | Progress in artificial intelligence 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995 ; proceedings Carlos Pinto-Ferreira ... (eds.) |
| title_short | Progress in artificial intelligence |
| title_sort | progress in artificial intelligence 7th portuguese conference on artificial intelligence epia 95 funchal madeira island portugal october 3 6 1995 proceedings |
| title_sub | 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995 ; proceedings |
| topic | Intelligence artificielle - Congrès Intelligence artificielle - Congrès ram Kunstmatige intelligentie gtt algorithme génétique inriac apprentissage machine inriac commande inriac croyance inriac démonstration théorème inriac intelligence artificielle répartie inriac raisonnement automatique inriac raisonnement base contrainte inriac raisonnement non monotone inriac raisonnement par cas inriac raisonnement qualitatif inriac robotique inriac Künstliche Intelligenz Artificial intelligence -- Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Intelligence artificielle - Congrès Kunstmatige intelligentie algorithme génétique apprentissage machine commande croyance démonstration théorème intelligence artificielle répartie raisonnement automatique raisonnement base contrainte raisonnement non monotone raisonnement par cas raisonnement qualitatif robotique Künstliche Intelligenz Artificial intelligence -- Congresses Konferenzschrift 1995 Funchal |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006904670&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT pintoferreiracarlos progressinartificialintelligence7thportugueseconferenceonartificialintelligenceepia95funchalmadeiraislandportugaloctober361995proceedings AT epiafunchal progressinartificialintelligence7thportugueseconferenceonartificialintelligenceepia95funchalmadeiraislandportugaloctober361995proceedings |