Zobrazeno 1 - 10
of 100
pro vyhledávání: '"Formale Semantik"'
Autor:
Dutka, Olha
Woran erkennt man, ob eine Äußerung nur informierend ist oder eine Meinung ausdrückt? Gibt es prototypische Realisierungen von Meinungsäußerungen? Diesen Fragen geht die vorliegende Arbeit aus pragmalinguistischer Perspektive nach. Anhand von sp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2091::5dd0dad04855423de6f828789e6e0576
https://opus4.kobv.de/opus4-fau/files/15067/OlhaDutka_Diss_OPUS.pdf
https://opus4.kobv.de/opus4-fau/files/15067/OlhaDutka_Diss_OPUS.pdf
In the implementation of abstract synchronous communication in asynchronous unstructured low-level languages, e. g., using shared variables, the preservation of safety and especially liveness properties is a hitherto open problem due to inherently di
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eedce3bfc66d24b18e7d01adb8b2b7c8
Autor:
Heyninck, Jesse (M. A.)
Anfechtbares Schließen ist eine Form des Schlussfolgern, bei der manche Schlüsse nur vorläufig gezogen werden. Es wurde unter Verwendung vieler verschiedener Formalismen untersucht, die oft schwer zu vergleichen sind. Formale Argumentation bietet
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3579::778a00602502e0b4f84460deb1fdf3ed
https://hss-opus.ub.ruhr-uni-bochum.de/opus4/files/6463/diss.pdf
https://hss-opus.ub.ruhr-uni-bochum.de/opus4/files/6463/diss.pdf
Autor:
Oliveira, Hermógenes
The dissertation provides an analysis and elaboration of Michael Dummett's proof-theoretic notions of validity. Dummett's notions of validity are contrasted with standard proof-theoretic notions and formally evaluated with respect to their adequacy t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4e6dc10db13431a62e26b1499a14fd59
https://hdl.handle.net/10900/86246
https://hdl.handle.net/10900/86246
Autor:
Gese, Helga
Die Dissertation widmet sich dem Zustandspassiv aus einem ereignissemantischen Blickwinkel unter Verwendung einer empirischen, insbesondere psycholinguistischen Methodik. Die Grundlage der Arbeit stellt die Annahme einer Kopula-Adjektivanalyse des Zu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c76f33fde50fa2a8714fa83638d46e10
Autor:
Loebe, Frank
The original and still a major purpose of ontologies in computer and information sciences is to serve for the semantic integration of represented content, facilitating information system interoperability. Content can be data, information, and knowled
Externí odkaz:
https://ul.qucosa.de/id/qucosa%3A13283
https://ul.qucosa.de/api/qucosa%3A13283/attachment/ATT-0/
https://ul.qucosa.de/api/qucosa%3A13283/attachment/ATT-0/
Autor:
Loebe, Frank
The original and still a major purpose of ontologies in computer and information sciences is to serve for the semantic integration of represented content, facilitating information system interoperability. Content can be data, information, and knowled
Externí odkaz:
http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-166326
http://www.qucosa.de/fileadmin/data/qucosa/documents/16632/diss-loebe-final.pdf
http://www.qucosa.de/fileadmin/data/qucosa/documents/16632/diss-loebe-final.pdf
Autor:
Vandikas, Konstantinos
Publikováno v:
Aachen : Publikationsserver der RWTH Aachen University XVII, 255 S. : Ill., graph. Darst. (2015). = Aachen, Techn. Hochsch., Diss., 2014
In software design, a service-oriented architecture is a set of principles and methodologies used for designing and developing software in the form of interoperable services. Each service encapsulates well-defined business functionality and it is bui
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______791::f258331f996bd98b3f2926950afc1804
This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2012 Workshops LENLS, JURISIN, ALSIP, MiMI, which tool place on November/December 2012, respectively, in Miyazaki, Japan. The 17 contributions in this volume
Autor:
Klaus-Dieter Schewe, Bernhard Thalheim
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Semantics in Data and Knolwedge Bases, SDKB 2008, held in Nantes, France, on March 29, 2008. The 6 revised full papers presented together w