Übersetzung für "Automated reasoning" in Deutsch
We
contributeÂ
to
the
research
and
development
of
tools
for
automated
reasoning
.
Die
Erforschung
und
Bereitstellung
von
Werkzeugen
zum
Automatischen
Schließen
ist
unsere
Hauptaufgabe.
ParaCrawl v7.1
These
include
"Studies
in
Logic,
Grammar
and
Rhetoric",
"Intelligent
Computer
Mathematics",
"Interactive
Theorem
Proving",
"Journal
of
Automated
Reasoning"
and
the
"Journal
of
Formalized
Reasoning".
Diese
umfassen
"Studies
in
Logic,
Grammar
and
Rhetoric",
"Intelligent
Computer
Mathematics",
"Interactive
Theorem
Proving",
"Journal
of
Automated
Reasoning"
und
das
"Journal
of
Formalized
Reasoning".
Wikipedia v1.0
The
increasing
complexity
of
software
systems,
be
it
automated
reasoning
or
formal
software
engineering
systems,
requires
a
prohibitive
development
and
maintenance
effort
that
makes
it
impossible
for
each
research
and
development
group
to
have
its
own
systems.
Die
steigende
Komplexität
von
Softwaresystemen
im
akademischen
Bereich,
seien
sie
automatische
Beweissysteme
oder
Systeme
zur
Entwicklung
von
Software
mit
formalen
Methoden,
macht
einen
hohen
Zeit-
und
Personalaufwand
zur
Entwicklung
und
Wartung
solcher
Systeme
erforderlich.
EUbookshop v2
The
success
of
OWL
can
be
largely
attributed
to
automated
reasoning
support,
which
can
help
analysing
consequences
of
axioms
in
ontologies.
Der
Erfolg
von
OWL
basiert
im
Wesentlichen
auf
der
Unterstützung
von
automatischem
Schlussfolgern,
welches
es
erlaubt
die
impliziten
Konsequenzen
einer
Ontologie
zu
analysieren.
ParaCrawl v7.1
The
object
is
to
cover
all
the
phases
normally
associated
with
ontology
creation
-
from
design
right
down
to
mapping
with
other
interoperable
ontologies
or
automated
logical
deduction
(reasoning).
Ziel
ist
dabei,
sämtliche
Phasen
im
Prozess
einer
Ontologie-Entwicklung
zu
ermöglichen,
vom
Design
über
das
Mapping
mit
anderen
interoperablen
Ontologien
bis
hin
zu
automatisierten
logischen
Schlussfolgerungen
(Reasoning).
ParaCrawl v7.1
In
addition,
automated
reasoning
allows
for
making
implicit
knowledge
explicit,
which
can,
for
example,
be
used
for
gaining
new
information
or
for
checking
the
modelling.
Zudem
können
durch
automatisches
Schlussfolgern
implizite
Zusammenhänge
explizit
gemacht
werden
können,
was
sich
zum
Beispiel
für
das
Gewinnen
neuer
Erkenntnisse
und
das
Überprüfen
der
Modellierung
einsetzen
lässt.
ParaCrawl v7.1
They
are
very
useful
at
doing
such
things
as
analyzation
and
data
processing
functions,
performing
complex
calculations
and
then
combine
these
with
a
type
of
automated
reasoning.
Sie
sind
sehr
nützlich
bei
der
Erfüllung
solcher
Aufgaben
wie
die
Datenverarbeitung
oder
der
Datenanalyse,
sie
führen
komplexe
Berechnungen
aus
und
kombinieren
sie
zu
einer
Art
automatischer
Schlusfolgerung.
ParaCrawl v7.1
Before
that,
I
did
my
PhD
here
at
the
University
of
Ulm
and
I
also
obtained
some
helpful
experience
and
skills
in
the
industry
since
then.My
main
research
interests
are
logic-based
knowledge
representation
and
automated
reasoning.
Zuvor
habe
ich
an
der
Universität
Ulm
promoviert
und
anschließend
auch
einige
hilfreiche
Erfahrungen
und
Erkenntnisse
in
der
Industrie
gesammelt.Hauptsächlich
beschäftige
ich
mich
mit
der
logikbasierten
Wissensrepräsentation
und
dem
automatischen
Schlussfolgern.
ParaCrawl v7.1
For
this
reason,
automated
delivery
is
a
thing
of
the
past.
Aus
diesem
Grund
ist
die
automatische
Zustellung
eine
Sache
der
Vergangenheit.
ParaCrawl v7.1
Which
automated
tests
are
reasonable
at
which
process
level?
Welche
automatischen
Tests
sind
auf
welcher
Prozessebene
sinnvoll?
ParaCrawl v7.1
For
convenience,
fuel
consumption,
and
environmental
reasons,
automated
power
trains
are
being
used
more
often
in
motor
vehicles.
Aus
Komfort,
Verbrauchs-
und
Umweltgründen
werden
in
modernen
Kraftfahrzeugen
zunehmend
automatisierte
Antriebsstränge
eingesetzt.
EuroPat v2
The
investigation
of
platelet
function
has
nowadays
been
extensively
automated
for
reasons
of
rationalization
and
precision.
Aus
Gründen
der
Rationalisierung
und
Präzision
ist
die
Untersuchung
der
Plättchenfunktion
heute
weitgehend
automatisiert.
EuroPat v2
Alternatively,
the
deviations
can
be
rendered
harmless
by
means
of
an
individual
calibration
of
all
sensors
of
each
tire
after
its
vulcanization,
wherein
said
calibration
is
automated
for
cost
reasons.
Oder
aber
die
Abweichungen
werden
durch
eine
individuelle,
aus
Kostengründen
automatisierte,
Eichung
aller
Sensoren
eines
jeden
Reifens
nach
dessen
Vulkanisation
unschädlich
gemacht.
EuroPat v2
Such
an
expense,
in
particular
when
handling
small
quantities,
can
become
excessive
in
comparison
to
the
overall
gripper
system,
so
that
many
types
of
gripping
tasks
cannot
be
automated
due
to
reasons
of
cost.
Ein
derartiger
Aufwand
kann
insbesondere
bei
der
Hantierung
kleiner
Stückzahlen
im
Hinblick
auf
das
Gesamtsystem
des
Greifersystems
zu
stark
ins
Gewicht
fallen,
so
dass
vielfältige
Greiferaufgaben
bereits
aus
Kostengründen
nicht
automatisiert
werden
können.
EuroPat v2
During
a
joint
analysis
we
shall
evaluate
which
of,
and
to
what
extent,
your
production
processes
can
be
reasonably
automated.
Bei
einer
gemeinsamen
Analyse
ermitteln
wir,
welche
Prozesse
in
Ihrer
Fertigung
in
welchem
Umfang
sinnvoll
automatisiert
werden
können.
ParaCrawl v7.1
For
this
reason,
automated
driving
represents
an
important
step
on
the
path
toward
Vision
Zero
–
the
goal
of
road
traffic
without
fatalities,
injuries
or
accidents.
Deshalb
ist
das
automatisierte
Fahren
ein
wichtiger
Schritt
auf
dem
Weg
zur
Vision
Zero
–
dem
Ziel
eines
Straßenverkehrs
ohne
Tote,
Verletzte
und
Unfälle.
ParaCrawl v7.1