skip to content
Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings Preview this item
ClosePreview this item
Checking...

Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings

Author: Bruno Buchberger; J A Campbell
Publisher: Berlin ; New York : Springer, ©2004.
Series: Lecture notes in computer science, 3249.; 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 constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004, held in Linz, Austria in September 2004.

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: Conference papers and proceedings
Kongress
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Bruno Buchberger; J A Campbell
ISBN: 3540232125 9783540232124
OCLC Number: 56583444
Description: x, 284 pages : illustrations ; 24 cm.
Contents: Invited Presentations.- The Algorithmization of Physics: Math Between Science and Engineering.- Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search.- Proof Search in Minimal Logic.- Planning and Patching Proof.- Papers.- A Paraconsistent Higher Order Logic.- Abstraction Within Partial Deduction for Linear Logic.- A Decision Procedure for Equality Logic with Uninterpreted Functions.- Generic Hermitian Quantifier Elimination.- Extending Finite Model Searching with Congruence Closure Computation.- On the Combination of Congruence Closure and Completion.- Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques.- Proving and Constraint Solving in Computational Origami.- An Evolutionary Local Search Method for Incremental Satisfiability.- Solving Equations Involving Sequence Variables and Sequence Functions.- Verified Computer Algebra in Acl2.- Polynomial Interpretations with Negative Coefficients.- New Developments in Symmetry Breaking in Search Using Computational Group Theory.- Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks.- Four Approaches to Automated Reasoning with Differential Algebraic Structures.- Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy.- An Expert System on Detection, Evaluation and Treatment of Hypertension.- Short Presentations.- Two Revision Methods Based on Constraints: Application to a Flooding Problem.- Abstraction-Driven Verification of Array Programs.- Singularities in Qualitative Reasoning.- From a Computer Algebra Library to a System with an Equational Prover.
Series Title: Lecture notes in computer science, 3249.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: Bruno Buchberger, John A. Campbell (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/56583444> # Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "56583444" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3855429919#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/3855429919#Place/linz_2004> ; # Linz (2004)
    schema:about <http://experiment.worldcat.org/entity/work/data/3855429919#Topic/calcul_formel> ; # Calcul formel
    schema:about <http://dewey.info/class/006.3/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3855429919#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/3855429919#Topic/symbolische_logica> ; # Symbolische logica
    schema:about <http://experiment.worldcat.org/entity/work/data/3855429919#Topic/computeralgebra> ; # Computeralgebra
    schema:about <http://experiment.worldcat.org/entity/work/data/3855429919#Topic/intelligence_artificielle> ; # Intelligence artificielle
    schema:about <http://experiment.worldcat.org/entity/work/data/3855429919#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/3855429919#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/3855429919#Topic/kunstmatige_intelligentie> ; # Kunstmatige intelligentie
    schema:about <http://experiment.worldcat.org/entity/work/data/3855429919#Topic/logique_symbolique> ; # Logique symbolique
    schema:about <http://experiment.worldcat.org/entity/work/data/3855429919#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3855429919#Person/buchberger_bruno> ; # Bruno Buchberger
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3855429919#Person/campbell_j_a_1940> ; # J. A. Campbell
    schema:copyrightYear "2004" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/3855429919#Meeting/aisc_2004_2004_linz_austria> ; # AISC 2004 (2004 : Linz, Austria)
    schema:datePublished "2004" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3855429919> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Kongress"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3855429919#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science, Lecture notes in artificial intelligence
    schema:name "Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings"@en ;
    schema:productID "56583444" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/56583444#PublicationEvent/berlin_new_york_springer_2004> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3855429919#Agent/springer> ; # Springer
    schema:url <http://swbplus.bsz-bw.de/bsz11377270xvor.htm> ;
    schema:url <http://swbplus.bsz-bw.de/bsz11377270xcov.htm> ;
    schema:url <http://dx.doi.org/10.1007/b100361> ;
    schema:url <http://swbplus.bsz-bw.de/bsz11377270xinh.htm> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3249> ;
    schema:workExample <http://worldcat.org/isbn/9783540232124> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/56583444> ;
    .


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/3855429919#Person/buchberger_bruno> # Bruno Buchberger
    a schema:Person ;
    schema:familyName "Buchberger" ;
    schema:givenName "Bruno" ;
    schema:name "Bruno Buchberger" ;
    .

<http://experiment.worldcat.org/entity/work/data/3855429919#Person/campbell_j_a_1940> # J. A. Campbell
    a schema:Person ;
    schema:birthDate "1940" ;
    schema:familyName "Campbell" ;
    schema:givenName "J. A." ;
    schema:name "J. A. Campbell" ;
    .

<http://experiment.worldcat.org/entity/work/data/3855429919#Place/linz_austria> # Linz, Austria)
    a schema:Place ;
    schema:name "Linz, Austria)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3855429919#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/56583444> ; # Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/3855429919#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/3855429919#Topic/kunstliche_intelligenz> # Künstliche Intelligenz
    a schema:Intangible ;
    schema:name "Künstliche Intelligenz"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/3855429919#Topic/logique_symbolique> # Logique symbolique
    a schema:Intangible ;
    schema:name "Logique symbolique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3855429919#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

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

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

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

<http://worldcat.org/isbn/9783540232124>
    a schema:ProductModel ;
    schema:isbn "3540232125" ;
    schema:isbn "9783540232124" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science, Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/56583444> ; # Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science, Lecture notes in artificial intelligence" ;
    .

<http://www.worldcat.org/title/-/oclc/56583444>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/56583444> ; # Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
    schema:dateModified "2016-09-12" ;
    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.