Computational Logic in an Object-Oriented World

Bob Kowalski. Computational Logic in an Object-Oriented World. In Oliviero Stock, Marco Schaerf, editors, Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello. Volume 4155 of Lecture Notes in Computer Science, pages 59-82, Springer, 2006. [doi]

@inproceedings{Kowalski06,
  title = {Computational Logic in an Object-Oriented World},
  author = {Bob Kowalski},
  year = {2006},
  doi = {10.1007/11829263_4},
  url = {http://dx.doi.org/10.1007/11829263_4},
  tags = {meta-model, logic, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Kowalski06},
  cites = {0},
  citedby = {0},
  pages = {59-82},
  booktitle = {Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello},
  editor = {Oliviero Stock and Marco Schaerf},
  volume = {4155},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37901-0},
}