Results 341 to 350 of about 3,424,284 (379)
Some of the next articles are maybe not open access.
ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING
International Journal of Semantic Computing, 2010Semantics is the meaning of symbols, notations, concepts, functions, and behaviors, as well as their relations that can be deduced onto a set of predefined entities and/or known concepts. Semantic computing is an emerging computational methodology that models and implements computational structures and behaviors at semantic or knowledge level beyond ...
openaire +2 more sources
Semantic Authoring and Semantic Computing
2007Semantic Computing is to design and operate information systems based on meaning and vocabulary shared by people and computers. It aims at closing the semantic gap, thus enabling closer cooperation between people and information systems, and thereby semantically enriching our life-world.
openaire +2 more sources
Semantic Computing for Education
International Journal of Semantic Computing, 2015There are challenges educators face in delivering the vast amount of teaching material to students. Using ontologies could solve some of these issues. We survey different types of ontologies available that could aid educators teach students. We discuss how ontologies may help improve the education system for K-12, higher education, curriculum creating,
Jennifer Jin, Mira Kim, Pete Rivett
openaire +2 more sources
Inference in Computational Semantics
2001The Third Workshop on Inference in Computational Seamntics (ICoS-3) continues to pursue the aims of its predecessors (ICoS-1, held in Amsterdam, the Netherlands, on 15 August 1999, and ICoS-2, held at Schloss Dagstuhl, Germany, on 29-30 July 2000). That is, it aims to bring together researchers from areas such as Computational Linguistics, Artificial ...
Blackburn, Patrick, Kohlhase, Michael
openaire +3 more sources
Computing the acceptability semantics
1995We present a proof theory and a proof procedure for nonmonotonic reasoning based on the acceptability semantics for logic programming, formulated in an argumentation framework. These proof theory and procedure are defined as generalisations of corresponding proof theories and procedures for the stable theory and preferred extension semantics.
Antonis C. Kakas, Francesca Toni
openaire +2 more sources
Cognition, semantics and computers
Poetics, 1990Abstract Models of cognition and language currently in use as frameworks for computer applications present a clear disequilibrium: they neglect productive mental activities, as for instance synthesis, and over-estimate receptive ones, as analysis. The paper focuses on the Kantian concept of object-synthesis as a basic mental mechanism and underlines ...
openaire +2 more sources
Semantics and Logics of Computation
1997The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area.
Peter Dybjer, Andrew M. Pitts
openaire +2 more sources
Blueprint for cancer research: Critical gaps and opportunities
Ca-A Cancer Journal for Clinicians, 2021J Bonilla, C D Booth, D Boscherini
exaly
Semantics and the Computational Metaphor
1986Publisher Summary The computational hypothesis, irrespective of any particular experimental outcomes, has been claimed to carry some rather specific implications for the semantics of natural language. The purpose of the chapter is to criticize that claim.
openaire +2 more sources
Combining Machine Learning and Computational Chemistry for Predictive Insights Into Chemical Systems
Chemical Reviews, 2021Alexandre Tkatchenko +2 more
exaly