![]() |
|
Bibtex entry @inbook{ref15,
title = {Handbook of Logic in Artificial Intelligence and Logic Programming}, year = {1995}, editor = {Gärdenfors, P. and Rott, H.}, volume = {IV}, series = {Epistemic and Temporal Reasoning}, publisher = {unknown}, chapter = {4.2} |
|
Home | Publications | People | Conferences | Software | Tutorials | Other | Newsletter Site created by Studio 4 and the Innovation and Technology Research Laboratory. Contact |