Results 11 to 20 of about 237,519 (286)
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 +2 more sources
THE STATUS OF ARGUMENTS IN ABSTRACT ARGUMENTATION FRAMEWORKS. A TABLEAUX METHOD
Manuscrito, 2023 Dung’s argumentation frameworks are formalisms widely used to model interaction among arguments. Although their study has been profusely developed in the field of Artificial Intelligence, it is not common to see its treatment among those less connected ...
GUSTAVO A. BODANZA +1 more
doaj +1 more source
Nanomaterials, 2022 We study a new technique for solving the fundamental challenge in nanophotonic design: fast and accurate characterization of nanoscale photonic devices with minimal human intervention.
Xinyu Chen +6 more
doaj +1 more source
CCRO: Citation’s Context & Reasons Ontology
IEEE Access, 2019 Research papers can be visualized as a networked information space that contains a collection of information entities, inter-connected by directed links, commonly known as citation graph.
Imran Ihsan, Muhammad Abdul Qadir
doaj +1 more source
A Combinatorial Approach to the Computation of the Fractional Edge Dimension of Graphs
Mathematics, 2021 E. Yi recently introduced the fractional edge dimension of graphs. It has many applications in different areas of computer science such as in sensor networking, intelligent systems, optimization, and robot navigation.
Nosheen Goshi +3 more
doaj +1 more source
How Do Living Systems Create Meaning?
Philosophies, 2020 Meaning has traditionally been regarded as a problem for philosophers and psychologists. Advances in cognitive science since the early 1960s, however, broadened discussions of meaning, or more technically, the semantics of perceptions, representations ...
Chris Fields, Michael Levin
doaj +1 more source
Immersive learning research [PDF]
, 2018 Editorial. Material for the special issue "Immersive Learning Research" of the Journal of Universal Computer Science.Welcome to the Journal of Universal Computer Science (J.UCS) special issue organized by the Immersive Learning Research Network (iLRN ...
Allison, Colin +3 more
core +2 more sources
A Unified Approach for Extremal General Exponential Multiplicative Zagreb Indices
Axioms, 2023 The study of the maximum and minimal characteristics of graphs is the focus of the significant field of mathematics known as extreme graph theory. Finding the biggest or smallest graphs that meet specified criteria is the main goal of this discipline ...
Rashad Ismail +4 more
doaj +1 more source
Full abstraction for fair testing in CCS [PDF]
, 2013 In previous work with Pous, we defined a semantics for CCS which may both be viewed as an innocent presheaf semantics and as a concurrent game semantics. It is here proved that a behavioural equivalence induced by this semantics on CCS processes is fully
B. Ahrens +10 more
core +4 more sources
Efficient Human Pose Estimation in Hierarchical Context
IEEE Access, 2019 Most existing human pose estimation methods focus on enhancing the accuracy performance alone while ignoring the critical model efficiency issue. This dramatically limits their scalability and deployability in large-scale applications.
Feng Zhang, Xiatian Zhu, Mao Ye
doaj +1 more source