Publication:4784863

zbMath1001.68548MaRDI QIDQ4784863

Frédéric Koriche

Publication date: 12 December 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2143/21430556

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

68T37: Reasoning under uncertainty in the context of artificial intelligence