Terms for subject Artificial intelligence containing resolution

English	German
anaphora resolution	Anapherauflösung
anaphora resolution	Anapherresolution
axiom-resolution strategy	Axiom-Resolutions-Strategie
binary resolution	binäre Auflösung
binary resolution	binäre Resolution
camera resolution	Auflösung einer Kamera
conflict-resolution strategy	Konfliktlösungsstrategie
event-driven conflict resolution	datengesteuerte Konfliktlösung
event-driven conflict resolution	ereignisgesteuerte Konfliktlösung
general resolution	allgemeine Resolution
ground resolution	Basisresolution
linear resolution	lineare Resolution (beim Theorembeweisen)
linear resolution with selection function	SL-Resolution
linear resolution with selection function	lineare Resolution mit Selektionsfunktion
linear resolution with selection function for definite clauses	SLD-Resolution
linear resolution with selection function for definite clauses	lineare Resolution mit Selektionsfunktion für definite Klauseln
lock resolution	Lock-Resolution (Resolutionsstrategie)
refraction conflict-resolution strategy	Refraktärstrategie der Konfliktlösung
resolution-based theorem prover	nach dem Resolutionsprinzip arbeitender automatischer Beweiser
resolution-based theorem prover	Resolutionstheorembeweiser
resolution calculus	Resolutionskalkül
resolution method	Resolutionsmethode
resolution of depth	Tiefenauflösung
resolution principle	Auflösungsprinzip
resolution principle	Resolutionsprinzip
resolution refutation	Widerlegung durch Resolution
resolution refutation strategy	Resolutions-Widerlegungs-Strategie
resolution rule	Resolutionsregel
resolution strategy	Resolutionsstrategie (in der Prädikatenlogik)
resolution system	Resolutionssystem
resolution theorem prover	Resolutionstheorembeweiser
resolution theorem proving	Resolutionstheorembeweisen
selected linear definite resolution	SLD-Resolution
selected linear definite resolution	lineare Resolution mit Selektionsfunktion für definite Klauseln
selected linear resolution	SL-Resolution
selected linear resolution	lineare Resolution mit Selektionsfunktion
semantic resolution	semantische Resolution
set-of-support resolution	Stützmengenresolution
SL resolution	SL-Resolution
SL resolution	lineare Resolution mit Selektionsfunktion
SLD resolution	SLD-Resolution
SLD resolution	lineare Resolution mit Selektionsfunktion für definite Klauseln
specificity conflict-resolution strategy	Spezifitätsstrategie zur Lösung von Konflikten
unit resolution	Einer-Resolution
unit resolution	Einer-Klausel-Resolution