Progress in artificial intelligence: 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6 - 9, 1997 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a.
Springer
1997
|
| Series: | Lecture notes in computer science
1323 : Lecture notes in artificial intelligence |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIV, 388 S. graph. Darst. |
| ISBN: | 3540635866 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011534268 | ||
| 003 | DE-604 | ||
| 005 | 19971013 | ||
| 007 | t| | ||
| 008 | 970908s1997 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 951354019 |2 DE-101 | |
| 020 | |a 3540635866 |9 3-540-63586-6 | ||
| 035 | |a (OCoLC)37625653 | ||
| 035 | |a (DE-599)BVBBV011534268 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-91G |a DE-739 |a DE-20 |a DE-19 |a DE-521 |a DE-83 |a DE-706 | ||
| 050 | 0 | |a Q334.P67 1997 | |
| 082 | 0 | |a 006.3/3 21 | |
| 082 | 0 | |a 006.3/3 |2 21 | |
| 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 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6 - 9, 1997 ; proceedings |c Ernesto Costa ... (eds.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a. |b Springer |c 1997 | |
| 300 | |a XIV, 388 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 1323 : Lecture notes in artificial intelligence | |
| 650 | 7 | |a EAO |2 inriac | |
| 650 | 7 | |a Inteligencia artificial (computacao) |2 larpcal | |
| 650 | 7 | |a Intelligence artificielle - Congrès |2 ram | |
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 7 | |a apprentissage machine |2 inriac | |
| 650 | 7 | |a démonstration théorème |2 inriac | |
| 650 | 7 | |a programmation sous contrainte |2 inriac | |
| 650 | 7 | |a raisonnement automatique |2 inriac | |
| 650 | 7 | |a raisonnement non monotone |2 inriac | |
| 650 | 7 | |a raisonnement par cas |2 inriac | |
| 650 | 7 | |a raisonnement temporel |2 inriac | |
| 650 | 7 | |a représentation connaissance |2 inriac | |
| 650 | 7 | |a résolution problème |2 inriac | |
| 650 | 7 | |a système multi-agent |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 1997 |z Coimbra |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 Costa, Ernesto |e Sonstige |4 oth | |
| 711 | 2 | |a EPIA |n 8 |d 1997 |c Coimbra |j Sonstige |0 (DE-588)2165533-9 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1323 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 1323 | |
| 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=007763507&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007763507 | |
Record in the Search Index
| _version_ | 1820874854977503232 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
AUTOMATED
REASONING
AND
THEOREM
PROVING
FLEXIBLE
PROOF-REPLAY
WITH
HEURISTICS
.
1
MARC
FUCHS
FAKULTAT
FIIR
INFORMATIK,
TU
MUNCHEN,
GERMANY
FLEXIBLE
RE-ENACTMENT
OF
PROOFS
.
13
MATTHIAS
FUCHS
FACHBEREICH
INFORMATIK,
UNIVERSITAT
KAISERSLAUTERN,
GERMANY
INFERENCE
RIGHTS
FOR
CONTROLLING
SEARCH
IN
GENERATING
THEOREM
PROVERS
.
25
DIRK
FUCHS
FACHBEREICH
INFORMATIK,
UNIVERSITAT
KAISERSLAUTERN,
GERMANY
CASE
BASED
REASONING
AND
MACHINE
LEARNING
A
RETRIEVAL
METHOD
FOR
EXPLORATION
OF
A
CASE
MEMORY
.
37
PAULO
GOMES
AND
CARLOS
BENTO
INSTITUTE
SUPERIOR
DE
ENGENHARIA
DE
COIMBRA,
PORTUGAL,
AND
CISUC,
UNIVERSIDADE
DE
COIMBRA,
PORTUGAL
INCREMENTAL
CONCEPT
EVOLUTION
BASED
ON
ADAPTIVE
FEATURE
WEIGHTING
.
49
UDO
HAHN
AND
MANFRED
KLENNER
TEXT
KNOWLEDGE
ENGINEERING
LAB.,
FREIBURG
UNIVERSITY,
GERMANY
CONSTRAINTS
A
0-1
QUADRATIC
KNAPSACK
PROBLEM
FOR
MODELIZING
AND
SOLVING
THE
CONSTRAINT
SATISFACTION
PROBLEMS
.
61
MOHAMED
ETTAOUIL
FACULTE
DES
SCIENCES
ET
TECHNIQUES
FBS-SAISS,
UNIVERSITE
SIDI
MOHAMMED
BEN
ABDELLAH,
MAROC
X
AN
ALGORITHM
FOR
SOLVING
SYSTEMS
OF
LINEAR
DIOPHANTINE
EQUATIONS
IN
NATURALS
.
73
ANA
PAULA
TOMAS
AND
MIGUEL
FILGUEIRAS
LIACC
&
DCC,
UNIVERSIDADE
DO
PORTO,
PORTUGAL
GENSAT:
A
NAVIGATIONAL
APPROACH
.
85
YURY
SMIRNOV
AND
MANUELA
M.
VELOSO
SCHOOL
OF
COMPUTER
SCIENCE,
CARNEGIE-MELLON
UNIVERSITY,
USA
TIMETABLING
USING
DEMAND
PROFILES
.
97
PEDRO
SOARES
AND
NUNO
J.
MAMEDE
INSTITUTE
SUPERIOR
TECNICO/INESC,
PORTUGAL
INTELLIGENT
TUTORING
SYSTEMS
AND
TRAINING
INTELLIGENT
VR
TRAINING
.
ILL
LU
RUQIAN,
HAN
KE,
MA
YINGHAO,
ZHANG
WEYAN
AND
WANG
WENBIAO
INSTITUTE
OF
MATHEMATYCS,
ACADEMIA
SINICA,
AND
SCHOOL
OF
STOMATOLOGY,
BEJING
MEDICAL
UNIVERSITY,
CHINA
TRAINING
STRATEGIES
AND
KNOWLEDGE
ACQUISITION:
USING
THE
SAME
REFLECTIVE
TOOLS
FOR
DIFFERENT
PURPOSES
.
119
CHRISTOPHE
CHOQUET,
PIERRE
TCHOUNIKINE
AND
FRANCKY
TRICHET
IRIN,
UNIVERSITE
DE
NANTES,
AND
ECOLE
CENTRALE
DE
NANTES,
FRANCE
KNOWLEDGE
REPRESENTATION
ABOUT
THE
INTENDED
MEANING
OF
A
LINGUISTIC
NEGATION
.
131
DANIEL
PACHOLCZYK
LERIA,
UNIVERSITE
D
'
ANGERS,
FRANCE
INTEGRATION
OF
INHERITANCE
IN
SNEPS
.
143
HELENA
SOFIA
PINTO
DEP.
DE
ENGENHARIA
MECANICA,
INSTITUTE
SUPERIOR
TECNICO,
PORTUGAL
MEASURES
OF
UNCERTAINTY
AND
INDEPENDENCE
CONCEPT
IN
DIFFERENT
CALCULI
.
155
JIFINA
VEJNAROVA
LAB.
OF
INTELLIGENT
SYSTEMS,
UNIVERSITY
OF
ECONOMICS,
AND
INSTITUTE
OF
INFORMATION
THEORY
AND
AUTOMATION,
PRAGUE,
CZECH
REPUBLIC
XI
MULTI-AGENT
SYSTEMS
AND
DISTRIBUTED
ARTIFICIAL
INTELLIGENCE
A
MULTI-AGENT
APPROACH
TO
FIRST-ORDER
LOGIC
.
167
GUILHERME
BITTENCOURT
AND
ISABEL
TONIN
DEP.
DE
ENGENHARIA
ELECTRICA,
UNIVERSIDADE
FEDERAL
DE
SANTA
CATARINA,
BRASIL
MODELLING
DYNAMIC
ASPECTS
OF
INTENTIONS
.
179
MICHAEL
DA
COSTA
MORA,
GABRIEL
PEREIRA
LOPES,
HELDER
COELHO
AND
ROSA
M.
VICCARI
CENTRIA/DI,
UNIVERSIDADE
NOVA
DE
LISBOA,
PORTUGAL,
CPGCC-II,
UNIVERSIDADE
FEDERAL
DE
RIO
GRANDE
DO
SUL,
BRASIL,
AND
DI-FCUL,
UNIVERSIDADE
DE
LISBOA,
PORTUGAL
MULTI-AGENT
NEGOTIATION
ALGORITHMS
FOR
RESOURCES
COST
ESTIMATION:
A
CASE
STUDY
.
195
JOSE
MANUEL
FONSECA,
EUGENIO
DE
OLIVEIRA
AND
ADOLFO
STEIGER-GAR^AO
DEP.
DE
ELECTROTECNIA,
UNIVERSIDADE
NOVA
DE
LISBOA,
AND
DEP.
DE
ELECTROTECNIA,
UNIVERSIDADE
DO
PORTO,
PORTUGAL
PARLA:
A
COOPERATION
LANGUAGE
FOR
COGNITIVE
MULTI-AGENT
SYSTEMS
.
207
AUGUSTO
CESAR
P.
L.
DA
COSTA
AND
GUILHERME
BITTENCOURT
DEP.
DE
ENGENHARIA
ELECTRICA,
UNIVERSIDADE
FEDERAL
DE
SANTA
CATARINA,
BRASIL
VIVID
AGENTS
ARGUING
ABOUT
DISTRIBUTED
EXTENDED
LOGIC
PROGRAMS
.
217
MICHAEL
SCHROEDER,
LARA
MORA
AND
JOSE
JULIO
ALFERES
INSTITUT
FIIR
RECHNERGESTIITZTE
WISSENSVERARBEITUNG,
UNIVERSITY
OF
HANNOVER,
GERMANY,
AND
CENTRIA,
UNIVERSIDADE
NOVA
DE
LISBOA,
PORTUGAL
NON-MONOTHONIC
REASONING
APPROXIMATE
REASONING
.
229
HELMUT
PRENDINGER
UNIVERSITY
OF
CALIFORNIA,
IRVINE,
USA
XII
PROBLEM
SOLVING
NEW
RESULTS
ABOUT
SUB-ADMISSIBILITY
FOR
GENERAL
FAMILIES
OF
HEURISTIC
SEARCH
ALGORITHMS
.
241
HENRI
FARRENY
INSTITUT
DE
RECHERCHE
EN
INFORMATIQUE
DE
TOULOUSE,
FRANCE
QUALITATIVE
REASONING
FIXED
POINT
CLASSIFICATION
METHOD
FOR
QUALITATIVE
SIMULATION
.
255
MARTIN
TAKAE
COMENIUS
UNIVERSITY,
SLOVAK
REPUBLIC
TEMPORAL
REASONING
CONTEXTUAL
LOGIC
OF
CHANGE
AND
THE
RAMIFICATION
PROBLEM
.
267
PEDRO
A.
MATOS
AND
JOAO
P.
MARTINS
DEP.
DE
ENGENHARIA
MECANICA,
INSTITUTE
SUPERIOR
TECNICO,
PORTUGAL
TEMPORAL
REASONING
ABOUT
ACTOR
SYSTEMS
.
279
SUSANNE
SCHACHT
AND
UDO
HAHN
COMPUTATIONAL
LINGUISTICS
LAB.,
FREIBURG
UNIVERSITY,
GERMANY
POSTERS
(EXTENDED
ABSTRACTS)
A
CLP
MODEL
TO
THE
JOB
SEQUENCING
PROBLEM
.
291
NUNO
FILIPE
DA
FONSECA
BASTOS
GOMES
INSTITUTE
SUPERIOR
DE
ENGENHARIA
DO
PORTO,
PORTUGAL
A
NEW
APPROACH
FOR
EXTRACTING
RULES
FROM
A
TRAINED
NEURAL
NETWORK
.
297
A.
L.
CASTELLANOS,
J.
CASTELLANOS,
D.
MANRIQUE
AND
A.
MARTINEZ
FACULTAD
DE
INFORMATICA,
UNIVERSIDAD
POLITECNICA
DE
MADRID,
AND
ESCUELA
UNIVERSITARIA
DE
INGENIEROS
TECNICOS
FORESTALES,
UNIVERSIDAD
POLITECNICA
DE
MADRID,
SPAIN
XIII
BAYESIAN
NETWORKS,
RULE
INDUCTION
AND
LOGISTIC
REGRESSION
IN
THE
PREDICTION
OF
THE
SURVIVAL
OF
WOMEN
SUFFERING
FROM
BREAST
CANCER
.
303
PEDRO
LARRANAGA,
M.
J.
GALLEGO,
B.
SIERRA,
L.
URKOLA
AND
M.
J.
MICHELENA
DEP.
OF
COMPUTER
SCIENCE
AND
ARTIFICIAL
INTELLIGENCE,
UNIVERSITY
OF
THE
BASQUE
COUNTRY,
DEP.
OF
ECONOMICS,
UNIVERSITY
OF
THE
BASQUE
COUNTRY,
AND
ONCOLOGICAL
INSTITUTE
OF
GIPUZKOA,
SPAIN
CONTROLLING
FOR
UNEXPECTED
GOALS
WHEN
PLANNING
IN
A
MIXED-INITIATIVE
SETTING
.
309
MICHAEL
T.
COX
AND
MANUELA
M.
VELOSO
COMPUTER
SCIENCE
DEP.,
CARNEGIE-MELLON
UNIVERSITY,
USA
COOPERATIVE
MEMORY
STRUCTURES
AND
COMMONSENSE
KNOWLEDGE
FOR
PLANNING
.
319
P.
V.
S.
R.
BHANU
PRASAD
AND
DEEPAK
KHEMANI
DEP.
OF
COMPUTER
SCIENCE
AND
ENGINEERING,
INDIANA
INSTITUTE
OF
TECHNOLOGY,
INDIA
DIAGONALIZATION
AND
TYPE
REWRITING
IN
CLAM
.
325
JERONIMO
PELLEGRINI
AND
JACQUES
WAINER
INSTITUTE
OF
COMPUTING,
UNICAMP,
BRASIL
GRANULARITY
FOR
EXPLANATION
.
331
SANJAY
PORIA
AND
ROBERTO
GARIGLIANO
DEP.
OF
COMPUTER
SCIENCE,
UNIVERSITY
OF
DURHAM,
UNITED
KINGDOM
OBJECT
MODEL
OF
INTELLIGENT
TUTORING
SHELL
.
337
LJUBOMIR
JERINIC,
VLADAN
DEVEDZIC,
MARIJANA
LOMIC
AND
DANIJELA
RADOVIC
INSTITUTE
OF
MATHEMATICS,
UNIVERSITY
OF
NOVI
SAD,
SCHOOL
OF
BUSINESS
ADMINISTRATION,
UNIVERSITY
OF
BELGRADE,
AND
UNIVERSITY
OF
KRAGUJEVAC,
TECHNICAL
FACULTY
CACAK,
YUGOSLAVIA
RESOURCE
ALLOCATION
ON
AGENT
META-SOCIETIES
.
343
ALCINO
CUNHA
AND
ORLANDO
BELO
DEP.
DE
INFORMATICA,
UNIVERSIDADE
DO
MINHO,
PORTUGAL
XIV
INVITED
TALKS
DIAGNOSTIC
INFORMATION
AT
YOUR
FINGERTIPS!
.
349
OSKAR
DRESSIER
OCC
'
M
SOFTWARE
GMBH,
GERMANY
REASONING
ABOUT
ACTIONS
WITH
ABDUCTIVE
LOGIC
PROGRAMMING
.
361
LUIS
MONIZ
PEREIRA
AND
RENWEI
LI
CENTRO
DE
INTELIGENCIA
ARTIFICIAL,
UNIVERSIDADE
NOVA
DE
LISBOA,
PORTUGAL
DIMENSIONS
OF
EMBODIMENTS:
POSSIBLE
FUTURES
FOR
COGNITIVE
SCIENCE
(ABSTRACT)
.
389
FRANCISCO
J.
VARELA
CNRS,
PARIS,
FRANCE
MACHINE
LEARNING
MEETS
NATURAL
LANGUAGE
(ABSTRACT)
.
391
TOM
MITCHELL
CARNEGIE
MELLON
UNIVERSITY,
USA
AUTHOR
INDEX
.
393 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV011534268 |
| callnumber-first | Q - Science |
| callnumber-label | Q334 |
| callnumber-raw | Q334.P67 1997 |
| callnumber-search | Q334.P67 1997 |
| callnumber-sort | Q 3334 P67 41997 |
| callnumber-subject | Q - General Science |
| classification_rvk | ST 300 |
| classification_tum | DAT 700f |
| ctrlnum | (OCoLC)37625653 (DE-599)BVBBV011534268 |
| dewey-full | 006.3/321 006.3/3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/3 21 006.3/3 |
| dewey-search | 006.3/3 21 006.3/3 |
| dewey-sort | 16.3 13 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">BV011534268</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19971013</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">970908s1997 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">951354019</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540635866</subfield><subfield code="9">3-540-63586-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37625653</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011534268</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-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q334.P67 1997</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/3 21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/3</subfield><subfield code="2">21</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">8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6 - 9, 1997 ; proceedings</subfield><subfield code="c">Ernesto Costa ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 388 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">1323 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">EAO</subfield><subfield code="2">inriac</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">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">apprentissage machine</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">programmation sous contrainte</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 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 temporel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">représentation connaissance</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">résolution problème</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système multi-agent</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">1997</subfield><subfield code="z">Coimbra</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">Costa, Ernesto</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">8</subfield><subfield code="d">1997</subfield><subfield code="c">Coimbra</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2165533-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">1323 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1323</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=007763507&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-007763507</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Coimbra gnd-content |
| genre_facet | Konferenzschrift 1997 Coimbra |
| id | DE-604.BV011534268 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:22Z |
| institution | BVB |
| institution_GND | (DE-588)2165533-9 |
| isbn | 3540635866 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007763507 |
| oclc_num | 37625653 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-739 DE-20 DE-19 DE-BY-UBM DE-521 DE-83 DE-706 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-739 DE-20 DE-19 DE-BY-UBM DE-521 DE-83 DE-706 |
| physical | XIV, 388 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 | Progress in artificial intelligence 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6 - 9, 1997 ; proceedings Ernesto Costa ... (eds.) Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a. Springer 1997 XIV, 388 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1323 : Lecture notes in artificial intelligence EAO inriac Inteligencia artificial (computacao) larpcal Intelligence artificielle - Congrès ram Kunstmatige intelligentie gtt apprentissage machine inriac démonstration théorème inriac programmation sous contrainte inriac raisonnement automatique inriac raisonnement non monotone inriac raisonnement par cas inriac raisonnement temporel inriac représentation connaissance inriac résolution problème inriac système multi-agent inriac Künstliche Intelligenz Artificial intelligence -- Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Coimbra gnd-content Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Costa, Ernesto Sonstige oth EPIA 8 1997 Coimbra Sonstige (DE-588)2165533-9 oth Lecture notes in computer science 1323 : Lecture notes in artificial intelligence (DE-604)BV000000607 1323 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007763507&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Progress in artificial intelligence 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6 - 9, 1997 ; proceedings Lecture notes in computer science EAO inriac Inteligencia artificial (computacao) larpcal Intelligence artificielle - Congrès ram Kunstmatige intelligentie gtt apprentissage machine inriac démonstration théorème inriac programmation sous contrainte inriac raisonnement automatique inriac raisonnement non monotone inriac raisonnement par cas inriac raisonnement temporel inriac représentation connaissance inriac résolution problème inriac système multi-agent 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 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6 - 9, 1997 ; proceedings |
| title_auth | Progress in artificial intelligence 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6 - 9, 1997 ; proceedings |
| title_exact_search | Progress in artificial intelligence 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6 - 9, 1997 ; proceedings |
| title_full | Progress in artificial intelligence 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6 - 9, 1997 ; proceedings Ernesto Costa ... (eds.) |
| title_fullStr | Progress in artificial intelligence 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6 - 9, 1997 ; proceedings Ernesto Costa ... (eds.) |
| title_full_unstemmed | Progress in artificial intelligence 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6 - 9, 1997 ; proceedings Ernesto Costa ... (eds.) |
| title_short | Progress in artificial intelligence |
| title_sort | progress in artificial intelligence 8th portuguese conference on artificial intelligence epia 97 coimbra portugal october 6 9 1997 proceedings |
| title_sub | 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6 - 9, 1997 ; proceedings |
| topic | EAO inriac Inteligencia artificial (computacao) larpcal Intelligence artificielle - Congrès ram Kunstmatige intelligentie gtt apprentissage machine inriac démonstration théorème inriac programmation sous contrainte inriac raisonnement automatique inriac raisonnement non monotone inriac raisonnement par cas inriac raisonnement temporel inriac représentation connaissance inriac résolution problème inriac système multi-agent inriac Künstliche Intelligenz Artificial intelligence -- Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | EAO Inteligencia artificial (computacao) Intelligence artificielle - Congrès Kunstmatige intelligentie apprentissage machine démonstration théorème programmation sous contrainte raisonnement automatique raisonnement non monotone raisonnement par cas raisonnement temporel représentation connaissance résolution problème système multi-agent Künstliche Intelligenz Artificial intelligence -- Congresses Konferenzschrift 1997 Coimbra |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007763507&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT costaernesto progressinartificialintelligence8thportugueseconferenceonartificialintelligenceepia97coimbraportugaloctober691997proceedings AT epiacoimbra progressinartificialintelligence8thportugueseconferenceonartificialintelligenceepia97coimbraportugaloctober691997proceedings |