Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer Science [PDF]
MATEC Web of Conferences, 2018 Game-theoretical interpretation of logical semantics has been first suggested in 1950s. Although it is well know among professionals, it is often excluded from introductory courses in logic.
Glivická Jana
doaj +4 more sources
The use of Semantic Technologies in Computer Science Curriculum: A Systematic Review [PDF]
arXiv, 2022 Semantic technologies are evolving and being applied in several research areas, including the education domain. This paper presents the outcomes of a systematic review carried out to provide an overview of the application of semantic technologies in the context of the Computer Science curriculum and discuss the limitations in this field whilst offering
Cheng, Yixin, Nunes, Bernardo Pereira
arxiv +3 more sources
Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk
BRICS Report Series, 1994 This is a transcript of a talk at the inauguration of BRICS, Basic Research in Computer Science, Centre of the Danish Research Foundation, on 2 February 1994 at the Steno museum, University of Aarhus, Denmark.
Glynn Winskel
openalex +3 more sources
Approaching the general quantification of functional information [PDF]
Scientific ReportsInformation is everywhere, especially in the digital, artificial intelligence, and big data worlds we live in. In fact, information has always played a pivotal role; however, that role is, as the years of history accumulate, becoming even more ...
Robert Kudelić
doaj +2 more sources
Truth, deduction and computation: Logic and semantics for computer science
Science of Computer Programming, 1990 Ralf Kneuper
openalex +3 more sources
Topological Models, Computer Science Semantics and Applications of Logic in AI [PDF]
, 2019 Αυτή η διδακτορική διατριβή είναι ένα έργο έρευνας σε ένα ευρύ φάσμα διαφορετικών πεδίων με τη συμβολική λογική να χρησιμεύει ως σημείο εκκίνησης. Ξεκινάμε αυτήν την εισαγωγή με αντίστροφη σειρά, έτσι ώστε η διεπιστημονική φύση της διατριβής να γίνει σαφέστερη. Το τρίτο και τελευταίο μέρος της διατριβής ασχολείται με την επεξηγηματική τεχνητή νοημοσύνη
Yiannis Kiouvrekis +1 more
+4 more sources
Special Issue: Quantum structures in computer science: Language, semantics, retrieval
Theoretical Computer Science, 2018 Diederik Aerts +4 more
openalex +5 more sources
STRUCTURE, SEMANTICS AND FUNCTIONAL FEATURES OF WORD-COMBINATIONS IN FRENCH COMPUTER SCIENCE TEXTS
Scientific notes of Taurida National V.I. Vernadsky University, series Philology. Social Communications, 2019 Л. В. Бондар +2 more
openalex +2 more sources
The semantic view of computation and the argument from the cognitive science practice [PDF]
Synthese, 2022 According to the semantic view of computation, computations cannot be individuated without invoking semantic properties. A traditional argument for the semantic view is what we shall refer to as the argument from the cognitive science practice. In its general form, this argument rests on the idea that, since cognitive scientists describe computations ...
Calzavarini, Fabrizio +1 more
openaire +2 more sources
Gender Recognition of Bangla Names Using Deep Learning Approaches
Applied Sciences, 2022 The name of individuals has a specific meaning and great significance. Individuals’ names generally have substantial gender differences, and explicitly, Bengali names usually have a solid sexual identity.
Md. Humaun Kabir +3 more
doaj +1 more source