skip to content
Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings Preview this item
ClosePreview this item
Checking...

Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings

Author: Jacques Calmet; Jan Plaza
Publisher: Berlin ; New York : Springer, ©1998.
Series: Lecture notes in computer science, 1476.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998.The 24 revised  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
Plattsburgh (NY, 1998)
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Jacques Calmet; Jan Plaza
ISBN: 3540649603 9783540649601
OCLC Number: 39733334
Description: xi, 307 pages : illustrations ; 24 cm.
Contents: An inductive logic programming query language for database mining / Luc De Raedt --
Bertrand Russell, Herbrand's theorem, and the assignment statement / Melvin Fitting --
Representing and reasoning with context / Richmond H. Thomason --
From integrated reasoning specialists to "plug-and-play" resoning components / Alessandro Armando, Silvio Ranise --
Reasoning about coding theory : the benefits we get from computer algebra / Clemens Ballarin, Lawrence C. Paulson --
Automatic generation of Epsilon-Delta proofs of continuity / Michael Beeson --
Finite model search for equational theories (FMSET) / Belaid Benhamou, Laurent Heocque --
Specification and integration of theorem provers and computer algebra systems / P.G. Bertoli [and others] --
COLETTE, prototyping CSP solvers using a rule-based language / Carlos Castro --
An evolutionary algorithm for welding task sequence ordering / Martin Damsbo, Peder Thusgaard Ruhoff --
Intuitionistic proof transformations and their application to constructive program synthesis / Uwe Egli, Stephan Schmitt --
Combining algebraic computing and term-rewriting for geometry theorem proving / Stéphane Fèvre, Dongming Wang --
Cooperation between top-down and bottom-up theorem provers by subgoal clause transfer / Dirk Fuchs --
Polymorphic call-by-value calculus based on classical proofs / Ken-etsu Fujita --
Inference and verification in medical appropriateness criteria using Gröbner bases / L.M. Laita, E. Roanes-Lozano --, V. Maojo --
The unification problem for one relation Thue systems / Christopher Lynch --
Basic completion with E-cycle simplification / Christopher Lynch, Christelle Scharff --
SoleX : a domain-independent scheme for constraint solver extension / Eric Monfroy, Christophe Ringeissen --
Optimising propositional modal satisfiability for description logic subsumption / Ian Horrocks, Peter F. Patel-Schneider --
Instantiation of existentially quantified variables in induction specification proofs / Brigitte Pientka, Christoph Kreitz --
Knowledge discovery objects and queries in distributed knowledge systems / Zbigniew W. Raś, Jiyun Zheng --
ALLTYPES : an algebraic language and TYPE system / Fritz Schwarz --
Real parametrization of algebraic curves / J. Rafael Sendra, Franz Winkler --
Non-clausal reasoning with propositionl definite theories / Zbigniew Stachniak.
Series Title: Lecture notes in computer science, 1476.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: Jacques Calmet, Jan Plaza (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/39733334> # Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "39733334" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/891976360#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/891976360#Topic/symbolische_logica> ; # Symbolische logica
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/891976360#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   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/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/891976360#Topic/reduktionssystem> ; # Reduktionssystem
   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/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
   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/intelligence_artificielle> ; # Intelligence artificielle
   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/kunstmatige_intelligentie> ; # Kunstmatige intelligentie
   schema:about <http://experiment.worldcat.org/entity/work/data/891976360#Topic/kongress> ; # Kongress
   schema:about <http://experiment.worldcat.org/entity/work/data/891976360#Topic/computeralgebra> ; # Computeralgebra
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/269682034> ; # Jan Plaza
   schema:contributor <http://viaf.org/viaf/85190794> ; # Jacques Calmet
   schema:copyrightYear "1998" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/891976360#Meeting/aisc_conference_4th_1998_plattsburgh_n_y> ; # AISC (Conference) (4th : 1998 : Plattsburgh, N.Y.)
   schema:datePublished "1998" ;
   schema:description "An inductive logic programming query language for database mining / Luc De Raedt -- Bertrand Russell, Herbrand's theorem, and the assignment statement / Melvin Fitting -- Representing and reasoning with context / Richmond H. Thomason -- From integrated reasoning specialists to "plug-and-play" resoning components / Alessandro Armando, Silvio Ranise -- Reasoning about coding theory : the benefits we get from computer algebra / Clemens Ballarin, Lawrence C. Paulson -- Automatic generation of Epsilon-Delta proofs of continuity / Michael Beeson -- Finite model search for equational theories (FMSET) / Belaid Benhamou, Laurent Heocque -- Specification and integration of theorem provers and computer algebra systems / P.G. Bertoli [and others] -- COLETTE, prototyping CSP solvers using a rule-based language / Carlos Castro -- An evolutionary algorithm for welding task sequence ordering / Martin Damsbo, Peder Thusgaard Ruhoff -- Intuitionistic proof transformations and their application to constructive program synthesis / Uwe Egli, Stephan Schmitt -- Combining algebraic computing and term-rewriting for geometry theorem proving / Stéphane Fèvre, Dongming Wang -- Cooperation between top-down and bottom-up theorem provers by subgoal clause transfer / Dirk Fuchs -- Polymorphic call-by-value calculus based on classical proofs / Ken-etsu Fujita -- Inference and verification in medical appropriateness criteria using Gröbner bases / L.M. Laita, E. Roanes-Lozano --, V. Maojo -- The unification problem for one relation Thue systems / Christopher Lynch -- Basic completion with E-cycle simplification / Christopher Lynch, Christelle Scharff -- SoleX : a domain-independent scheme for constraint solver extension / Eric Monfroy, Christophe Ringeissen -- Optimising propositional modal satisfiability for description logic subsumption / Ian Horrocks, Peter F. Patel-Schneider -- Instantiation of existentially quantified variables in induction specification proofs / Brigitte Pientka, Christoph Kreitz -- Knowledge discovery objects and queries in distributed knowledge systems / Zbigniew W. Raś, Jiyun Zheng -- ALLTYPES : an algebraic language and TYPE system / Fritz Schwarz -- Real parametrization of algebraic curves / J. Rafael Sendra, Franz Winkler -- Non-clausal reasoning with propositionl definite theories / Zbigniew Stachniak."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/891976360> ;
   schema:genre "Plattsburgh (NY, 1998)"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Kongress"@en ;
   schema:genre "Conference publication"@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 '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings"@en ;
   schema:productID "39733334" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/39733334#PublicationEvent/berlin_new_york_springer_1998> ;
   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/t1476.htm> ;
   schema:url <http://dx.doi.org/10.1007/BFb0055897> ;
   schema:url <http://link.springer.com/10.1007/BFb0055897> ;
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0815/98041662-t.html> ;
   schema:url <http://www.gbv.de/dms/goettingen/24771450X.pdf> ;
   schema:url <http://swbplus.bsz-bw.de/bsz068783051cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783540649601> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9881233> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/39733334> ;
    .


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_4th_1998_plattsburgh_n_y> # AISC (Conference) (4th : 1998 : Plattsburgh, N.Y.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/891976360#Place/plattsburgh_n_y> ; # Plattsburgh, N.Y.)
   schema:name "AISC (Conference) (4th : 1998 : Plattsburgh, N.Y.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/891976360#Place/plattsburgh_n_y> # Plattsburgh, N.Y.)
    a schema:Place ;
   schema:name "Plattsburgh, N.Y.)" ;
    .

<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/39733334> ; # Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings
   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/39733334> ; # Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings
   schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/891976360#Topic/automatisches_beweisverfahren> # Automatisches Beweisverfahren
    a schema:Intangible ;
   schema:name "Automatisches Beweisverfahren"@en ;
    .

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

<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 ;
    .

<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> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<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 ;
    .

<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://link.springer.com/10.1007/BFb0055897>
   rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

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

<http://viaf.org/viaf/269682034> # Jan Plaza
    a schema:Person ;
   schema:familyName "Plaza" ;
   schema:givenName "Jan" ;
   schema:name "Jan Plaza" ;
    .

<http://viaf.org/viaf/85190794> # Jacques Calmet
    a schema:Person ;
   schema:familyName "Calmet" ;
   schema:givenName "Jacques" ;
   schema:name "Jacques Calmet" ;
    .

<http://worldcat.org/isbn/9783540649601>
    a schema:ProductModel ;
   schema:isbn "3540649603" ;
   schema:isbn "9783540649601" ;
    .

<http://www.worldcat.org/title/-/oclc/39733334>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/39733334> ; # Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings
   schema:dateModified "2017-12-24" ;
   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.