The automatic code generation is the process of generating source code snippets from a program, i.e., code for generating code. Its importance lies in facilitating software development, particularly important is helping in the implementation of software designs such as engineering diagrams, in such a case, automatic code generation copes with the…

Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

This article discusses a variety of examples in errors in mathematical reasoning, the source of which is due to the tension between the syntax (form of mathematical expression) and semantics (underlying ideas or meaning). This article suggests that the heightened awareness of syntactic and semantic reasoning, and the consequent resolution of the…

Online discussion forums provide open workspace allowing learners to share information, exchange ideas, address problems and discuss on specific themes. But the substantial impediment to its promotion as effective e-learning facility lies in the continuously increasing messages but with discrete and incoherent structure as well as the loosely-tied…

Presents an indexing and information retrieval method that, based on the vector space model, incorporates term dependencies and thus obtains semantically richer representations of documents. Highlights include term context vectors; techniques for estimating the dependencies among terms; term weights; experimental results on four text collections;…

Discussion of the failure of individual keywords to identify conceptual content of documents in retrieval systems highlights Metric Similarity Modeling, a method for creating vector space representation of documents based on modeling target interdocument similarity values. Semantic relatedness, latent semantic indexing, an indexing and retrieval…

Discussion of methodologies for the semantic integration of databases focuses on formalizing the notion of schema equivalence and the schema integration process. Topics include common data model; the Entity-Relationship (ER)model; transformation of ER models; transformational, mapping, and behavioral schema equivalence; and knowledge-based…

Discussion of data repositories available in global information systems focuses on facilitating access by providing semantic views. Highlights include the mapping relation; syntax and semantics of the mapping; query formulation and processing; terminological systems for semantic views; and relational algebraic expressions. (LRW)

Discussion of document ranking methods to calculate the conceptual distance between a Boolean query and a document focuses on the Knowledge-Based Extension Boolean Model which evaluates weighted queries and documents effectively and avoids problems of previous methods. Semantic networks are discussed, and is-a hierarchies are explained. (21…

Discussion of image database systems focuses on semantic queries and shows how an image is abstracted into a hierarchy of entity names and features; how relations are established between entities visible in the image; and how a "fuzzy" matching technique is used to compare semantic queries to image abstractions. (Author/LRW)

Discusses automated information retrieval, focusing on statistical patterns expected of a pair of terms that are semantically related to each other, guided by text generation conceptualization. Examines how the tendency of a content bearing term to clump, as quantified by previously developed measures of term clumping, is influenced by the…

Discusses the use of logical imaging in information retrieval. Topics include the use of nonclassical logic in information retrieval; imaging and possible worlds semantics; retrieval by imaging; evaluation processes; worlds mass and worlds distance; and future work. (LRW)

Explains how a competition-based connectionist model for diagnostic problem-solving is adapted to information retrieval. Topics include probabilistic causal networks; Bayesian networks; the neural network model; empirical studies of test collections that evaluated retrieval performance; precision results; and the use of a thesaurus to provide…

Discussion of the use of Latent Semantic Indexing to determine relevancy in information retrieval focuses on statistical regression and Bayesian methods. Topics include keyword searching; a multiple regression model; how the regression model can aid search methods; and limitations of this approach, including complexity, linearity, and…

Considers several aspects of quantitative relationships involved in learning physics. Includes discussions of proportionality, various kinds of equality, and the need for generality. Argues that clear distinctions are necessary if the physics curriculum is to be examined with regard to pupil outcomes. (TW)