Results 1 to 10 of about 280,631 (212)

Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer Science [PDF]

open access: diamondMATEC 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

Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk

open access: hybridBRICS 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
semanticscholar   +4 more sources

Special Issue: Quantum structures in computer science: Language, semantics, retrieval

open access: bronzeTheoretical Computer Science, 2018
Diederik Aerts   +4 more
semanticscholar   +6 more sources

Topological Models, Computer Science Semantics and Applications of Logic in AI [PDF]

open access: closed, 2019
Αυτή η διδακτορική διατριβή είναι ένα έργο έρευνας σε ένα ευρύ φάσμα διαφορετικών πεδίων με τη συμβολική λογική να χρησιμεύει ως σημείο εκκίνησης. Ξεκινάμε αυτήν την εισαγωγή με αντίστροφη σειρά, έτσι ώστε η διεπιστημονική φύση της διατριβής να γίνει σαφέστερη. Το τρίτο και τελευταίο μέρος της διατριβής ασχολείται με την επεξηγηματική τεχνητή νοημοσύνη
Yiannis Kiouvrekis   +1 more
  +4 more sources

Approaching the general quantification of functional information [PDF]

open access: yesScientific Reports
Information 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

STRUCTURE, SEMANTICS AND FUNCTIONAL FEATURES OF WORD-COMBINATIONS IN FRENCH COMPUTER SCIENCE TEXTS

open access: goldScientific 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]

open access: yesSynthese, 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

The Brain-Computer Metaphor Debate Is Useless: A Matter of Semantics

open access: yesFrontiers of Computer Science, 2022
It is commonly assumed that usage of the word “computer” in the brain sciences reflects a metaphor. However, there is no single definition of the word “computer” in use.
B. Richards, T. Lillicrap
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy