skip to content
Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers Preview this item
ClosePreview this item
Checking...

Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers

Author: J A Campbell; Eugenio Roanes-Lozano
Publisher: Berlin ; New York : Springer, ©2001.
Series: Lecture notes in computer science, 1930.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

These post-proceedings of AISC 2000 address automated theorem proving; logical reasoning; mathematical modelling of multi-agent systems; expert systems and machine learning; computational  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: Kongress
Conference papers and proceedings
Madrid (2000)
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: J A Campbell; Eugenio Roanes-Lozano
ISBN: 3540420711 9783540420712
OCLC Number: 46809059
Description: x, 252 pages : illustrations ; 24 cm.
Contents: George Boole, a forerunner of symbolic computation / Luis M. Laita [and others] --
Artificial intelligence as a decision tool for efficient strategic and operational management / Marc Knoppe --
OMDOC: towards an internet standard for the administration, distribution, and teaching of mathematical knowledge / Michael Kohlhase --
On communicating proofs in interactive mathematical documents / Olga Caprotti and Martijn Oostdijk --
Composite distributive lattices as annotation domains for mediators / Jacques Calmet, Peter Kullmann, and Morio Taneda --
A proof strategy based on a dual representation / Guilherme Bittencourt and Isabel Tonin --
Formalizing rewriting in the ACL2 theorem prover / Jose-Luis Ruiz-Reina [and others] --
Additional comments on conjectures, hypotheses, and consequences in orthocomplemented lattices / Angel Fernandez Pineda, Enric Trillas, and Claudio Vaucheret --
Reasoning about the elementary functions of complex analysis / Robert M. Corless [and others] --
Solving nonlinear systems by constraint inversion and interval arithmetic / Martine Ceberio and Laurent Granvilliers --
Basic operators for solving constraints via collaboration of solvers / Carlos Castro and Eric Monfroy --
Automatic determination of geometric loci. 3D-extension of Simson-Steiner theorem / Eugenio Roanes-Macias and Eugenio Roanes-Lozano --
Numerical implicitization of parametric hypersurfaces with linear algebra / Robert M. Corless [and others] --
A note on modeling connectionist network structures: geometric and categorical aspects / Jochen Pfalzgraf --
A new artificial intelligence paradigm for computer-aided geometric design / Andres Iglesias and Akemi Galvez --
How symbolic computation can benefit computer-aided geometric design / Andres Iglesias --
CDR: a rewriting based tool to design FPLA circuits / Zahir Maazouzi . [and others] --
Locally effective objects and artificial intelligence / Julio Rubio --
Negotiation algorithms for multi-agent interactions / Marco A. Arranz --
Some techniques of isomorph-free search / Thierry Boy de la Tour.
Series Title: Lecture notes in computer science, 1930.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: John A. Campbell, Eugenio Roanes-Lozano (eds.).
More information:

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/46809059> # Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "46809059" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/891976360#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/891976360#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/891976360#Topic/intelligence_artificielle_congres> ; # Intelligence artificielle--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/891976360#Topic/kunstmatige_intelligentie> ; # Kunstmatige intelligentie
    schema:about <http://experiment.worldcat.org/entity/work/data/891976360#Topic/symbolische_logica> ; # Symbolische logica
    schema:about <http://experiment.worldcat.org/entity/work/data/891976360#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
    schema:about <http://dewey.info/class/006.3/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/891976360#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/891976360#Topic/kongress> ; # Kongress
    schema:about <http://experiment.worldcat.org/entity/work/data/891976360#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
    schema:about <http://experiment.worldcat.org/entity/work/data/891976360#Topic/computeralgebra> ; # Computeralgebra
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/85160396> ; # J. A. Campbell
    schema:contributor <http://viaf.org/viaf/1811152> ; # Eugenio Roanes-Lozano
    schema:copyrightYear "2001" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/891976360#Meeting/aisc_conference_5th_2000_madrid_spain> ; # AISC (Conference) (5th : 2000 : Madrid, Spain)
    schema:datePublished "2001" ;
    schema:description "George Boole, a forerunner of symbolic computation / Luis M. Laita [and others] -- Artificial intelligence as a decision tool for efficient strategic and operational management / Marc Knoppe -- OMDOC: towards an internet standard for the administration, distribution, and teaching of mathematical knowledge / Michael Kohlhase -- On communicating proofs in interactive mathematical documents / Olga Caprotti and Martijn Oostdijk -- Composite distributive lattices as annotation domains for mediators / Jacques Calmet, Peter Kullmann, and Morio Taneda -- A proof strategy based on a dual representation / Guilherme Bittencourt and Isabel Tonin -- Formalizing rewriting in the ACL2 theorem prover / Jose-Luis Ruiz-Reina [and others] -- Additional comments on conjectures, hypotheses, and consequences in orthocomplemented lattices / Angel Fernandez Pineda, Enric Trillas, and Claudio Vaucheret -- Reasoning about the elementary functions of complex analysis / Robert M. Corless [and others] -- Solving nonlinear systems by constraint inversion and interval arithmetic / Martine Ceberio and Laurent Granvilliers -- Basic operators for solving constraints via collaboration of solvers / Carlos Castro and Eric Monfroy -- Automatic determination of geometric loci. 3D-extension of Simson-Steiner theorem / Eugenio Roanes-Macias and Eugenio Roanes-Lozano -- Numerical implicitization of parametric hypersurfaces with linear algebra / Robert M. Corless [and others] -- A note on modeling connectionist network structures: geometric and categorical aspects / Jochen Pfalzgraf -- A new artificial intelligence paradigm for computer-aided geometric design / Andres Iglesias and Akemi Galvez -- How symbolic computation can benefit computer-aided geometric design / Andres Iglesias -- CDR: a rewriting based tool to design FPLA circuits / Zahir Maazouzi . [and others] -- Locally effective objects and artificial intelligence / Julio Rubio -- Negotiation algorithms for multi-agent interactions / Marco A. Arranz -- Some techniques of isomorph-free search / Thierry Boy de la Tour."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/891976360> ;
    schema:genre "Kongress"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Madrid (2000)"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/891976360#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science ; Lecture notes in artificial intelligence
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/891976360#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:name "Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers"@en ;
    schema:productID "46809059" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/46809059#PublicationEvent/berlin_new_york_springer_2001> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/891976360#Agent/springer> ; # Springer
    schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t1930.htm> ;
    schema:url <http://link.springer.com/10.1007/3-540-44990-6> ;
    schema:url <http://dx.doi.org/10.1007/3-540-44990-6> ;
    schema:workExample <http://worldcat.org/isbn/9783540420712> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA130212> ;
    umbel:isLike <http://d-nb.info/961224738> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/46809059> ;
    .


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/891976360#Meeting/aisc_conference_5th_2000_madrid_spain> # AISC (Conference) (5th : 2000 : Madrid, Spain)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/891976360#Place/madrid_spain> ; # Madrid, Spain)
    schema:name "AISC (Conference) (5th : 2000 : Madrid, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/891976360#Place/madrid_spain> # Madrid, Spain)
    a schema:Place ;
    schema:name "Madrid, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/891976360#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/46809059> ; # Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/891976360#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/46809059> ; # Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
    schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

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

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

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

<http://experiment.worldcat.org/entity/work/data/891976360#Topic/logique_symbolique_et_mathematique_congres> # Logique symbolique et mathématique--Congrès
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique--Congrès"@en ;
    schema:name "Logique symbolique et mathématique--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/891976360#Topic/symbolische_logica> # Symbolische logica
    a schema:Intangible ;
    schema:name "Symbolische logica"@en ;
    .

<http://link.springer.com/10.1007/3-540-44990-6>
    rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://link.springer-ny.com/link/service/series/0558/tocs/t1930.htm>
    rdfs:comment "Restricted to Springer LINK subscribers" ;
    .

<http://viaf.org/viaf/1811152> # Eugenio Roanes-Lozano
    a schema:Person ;
    schema:familyName "Roanes-Lozano" ;
    schema:givenName "Eugenio" ;
    schema:name "Eugenio Roanes-Lozano" ;
    .

<http://viaf.org/viaf/85160396> # J. A. Campbell
    a schema:Person ;
    schema:birthDate "1940" ;
    schema:familyName "Campbell" ;
    schema:givenName "J. A." ;
    schema:name "J. A. Campbell" ;
    .

<http://worldcat.org/isbn/9783540420712>
    a schema:ProductModel ;
    schema:isbn "3540420711" ;
    schema:isbn "9783540420712" ;
    .

<http://www.worldcat.org/title/-/oclc/46809059>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/46809059> ; # Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
    schema:dateModified "2017-09-22" ;
    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.