WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/891976360

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

This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000. The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications.

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "AISC 2000"
  • "AISC 2006"
  • "AISC 2006"@en
  • "AISC'98"
  • "AISC'98"@en

contributor

http://schema.org/contributor

creator

description

http://schema.org/description

  • "This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000. The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications."@en
  • "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 full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery."
  • "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 full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery."@en

editor

genre

http://schema.org/genre

  • "Conference papers and proceedings"
  • "Conference papers and proceedings"@en
  • "Kongress"
  • "Plattsburgh (NY, 1998)"
  • "Madrid (2000)"
  • "Online-Publikation"
  • "Congressen (vorm)"@en
  • "Congressen (vorm)"
  • "Online resources"@en
  • "Ressources Internet"
  • "Conference proceedings"
  • "Conference proceedings"@en
  • "Electronic books"@en
  • "Electronic books"

name

http://schema.org/name

  • "Artificial intelligence and symbolic computation : 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006 ; proceedings"
  • "Artificial intelligence and symbolic computation : international conference, Madrid, Spain, July 17 - 19, 2000 ; revised papers"
  • "Artificial intelligence and symbolic computation : International Conference, AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers"@en
  • "Artificial intelligence and symbolic computation : international conference AISC 2000 Madrid, Spain, July 17 - 19, 2000 : revised papers"
  • "Artificial intelligence and symbolic computation : international conference, AISC 2000, Madrid, Spain, July 17-19, 2000 revised papers"
  • "Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers"
  • "Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings"
  • "Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings"
  • "Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings"
  • "Artificial intelligence and symbolic computation International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings"@en
  • "Artificial intelligence and symbolic computation International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings"
  • "Artificial intelligence and symbolic computation : [fifth] international conference, AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers"
  • "Artificial Intelligence and Symbolic Computation International Conference AISC98 Plattsburg, New York, USA, September 1618, 1998 Proceedings"@en
  • "Artificial intelligence and symbolic computation : international conference AISC '98, Plattsburgh, New York, USA, September 16 - 18, 1998 : proceedings"
  • "Artificial Intelligence and Symbolic Computation International Conference AISC'98 Plattsburg, New York, USA, September 16-18, 1998 Proceedings"
  • "Artificial intelligence and symbolic computation 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings"
  • "Artificial intelligence and symbolic computation International Conference, AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings"
  • "Artificial intelligence and symbolic computation : international conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 proceedings"
  • "Artificial intelligence and symbolic computation international conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings"
  • "Artificial intelligence and symbolic computation International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings"@en
  • "Artificial intelligence and symbolic computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 ; proceedings"
  • "Artificial intelligence and symbolic computation : proceedings"
  • "Artificial intelligence and symbolic computation : International Conference, AISC 2000 Madrid, Spain, July 17-19, 2000 : revised papers"
  • "Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings"@en
  • "Artificial intelligence and symbolic computation proceedings"
  • "Artificial intelligence and symbolic computation : international conference AISC '98, Plattsburg, New York, USA September 16-18, 1998 : proceedings"
  • "Artificial Intelligence and Symbolic Computation"
  • "Artificial Intelligence and Symbolic Computation"@en
  • "Artificial Intelligence and Symbolic Computation International Conference AISC 2000 Madrid, Spain, July 17-19,2000 Revised Papers"
  • "Artificial intelligence and symbolic computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings"
  • "Artificial intelligence and symbolic computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings"@en
  • "Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings"@en
  • "Artificial intelligence and symbolic computation : international conference, AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers"
  • "Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings"
  • "Artificial intelligence and symbolic computation International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers"
  • "Artificial intelligence and symbolic computation International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers"@en
  • "Artificial intelligence and symbolic computation : [fourth] international conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings"
  • "Artificial intelligence and symbolic computation : International Conference AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings"
  • "Artificial intelligence and symbolic computation : 8th international conference, AISC 2006, Beijing, China, September 20 - 22, 2006 ; proceedings"
  • "Artificial intelligence and symbolic computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16 - 18, 1998 ; proceedings"

workExample

http://schema.org/workExample