rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Executable modal and temporal logics
    sub title: IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
  name:
    name part: International Joint Conference on Artificial Intelligence, (1993 : Chambéry, France)
    role:
      role term: creator
  name:
    name part: Fisher, Michael
    name part: 1962-
  name:
    name part: Owens, Richard
    name part: 1965-
  type of resource: text
  genre: bibliography
  genre: conference publication
  origin info:
    place:
      place term: gw
    place:
      place term: Berlin
    place:
      place term: New York
    publisher: Springer
    date issued: c1995
    date issued: 1995
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: 180 p. : ill. ; 24 cm.
  table of contents: An Introduction to Executable Modal and Temporal Logics / Michael Fisher and Richard Owens -- Temporal Logic Programming with Metric and Past Operators / Christoph Brzoska -- A Combination of Clausal and Non Clausal -- Temporal Logic Programs / Shinji Kono -- Temporal Logic and Annotated Constraint Logic Programming / Thom Fruhwirth -- Efficiently Executable Temporal Logic Programs / Stephan Merz -- Towards a Semantics for Concurrent METATEM / Michael Fisher -- Constraint Deduction in an Interval-based Temporal Logic / Jana Koehler and Ralf Treinen -- Towards First-Order Concurrent METATEM / Mark Reynolds -- Solving Air-Traffic Problems with "Possible Worlds" / Marcos Cavalcanti -- Investigations into the Application of Deontic Logic / Nienke den Haan.
  note: Michael Fisher, Richard Owens, eds.
  note: Updated papers presented at the Workshop on Executable Modal and Temporal Logics.
  subject:
    topic: Logic programming
    topic: Congresses
  subject:
    topic: Prolog (Computer program language)
    topic: Congresses
  classification: QA76.63 .I566 1995
  classification: 005.13/1
  related item:
    title info:
      title: Lecture notes in computer science ; 897
  related item:
    title info:
      title: Lecture notes in computer science
      part name: Lecture notes in artificial intelligence
  identifier: 0387589767
  identifier: 3540589767
  identifier: 95001416
  location:
    physical location: CARM
  record info:
    record content source: TOC
    record creation date: 950104
    record change date: 19950417000000.0
    record identifier: c000162674
    language of cataloging:
      language term: eng