Terms for subject Artificial intelligence containing logic

English	German
arithmetic and logic unit	arithmetische und logische Einheit (Konnektionsmaschine)
computational logic	maschinelle Logik
deductive logic	deduktive Logik
deontic logic	deontische Logik (Logik der moralischen Begriffe)
dynamic logic	dynamische Logik
elementary symbolic logic	elementare formale Logik
epistemic logic	epistemische Logik
erotetic logic	Logik der Fragestellungen
erotetic logic	erotematische Logik
facet logic	Facettenlogik (eine nichtmonotone Logik)
first-order logic	Prädikatenlogik erster Ordnung (Stufe)
first-order logic	Quantorenlogik erster Ordnung (Stufe)
first-order logic	Prädikatenkalkül erster Ordnung (Stufe)
First-order Logic Program	FOL-Programm (Programm "Logik erster Ordnung"; ein Prüfer für Beweise im Prädikatenkalkül erster Ordnung)
first-order predicate logic	Quantorenlogik erster Ordnung (Stufe)
first-order predicate logic	Prädikatenlogik erster Ordnung (Stufe)
first-order predicate logic	Prädikatenkalkül erster Ordnung (Stufe)
free logic	freie Logik
fuzzy logic	vage Logik
Horn clause logic	Horn-Klausel-Logik
inductive logic	induktive Logik
limited-logic natural-language system	natürlichsprachiges System mit begrenzter Logik
logic decision criterion	logisches Entscheidungskriterium
Logic in LISP	eine logische Erweiterung von LISP
Logic in LISP	Logik in LISP
Logic Machine Architecture	LMA (Logikmaschinenarchitektur, ein Entwurfssystem für automatische Schlußfolgerungsprogramme)
logic of surprise	Logik des Erstaunens
logic-oriented style of programming	logikorientierter Programmierstil
logic-oriented style of programming	logisches Programmieren
Logic Theorist	LT (Logik-Theoretiker, ein heuristisches Programm zum Theorembeweisen im Aussagenkalkül)
many-sorted logic	mehrsortige Logik
many-valued logic	mehrwertige Logik
many-valued propositional logic	mehrwertige Aussagenlogik
modal logic	modale Logik
natural logic	natürliche Logik
nonclassical logic	nichtklassische Logik
nonexistent-object logic	Logik nichtexistenter Objekte
nonmonotonic logic	nichtmonotone Logik
predicate logic	Funktionenkalkül
predicate logic	Quantorenlogik
predicate logic	Prädikatenkalkül
probability logic	Wahrscheinlichkeitslogik
Programming in Logic	Prolog (Programmiersprache der KI)
propositional dynamic logic	dynamische Aussagenlogik
propositional many-valued logic	mehrwertige Aussagenlogik
propositional modal logic	modale Aussagenlogik
quantifier logic	Prädikatenlogik
quantifier logic	Funktionenkalkül
quantifier logic	Quantorenlogik
quantifier logic	Prädikatenkalkül
second-order logic	Quantorenlogik zweiter Ordnung (Stufe)
second-order logic	Prädikatenlogik zweiter Ordnung (Stufe)
second-order logic	Prädikatenkalkül zweiter Ordnung (Stufe)
state logic	Zustandslogik
symbolic logic	theoretische Logik
symbolic logic	mathematische Logik
symbolic logic	symbolische Logik
ternary logic	dreiwertige Logik
three-valued logic	dreiwertige Logik
threshold logic	Schwellenwertlogik
time logic	Zeitlogik
truth-functional logic	Wahrheitsfunktionslogik
type logic	Typenlogik
zero-order logic	Aussagenlogik
zero-order logic	Logik nullter Ordnung