Borrow it
 African Studies Library
 Alumni Medical Library
 Astronomy Library
 Fineman and Pappas Law Libraries
 Frederick S. Pardee Management Library
 Howard Gotlieb Archival Research Center
 Mugar Memorial Library
 Music Library
 Pikering Educational Resources Library
 School of Theology Library
 Science & Engineering Library
 Stone Science Library
The Resource Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC1 Karlsruhe, Germany, August 3–6, 1992 Proceedings, edited by Jacques Calmet, John A. Campbell, (electronic resource)
Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC1 Karlsruhe, Germany, August 3–6, 1992 Proceedings, edited by Jacques Calmet, John A. Campbell, (electronic resource)
Resource Information
The item Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC1 Karlsruhe, Germany, August 3–6, 1992 Proceedings, edited by Jacques Calmet, John A. Campbell, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC1 Karlsruhe, Germany, August 3–6, 1992 Proceedings, edited by Jacques Calmet, John A. Campbell, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
 Summary
 This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence and Symbolic Mathematical Computations)conference, held in Karlsruhe, August 36, 1992. This was the first conference to be devoted to such a topic after a long period when SMC made no appearance in AI conferences, though it used to be welcome in the early days of AI. Some conferences were held recently on mathematics and AI, but none was directly comparable in scope to this conference. Because of the novelty of the domain, authors were given longer allocations of time than usual in which to present their work. As a result, extended and fruitful discussions followed each paper. The introductory chapter in this book, which was not presented during the conference, reflects in many ways the flavor of these discussions and aims to set out the framework for future activities in this domain of research. In addition to the introduction, the volume contains 20 papers
 Language
 eng
 Extent
 IX, 315 p.
 Contents

 Artificial intelligence and symbolic mathematical computations
 Qualitative modeling of physical systems in AI research
 On the topological structure of configuration spaces
 A symbolic approach to interval constraint problems
 An algebraic approach to knowledgebased modeling
 Intelligent user interfaces for symbolic and numeric computation
 The progress towards an intelligent assistant — A discussion paper
 On mathematical modeling in robotics
 Gröbner bases: Strategies and applications
 Heuristic search strategies for Cylindrical Algebraic Decomposition
 Unified domains and abstract computational structures
 Completion and invariant theory in symbolic computation and artificial intelligence
 A typecoercion problem in computer algebra
 Algorithmic development of power series
 A cooperative approach to query processing: Integrating historical, structural, and behavioral knowledge sources
 A desktop sequent calculus machine
 Gentzenstyle characterizations of Negation as Failure
 A new translation from deduction into integer programming
 Reasoning about time
 Learning qualitative physics reasoning from regime analysis
 Qualitative mathematical modelling of genetic algorithms
 Isbn
 9783540480631
 Label
 Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC1 Karlsruhe, Germany, August 3–6, 1992 Proceedings
 Title
 Artificial Intelligence and Symbolic Mathematical Computing
 Title remainder
 International Conference AISMC1 Karlsruhe, Germany, August 3–6, 1992 Proceedings
 Statement of responsibility
 edited by Jacques Calmet, John A. Campbell
 Subject

 Algebra  Data processing
 Computer science
 Computer science
 Combinatorics
 Artificial intelligence
 Computer Science
 Computer Science
 Numerical analysis
 Numerical analysis
 Combinatorics
 Numerical analysis
 Numerical Analysis
 Electronic resources
 Algebra  Data processing
 Artificial intelligence
 Combinatorics
 Artificial intelligence
 Numerical Analysis
 Algebra  Data processing
 Computer Science
 Computer science
 Numerical Analysis
 Artificial Intelligence (incl. Robotics)
 Symbolic and Algebraic Manipulation
 Language
 eng
 Summary
 This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence and Symbolic Mathematical Computations)conference, held in Karlsruhe, August 36, 1992. This was the first conference to be devoted to such a topic after a long period when SMC made no appearance in AI conferences, though it used to be welcome in the early days of AI. Some conferences were held recently on mathematics and AI, but none was directly comparable in scope to this conference. Because of the novelty of the domain, authors were given longer allocations of time than usual in which to present their work. As a result, extended and fruitful discussions followed each paper. The introductory chapter in this book, which was not presented during the conference, reflects in many ways the flavor of these discussions and aims to set out the framework for future activities in this domain of research. In addition to the introduction, the volume contains 20 papers
 http://library.link/vocab/creatorName
 Calmet, Jacques
 Image bit depth
 0
 LC call number
 QA76.9.M35
 Literary form
 non fiction
 http://library.link/vocab/relatedWorkOrContributorName

 Campbell, John A.
 SpringerLink
 Series statement
 Lecture Notes in Computer Science,
 Series volume
 737
 http://library.link/vocab/subjectName

 Computer science
 Algebra
 Artificial intelligence
 Numerical analysis
 Combinatorics
 Computer Science
 Symbolic and Algebraic Manipulation
 Artificial Intelligence (incl. Robotics)
 Combinatorics
 Numerical Analysis
 Label
 Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC1 Karlsruhe, Germany, August 3–6, 1992 Proceedings, edited by Jacques Calmet, John A. Campbell, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Artificial intelligence and symbolic mathematical computations  Qualitative modeling of physical systems in AI research  On the topological structure of configuration spaces  A symbolic approach to interval constraint problems  An algebraic approach to knowledgebased modeling  Intelligent user interfaces for symbolic and numeric computation  The progress towards an intelligent assistant — A discussion paper  On mathematical modeling in robotics  Gröbner bases: Strategies and applications  Heuristic search strategies for Cylindrical Algebraic Decomposition  Unified domains and abstract computational structures  Completion and invariant theory in symbolic computation and artificial intelligence  A typecoercion problem in computer algebra  Algorithmic development of power series  A cooperative approach to query processing: Integrating historical, structural, and behavioral knowledge sources  A desktop sequent calculus machine  Gentzenstyle characterizations of Negation as Failure  A new translation from deduction into integer programming  Reasoning about time  Learning qualitative physics reasoning from regime analysis  Qualitative mathematical modelling of genetic algorithms
 Dimensions
 unknown
 Extent
 IX, 315 p.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783540480631
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/3540573224
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783540480631
 Label
 Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC1 Karlsruhe, Germany, August 3–6, 1992 Proceedings, edited by Jacques Calmet, John A. Campbell, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Artificial intelligence and symbolic mathematical computations  Qualitative modeling of physical systems in AI research  On the topological structure of configuration spaces  A symbolic approach to interval constraint problems  An algebraic approach to knowledgebased modeling  Intelligent user interfaces for symbolic and numeric computation  The progress towards an intelligent assistant — A discussion paper  On mathematical modeling in robotics  Gröbner bases: Strategies and applications  Heuristic search strategies for Cylindrical Algebraic Decomposition  Unified domains and abstract computational structures  Completion and invariant theory in symbolic computation and artificial intelligence  A typecoercion problem in computer algebra  Algorithmic development of power series  A cooperative approach to query processing: Integrating historical, structural, and behavioral knowledge sources  A desktop sequent calculus machine  Gentzenstyle characterizations of Negation as Failure  A new translation from deduction into integer programming  Reasoning about time  Learning qualitative physics reasoning from regime analysis  Qualitative mathematical modelling of genetic algorithms
 Dimensions
 unknown
 Extent
 IX, 315 p.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783540480631
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/3540573224
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783540480631
Subject
 Algebra  Data processing
 Algebra  Data processing
 Algebra  Data processing
 Artificial Intelligence (incl. Robotics)
 Artificial intelligence
 Artificial intelligence
 Artificial intelligence
 Combinatorics
 Combinatorics
 Combinatorics
 Computer Science
 Computer Science
 Computer Science
 Computer science
 Computer science
 Computer science
 Electronic resources
 Numerical Analysis
 Numerical Analysis
 Numerical Analysis
 Numerical analysis
 Numerical analysis
 Numerical analysis
 Symbolic and Algebraic Manipulation
Member of
Library Locations

African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 71.108227


Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 71.105717

Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 71.107023

Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 71.099547

Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 71.108227


Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 71.108227

Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 71.101425

School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 71.107235

Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 71.102257

Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/ArtificialIntelligenceandSymbolicMathematical/rNqrUNSmpzM/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/ArtificialIntelligenceandSymbolicMathematical/rNqrUNSmpzM/">Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC1 Karlsruhe, Germany, August 3–6, 1992 Proceedings, edited by Jacques Calmet, John A. Campbell, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC1 Karlsruhe, Germany, August 3–6, 1992 Proceedings, edited by Jacques Calmet, John A. Campbell, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/ArtificialIntelligenceandSymbolicMathematical/rNqrUNSmpzM/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/ArtificialIntelligenceandSymbolicMathematical/rNqrUNSmpzM/">Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC1 Karlsruhe, Germany, August 3–6, 1992 Proceedings, edited by Jacques Calmet, John A. Campbell, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>