WorldCat Linked Data Explorer

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

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

Logics in artificial intelligence European Workshop, JELIA '96, Évora, Portugal, September 30-October 3, 1996, proceedings

This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996. The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency.

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "JELIA '96"
  • "JELIA '96"@en
  • "JELIA'96"

author

contributor

creator

description

http://schema.org/description

  • "This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996. The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency."@en
  • ""This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996. The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency."--PUBLISHER'S WEBSITE."

editor

genre

http://schema.org/genre

  • "Conference papers and proceedings"@en
  • "Conference papers and proceedings"
  • "Congressen (vorm)"@en
  • "Electronic books"@en

name

http://schema.org/name

  • "Logics in artificial intelligence European Workshop, JELIA '96, Évora, Portugal, September 30-October 3, 1996, proceedings"
  • "Logics in artificial intelligence European Workshop, JELIA '96, Évora, Portugal, September 30-October 3, 1996, proceedings"@en
  • "Logics in Artificial Intelligence European Workshop, JELIA '96 Évora, Portugal September 30 - October 3, 1996 Proceedings"
  • "Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30-October 3, 1996 : proceedings"@en
  • "Logics in artificial intelligence : european workshop, JELIA '96, Évora, Portugal, september 30 - october 3, 1996 : proceedings"
  • "Logics in artificial intelligence : European workshop JELIA'96, Evora, Portugal, September 30 - October 3, 1996 : proceedings"
  • "Logics in artificial intelligence : European workshop, JELIA '96 : Évora, Portugal, September 30-October 3, 1996 : proceedings"
  • "Logics in artificial intelligence European Workshop, JELIA '96; Évora, Portugal, September 30-October 3, 1996; proceedings"
  • "Logics in artificial intelligence : European Workshop, JELIA'96 Évora, Portugal, September 30-October 3,1996 : proceedings"
  • "Logics in artificial intelligence : European workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996 : proceedings"
  • "Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30-October 3, 1996, proceedings"
  • "Logics in artificial intelligence : European workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996 ; proceedings"
  • "Logics in artificial intelligence : european workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996 : proceedings"
  • "Logics in artificial intelligence European workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996 : proceedings"@en

workExample