skip to content
Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AIIA '93, Torino, Italy, October 26-28, 1993 : proceedings Preview this item
ClosePreview this item
Checking...

Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AIIA '93, Torino, Italy, October 26-28, 1993 : proceedings

Author: Pietro Torasso; Associazione italiana per l'intelligenza artificiale. Congress
Publisher: Berlin ; New York : Springer-Verlag, ©1993.
Series: Lecture notes in computer science, 728.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
"This book contains 22 long papers and 13 short ones selected for the Scientific Track of the Third Congress of the Italian Association for Artificial Intelligence. The long papers report completed work whereas the short papers are mainly devoted to ongoing research. The papers report significant work carried out in the different subfields of artificial intelligence not only in Italy but also elsewhere: 8 of the  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongreß
Conference papers and proceedings
Turin (1993)
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Pietro Torasso; Associazione italiana per l'intelligenza artificiale. Congress
ISBN: 0387572929 9780387572925 3540572929 9783540572923
OCLC Number: 28854514
Description: xi, 336 pages : illustrations ; 24 cm.
Contents: Proving formulas through reduction to decidable classes.- Building and executing proof strategies in a formal metatheory.- Computing 3-valued stable models by using the ATMS.- Abstract properties for the choice provability relation in nonmonotonic logics.- Characterizing prime implicants as projective spaces.- EFH-Soar: Modeling education in highly interactive microworlds.- Foundations for interaction: The dependence theory.- Letter spirit: An architecture for creativity in a microdomain.- New systems for extracting 3-D shape information from images.- Projecting sub-symbolic onto symbolic representations in artificial neural networks.- Integrating the symbolic and the sub-symbolic level in sonar-based navigation.- Randomness, imitation or reason explain agents' behaviour into an artificial stock market?.- Neural networks for constraint satisfaction.- Reasoning with individuals in concept languages.- A family of temporal terminological logics.- Logic programming and autoepistemic logics: New relations and complexity results.- Inferring in lego-land: an architecture for the integration of heterogeneous inference modules.- MAP - a language for the modelling of Multi-Agent systems.- Developing co-operating legal knowledge based systems.- Negation as a specializing operator.- Constructing refinement operators by decomposing logical implication.- Learning relations: Basing top-down methods on inverse resolution.- Complexity of the CFP, a method for Classification based on Feature Partitioning.- Genetic algorithms elitist probabilistic of degree 1, a generalization of simulated annealing.- Learning relations using genetic algorithms.- Evolutionary learning for relaxation labeling processes.- Increasing cohesion in automatically generated natural language texts.- Production of cooperative answers on the basis of partial knowledge in information-seeking dialogues.- Coping with modifiers in a restricted domain.- Explanation strategies in a tutoring system.- Maintaining consistency in quantitative temporal constraint networks for planning and scheduling.- Making an autonomous robot plan temporally constrained maintenance operations.- A generative constraint formalism for configuration problems.- Selecting observation time in the monitoring and interpretation of time-varying data.- Spatial reasoning in a holey world.
Series Title: Lecture notes in computer science, 728.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: Pietro Torasso, ed.
More information:

Abstract:

This volume reports significant advances in the various subfields of artificial intelligence research, grouped into sections on cognitive models, knowledge representation, architecture and tools for  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/28854514> # Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AIIA '93, Torino, Italy, October 26-28, 1993 : proceedings
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "28854514" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1104351358#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/intelligence_artificielle_congres> ; # Intelligence artificielle--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/planification> ; # planification
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/robotique> ; # robotique
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/konnektionismus> ; # Konnektionismus
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Place/turin_1993> ; # Turin <1993>
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/artificial_intelligence_congresses> ; # Artificial intelligence--Congresses
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/representation_des_connaissances> ; # Représentation des connaissances
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/intelligence_artificielle> ; # Intelligence artificielle
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/kunstmatige_intelligentie> ; # Kunstmatige intelligentie
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/connexionnisme> ; # connexionnisme
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/raisonnement_automatique> ; # raisonnement automatique
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/wissensreprasentation> ; # Wissensrepräsentation
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/modele_cognitif> ; # modèle cognitif
    schema:about <http://dewey.info/class/006.3/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/representation_des_connaissances_theorie_de_l_information_congres> ; # Représentation des connaissances (Théorie de l'information)--Congrès
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://id.worldcat.org/fast/988187> ; # Knowledge representation (Information theory)
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/knowledge_representation_information_theory_congresses> ; # Knowledge representation (Information theory)--Congresses
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/apprentissage_machine> ; # apprentissage machine
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/langage_naturel> ; # langage naturel
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/representation_connaissance> ; # représentation connaissance
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351358#Topic/maschinelles_lernen> ; # Maschinelles Lernen
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/40059178> ; # Pietro Torasso
    schema:copyrightYear "1993" ;
    schema:creator <http://viaf.org/viaf/156650228> ; # Associazione italiana per l'intelligenza artificiale. Congress
    schema:datePublished "1993" ;
    schema:description ""This book contains 22 long papers and 13 short ones selected for the Scientific Track of the Third Congress of the Italian Association for Artificial Intelligence. The long papers report completed work whereas the short papers are mainly devoted to ongoing research. The papers report significant work carried out in the different subfields of artificial intelligence not only in Italy but also elsewhere: 8 of the papers come from outside Italy, with 2 from the United States and 1 eachfrom Australia, Austria, Germany, The Netherlands, Spain, and Turkey. The papers in the book are grouped into parts on: automated reasoning; cognitive models; connectionist models and subsymbolic approaches; knowledge representation and reasoning; languages, architectures and tools for AI; machine learning; natural language; planning and robotics; and reasoning about physical systems and artifacts."--PUBLISHER'S WEBSITE."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1104351358> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Turin (1993)"@en ;
    schema:genre "Kongreß"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1104351358#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1104351358#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science ; Lecture notes in artificial intelligence
    schema:name "Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AIIA '93, Torino, Italy, October 26-28, 1993 : proceedings"@en ;
    schema:productID "28854514" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/28854514#PublicationEvent/berlin_new_york_springer_verlag_1993> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1104351358#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://swbplus.bsz-bw.de/bsz035781610cov.htm> ;
    schema:url <http://www.gbv.de/dms/bowker/toc/9780387572925.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9783540572923> ;
    schema:workExample <http://worldcat.org/isbn/9780387572925> ;
    umbel:isLike <http://d-nb.info/931521947> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/28854514> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351358#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351358#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/28854514> ; # Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AIIA '93, Torino, Italy, October 26-28, 1993 : proceedings
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351358#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> # Lecture notes in computer science ; Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/28854514> ; # Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AIIA '93, Torino, Italy, October 26-28, 1993 : proceedings
    schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351358#Topic/apprentissage_machine> # apprentissage machine
    a schema:Intangible ;
    schema:name "apprentissage machine"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351358#Topic/artificial_intelligence_congresses> # Artificial intelligence--Congresses
    a schema:Intangible ;
    schema:name "Artificial intelligence--Congresses"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351358#Topic/intelligence_artificielle> # Intelligence artificielle
    a schema:Intangible ;
    schema:name "Intelligence artificielle"@fr ;
    schema:name "intelligence artificielle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351358#Topic/intelligence_artificielle_congres> # Intelligence artificielle--Congrès
    a schema:Intangible ;
    schema:name "Intelligence artificielle--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351358#Topic/knowledge_representation_information_theory_congresses> # Knowledge representation (Information theory)--Congresses
    a schema:Intangible ;
    schema:name "Knowledge representation (Information theory)--Congresses"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351358#Topic/kunstliche_intelligenz> # Künstliche Intelligenz
    a schema:Intangible ;
    schema:name "Künstliche Intelligenz"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351358#Topic/kunstmatige_intelligentie> # Kunstmatige intelligentie
    a schema:Intangible ;
    schema:name "Kunstmatige intelligentie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351358#Topic/maschinelles_lernen> # Maschinelles Lernen
    a schema:Intangible ;
    schema:name "Maschinelles Lernen"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351358#Topic/raisonnement_automatique> # raisonnement automatique
    a schema:Intangible ;
    schema:name "raisonnement automatique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351358#Topic/representation_connaissance> # représentation connaissance
    a schema:Intangible ;
    schema:name "représentation connaissance"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351358#Topic/representation_des_connaissances> # Représentation des connaissances
    a schema:Intangible ;
    schema:name "Représentation des connaissances"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351358#Topic/representation_des_connaissances_theorie_de_l_information_congres> # Représentation des connaissances (Théorie de l'information)--Congrès
    a schema:Intangible ;
    schema:name "Représentation des connaissances (Théorie de l'information)--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351358#Topic/wissensreprasentation> # Wissensrepräsentation
    a schema:Intangible ;
    schema:name "Wissensrepräsentation"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/988187> # Knowledge representation (Information theory)
    a schema:Intangible ;
    schema:name "Knowledge representation (Information theory)"@en ;
    .

<http://viaf.org/viaf/156650228> # Associazione italiana per l'intelligenza artificiale. Congress
    a schema:Organization ;
    schema:name "Associazione italiana per l'intelligenza artificiale. Congress" ;
    .

<http://viaf.org/viaf/40059178> # Pietro Torasso
    a schema:Person ;
    schema:familyName "Torasso" ;
    schema:givenName "Pietro" ;
    schema:name "Pietro Torasso" ;
    .

<http://worldcat.org/isbn/9780387572925>
    a schema:ProductModel ;
    schema:isbn "0387572929" ;
    schema:isbn "9780387572925" ;
    .

<http://worldcat.org/isbn/9783540572923>
    a schema:ProductModel ;
    schema:isbn "3540572929" ;
    schema:isbn "9783540572923" ;
    .

<http://www.worldcat.org/title/-/oclc/28854514>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/28854514> ; # Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AIIA '93, Torino, Italy, October 26-28, 1993 : proceedings
    schema:dateModified "2016-10-04" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.