Logic programming
Standardlogik
Die Standardlogik ist eine nicht-monotone Logik, die von Raymond Reiter vorgeschlagen wurde, um die Argumentation mit Standardannahmen zu formalisieren. Die…
5 Jahren ago
Die Standardlogik ist eine nicht-monotone Logik, die von Raymond Reiter vorgeschlagen wurde, um die Argumentation mit Standardannahmen zu formalisieren. Die…