A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases

Suryanarayana M. Sripada. A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases. In IJCAI. pages 860-865, 1993.

@inproceedings{Sripada93,
  title = {A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases},
  author = {Suryanarayana M. Sripada},
  year = {1993},
  tags = {programming, systematic-approach},
  researchr = {https://researchr.org/publication/Sripada93},
  cites = {0},
  citedby = {0},
  pages = {860-865},
  booktitle = {IJCAI},
}