An edition of Revision, acceptability and context (2010)
theoretical and algorithmic aspects
By Dov M. Gabbay
Publish Date
2010
Publisher
Springer
Language
eng
Pages
385
Description:
subjects: Symbolic and mathematical Logic, Wissensrevision, Automation, Commonsense reasoning, Mathematics, Schlussfolgern, Artificial intelligence, Logik, Logic