AI*IA 99: Advances in artificial intelligence: 6th Congress of Italian Association for Artificial Intelligence, Bologna, Italy, September 14 - 17, 1999 ; selected papers
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2000
|
| Schriftenreihe: | Lecture notes in computer science
1792 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 392 S. graph. Darst. |
| ISBN: | 3540673504 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013082915 | ||
| 003 | DE-604 | ||
| 005 | 20010423 | ||
| 007 | t| | ||
| 008 | 000321s2000 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 958630844 |2 DE-101 | |
| 020 | |a 3540673504 |9 3-540-67350-4 | ||
| 035 | |a (OCoLC)247337095 | ||
| 035 | |a (DE-599)BVBBV013082915 | ||
| 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-83 |a DE-706 | ||
| 050 | 0 | |a Q334 | |
| 082 | 0 | |a 006.3 | |
| 084 | |a DAT 700f |2 stub | ||
| 110 | 2 | |a Associazione Italiana per l'Intelligenza Artificiale |e Verfasser |0 (DE-588)5034031-1 |4 aut | |
| 245 | 1 | 0 | |a AI*IA 99: Advances in artificial intelligence |b 6th Congress of Italian Association for Artificial Intelligence, Bologna, Italy, September 14 - 17, 1999 ; selected papers |c Evelina Lamma ... (eds.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2000 | |
| 300 | |a XI, 392 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 1792 : Lecture notes in artificial intelligence | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence |v 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 1999 |z Bologna |2 gnd-content | |
| 655 | 4 | |a Bologna <1999> - Künstliche Intelligenz - Kongress | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Lamma, Evelina |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1792 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 1792 : 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=008912832&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008912832 | |
Datensatz im Suchindex
| _version_ | 1820874889635037184 |
|---|---|
| adam_text |
TABLE OF CONTENTS
KNOWLEDGE REPRESENTATION
GENERALIZED DEFAULT LOGIC: MINIMAL KNOWLEDGE, AUTOEPISTEMIC, AND DEFAULT
REASONING RECONCILED
.1
D. NARDI, R. ROSATI
A DESCRIPTION LOGIC FOR IMAGE RETRIEVAL
.13
E. DI SCIASCIO, F.M. DONINI, M. MONGIELLO
CERTAINTY-FACTOR-LIKE STRUCTURES IN BAYESIAN
NETWORKS.25
P. LUCAS
SENSITIVITY ANALYSIS FOR THRESHOLD DECISION MAKING WITH BAYESIAN BELIEF
NETWORKS. 37
L.C. VAN DER GAAG, V.M.H. COUPE
AUTOMATED REASONING
ABDUCTION WITH NEGATION AS FAILURE FOR ACTIVE AND REACTIVE RULES
.49
F. SADRI, F. TONI
AN IMPLEMENTATION FOR ABDUCTIVE LOGIC AGENTS.
.61
A. CIAMPOLINI, E. LAMMA, P. MELLO, C. STEFANELLI, P. TORRONI
SOLVING THE SATISFIABILITY PROBLEM THROUGH BOOLEAN
NETWORKS.72
M. MILANO, A. ROLI
APPLYING THE DAVIS-PUTNAM PROCEDURE TO NON-CLAUSAL
FORMULAS.84
E. GIUNCHIGLIA, R. SEBASTIANI
THE SAT-BASED APPROACH FOR CLASSICAL MODAL LOGICS
.95
E. GIUNCHIGLIA, F. GIUNCHIGLIA, A. TACCHELLA
LOCAL SEARCH TECHNIQUES FOR DISJUNCTIVE LOGIC PROGRAMS.
.107
N. LEONE, S. PERRI, P. RULLO
LABELLED TABLEAUX FOR NON-NORMAL MODAL LOGICS.
.119
G. GOVERNATORI, A. LUPPI
TEMPORAL AND QUALITATIVE REASONING
PAIRING TRANSITIVE CLOSURE AND REDUCTION TO EFFICIENTLY REASON ABOUT
PARTIALLY
ORDERED EVENTS.
.
131
M. FRANCESCHET, A. MONTANARI
TIMENETMANAGER - A SOFTWARE TOOL FOR GENERATING RANDOM TEMPORAL NETWORKS
. 143
A. CESTA, A. ODDI, A. SUSI
A FUZZY EXTENSION OF ALLEN'S INTERVAL
ALGEBRA.155
S. BADALONI, M. GIACOMIN
NON BINARY CSPS AND HEURISTICS FOR MODELING AND DIAGNOSING DYNAMIC
SYSTEMS. .166
A. PANATI
X TABLE OF CONTENTS
MACHINE LEARNING, DATA MINING AND THEORY REVISION
RELATIONAL LEARNING: HARD PROBLEMS AND PHASE TRANSITIONS
.178
M. BOTTA, A. GIORDANA, L. SAITTA, M. SEBAG
A MACHINE LEARNING APPROACH TO WEB
MINING.190
F. ESPOSITO, D. MALERBA, L. DI PACE, P. LEO
EXPERIENCES WITH A LOGIC-BASED KNOWLEDGE DISCOVERY SUPPORT ENVIRONMENT
.202
F. GIANNOTTI, G. MANCO, D. PEDRESCHI, F. TURINI
CONCEPTUAL CHANGE IN LEARNING NAIVE PHYSICS:
THE COMPUTATIONAL MODEL AS A THEORY REVISION PROCESS
.214
F. ESPOSITO, G. SEMERARO, N. FANIZZI, S. FERILLI
USING THE HERMITE REGRESSION FORMULA TO DESIGN A NEURAL ARCHITECTURE
WITH
AUTOMATIC LEARNING OF THE "HIDDEN" ACTIVATION FUNCTIONS
.226
S. GAGLIO, G. PILATO, F. SORBELLO, G. VASSALLO
NATURAL LANGUAGE AND WWW INTERFACES
XIG: GENERATING FROM INTERCHANGE FORMAT USING MIXED
REPRESENTATIONS.238
E. PIANTA, L.M. TOVENA
NATURAL LANGUAGE ACCESS TO PUBLIC ADMINISTRATION DATA:
THE TAMIC-P
SYSTEM.249
C. BAGNASCO, A. CAPPELLI, B. MAGNINI, D. ZAMATTEO
ON THE APPLICATION OF PERSONALIZATION TECHNIQUES TO NEWS SERVERS ON THE
WWW.261
L. ARDISSONO, L. CONSOLE, I. TORRE
MULTI-AGENT SYSTEMS
LEVELS OF DELEGATION AND LEVELS OF ADOPTION
AS THE BASIS FOR ADJUSTABLE AUTONOMY
.273
R. FALCONE, C. CASTELFRANCHI
NOTES ON FORMALIZING COORDINATION.
.285
A. AGOSTINI
AUTONOMOUS SPACECRAFT RESOURCE MANAGEMENT: A MULTI-AGENT
APPROACH.297
N. MONEKOSSO, P. REMAGNINO
MULTI-AGENT SCENE
INTERPRETATION.309
P. REMAGNINO, J. ORWELL, G.A. JONES
AN ALGORITHM FOR RECRUITMENT OF AGENTS IN AGENCY DESIGN.
.321
F. AMIGONI, M. VILLA
PERCEPTION AND ROBOTICS
TOWARDS A CONCEPTUAL REPRESENTATION OF
ACTIONS.333
A. CHELLA, M. FRIXIONE, S. GAGLIO
CELLULAR AUTOMATA BASED INVERSE PERSPECTIVE TRANSFORM AS A TOOL FOR
INDOOR ROBOT
NAVIGATION.345
G. ADORNI, S. CAGNONI, M. MORDONINI
PLANNING AND SCHEDULING
ON PLAN ADAPTATION THROUGH PLANNING GRAPH ANALYSIS
.356
A. GEREVINI, I. SERINA
REAL-TIME MOTION PLANNING IN AUTONOMOUS VEHICLES: A HYBRID
APPROACH.368
M. PIAGGIO, A. SGORBISSA
TABLE OF CONTENTS XI
SOLVING EMPLOYEE TIMETABLING PROBLEMS BY GENERALIZED LOCAL SEARCH
.380
A. SCHAERF, A. MEISELS
AUTHOR
INDEX.391 |
| any_adam_object | 1 |
| author_corporate | Associazione Italiana per l'Intelligenza Artificiale |
| author_corporate_role | aut |
| author_facet | Associazione Italiana per l'Intelligenza Artificiale |
| author_sort | Associazione Italiana per l'Intelligenza Artificiale |
| building | Verbundindex |
| bvnumber | BV013082915 |
| callnumber-first | Q - Science |
| callnumber-label | Q334 |
| callnumber-raw | Q334 |
| callnumber-search | Q334 |
| callnumber-sort | Q 3334 |
| callnumber-subject | Q - General Science |
| classification_rvk | SS 4800 |
| classification_tum | DAT 700f |
| ctrlnum | (OCoLC)247337095 (DE-599)BVBBV013082915 |
| 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 | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV013082915</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010423</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">000321s2000 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">958630844</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540673504</subfield><subfield code="9">3-540-67350-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)247337095</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013082915</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-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q334</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="110" ind1="2" ind2=" "><subfield code="a">Associazione Italiana per l'Intelligenza Artificiale</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)5034031-1</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">AI*IA 99: Advances in artificial intelligence</subfield><subfield code="b">6th Congress of Italian Association for Artificial Intelligence, Bologna, Italy, September 14 - 17, 1999 ; selected papers</subfield><subfield code="c">Evelina Lamma ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 392 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">1792 : Lecture notes in artificial intelligence</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</subfield><subfield code="v">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">1999</subfield><subfield code="z">Bologna</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Bologna <1999> - Künstliche Intelligenz - Kongress</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">Lamma, Evelina</subfield><subfield code="e">Sonstige</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">1792 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1792 : 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=008912832&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-008912832</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1999 Bologna gnd-content Bologna <1999> - Künstliche Intelligenz - Kongress |
| genre_facet | Konferenzschrift 1999 Bologna Bologna <1999> - Künstliche Intelligenz - Kongress |
| id | DE-604.BV013082915 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:54Z |
| institution | BVB |
| institution_GND | (DE-588)5034031-1 |
| isbn | 3540673504 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008912832 |
| oclc_num | 247337095 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-384 DE-83 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-384 DE-83 DE-706 |
| physical | XI, 392 S. graph. Darst. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Associazione Italiana per l'Intelligenza Artificiale Verfasser (DE-588)5034031-1 aut AI*IA 99: Advances in artificial intelligence 6th Congress of Italian Association for Artificial Intelligence, Bologna, Italy, September 14 - 17, 1999 ; selected papers Evelina Lamma ... (eds.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2000 XI, 392 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1792 : Lecture notes in artificial intelligence Künstliche Intelligenz Artificial intelligence Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1999 Bologna gnd-content Bologna <1999> - Künstliche Intelligenz - Kongress Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Lamma, Evelina Sonstige oth Lecture notes in computer science 1792 : Lecture notes in artificial intelligence (DE-604)BV000000607 1792 : Lecture DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008912832&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | AI*IA 99: Advances in artificial intelligence 6th Congress of Italian Association for Artificial Intelligence, Bologna, Italy, September 14 - 17, 1999 ; selected papers Lecture notes in computer science Künstliche Intelligenz Artificial intelligence Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)1071861417 |
| title | AI*IA 99: Advances in artificial intelligence 6th Congress of Italian Association for Artificial Intelligence, Bologna, Italy, September 14 - 17, 1999 ; selected papers |
| title_auth | AI*IA 99: Advances in artificial intelligence 6th Congress of Italian Association for Artificial Intelligence, Bologna, Italy, September 14 - 17, 1999 ; selected papers |
| title_exact_search | AI*IA 99: Advances in artificial intelligence 6th Congress of Italian Association for Artificial Intelligence, Bologna, Italy, September 14 - 17, 1999 ; selected papers |
| title_full | AI*IA 99: Advances in artificial intelligence 6th Congress of Italian Association for Artificial Intelligence, Bologna, Italy, September 14 - 17, 1999 ; selected papers Evelina Lamma ... (eds.) |
| title_fullStr | AI*IA 99: Advances in artificial intelligence 6th Congress of Italian Association for Artificial Intelligence, Bologna, Italy, September 14 - 17, 1999 ; selected papers Evelina Lamma ... (eds.) |
| title_full_unstemmed | AI*IA 99: Advances in artificial intelligence 6th Congress of Italian Association for Artificial Intelligence, Bologna, Italy, September 14 - 17, 1999 ; selected papers Evelina Lamma ... (eds.) |
| title_short | AI*IA 99: Advances in artificial intelligence |
| title_sort | ai ia 99 advances in artificial intelligence 6th congress of italian association for artificial intelligence bologna italy september 14 17 1999 selected papers |
| title_sub | 6th Congress of Italian Association for Artificial Intelligence, Bologna, Italy, September 14 - 17, 1999 ; selected papers |
| topic | Künstliche Intelligenz Artificial intelligence Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Künstliche Intelligenz Artificial intelligence Congresses Konferenzschrift 1999 Bologna Bologna <1999> - Künstliche Intelligenz - Kongress |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008912832&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT associazioneitalianaperlintelligenzaartificiale aiia99advancesinartificialintelligence6thcongressofitalianassociationforartificialintelligencebolognaitalyseptember14171999selectedpapers AT lammaevelina aiia99advancesinartificialintelligence6thcongressofitalianassociationforartificialintelligencebolognaitalyseptember14171999selectedpapers |