MITRE's future generation computer architectures program

1989 ◽  
Vol 24 (4) ◽  
pp. 99-101
Author(s):  
E. H. Bensley ◽  
T. J. Brando ◽  
J. C. Fohlin ◽  
M. J. Prelle ◽  
A. M. Wollrath
Keyword(s):  
Future Generation ◽  
Computer Architectures ◽  
Generation Computer

Logic Programming in the Fifth Generation

1984 ◽  
Vol 1 (1) ◽  
pp. 26-38 ◽  
Author(s):  
Robert Kowalski
Keyword(s):  
Artificial Intelligence ◽  
Logic Programming ◽  
Programming Language ◽  
Computer Systems ◽  
Database Systems ◽  
Computer Architectures ◽  
Multiprocessor Computer ◽  
Software Specification ◽  
Fifth Generation ◽  
Generation Computer

The Japanese Fifth Generation Computer Systems (FGCS) project has chosen logic programming for its core programming language. It has recognized the major contribution that logic programming has to make not only in artificial intelligence but in database systems and software specification as well. It has recognized and intends to exploit the greater potential that logic programming has to offer for taking advantage of the parallelism possible with innovative multiprocessor computer architectures.

scholarly journals Learning relations and logic programs

1994 ◽  
Vol 9 (1) ◽  
pp. 73-77 ◽  
Author(s):  
F. Bergadano ◽  
D. Gunetti
Keyword(s):  
Machine Learning ◽  
Logic Programming ◽  
Inductive Logic ◽  
Computational Learning Theory ◽  
Future Generation ◽  
Order Theory ◽  
Research Area ◽  
Theory Revision ◽  
First Order Theory ◽  
Generation Computer

Inductive Logic Programming (ILP) is an emerging research area at the intersection of machine learning, logic programming and software engineering. The first workshop on this topic was held in 1991 in Portugal (Muggleton, 1991). Subsequently, there was a workshop tied to the Future Generation Computer System Conference in Japan in 1992, and a third one in Bled, Slovenia, in April 1993 (Muggleton, 1993). Ideas related to ILP are also appearing in major AI and machine learning conferences and journals. Although European-based and mainly sponsored by ESPRIT, ILP aims at becoming equally represented elsewhere; for example, among researchers in America who are investigating relational learning and first order theory revision (see, for example, the papers in Birnbaum and Collins, 1991) and within the computational learning theory community. This year's IJCAI workshop on ILP is a first step in this direction, and includes recent work with a broader range of perspectives and techniques.

Semantic Web-Based Framework for Scientific Workflows in E-Science

2017 ◽  
pp. 187-202
Author(s):  
Singanamalla Vijayakumar ◽  
Nagaraju Dasari ◽  
Bharath Bhushan ◽  
Rajasekhar Reddy
Keyword(s):  
Web Services ◽  
Semantic Web ◽  
Scientific Community ◽  
Web Applications ◽  
Future Generation ◽  
Scientific Workflows ◽  
Specific Domain ◽  
Web Based ◽  
Scientific Results ◽  
Generation Computer

In the future generation, computer science plays prominent role in the scientific research. The development in the field of computers will leads to the research benefits of scientific community for sharing data, service computing, building the frameworks and many more. E-Science is the active extending field in the world by the increase data and tools. The proposed work discusses the use of semantic web applications for identifying the components in the development of scientific workflows. The main objective of the proposed work is to develop the framework which assists the scientific community to test and deploy the scientific experiments with the help of ontologies, service repositories, web services and scientific workflows. The framework which aims to sustenance the scientific results and management of applications related to the specific domain. The overall goal of this research is to automate the use of semantic web services, generate the workflows, manage the search services, manage the ontologies by considering the web service composition.

SEMAL: A COST LANGUAGE BASED ON THE CALCULUS OF SELF-MODIFIABLE ALGORITHMS

1994 ◽  
Vol 04 (03) ◽  
pp. 391-408 ◽  
Author(s):  
EUGENIUSZ EBERBACH
Keyword(s):  
Intelligent Systems ◽  
Object Oriented ◽  
Future Generation ◽  
Object Oriented Programming ◽  
Computer Architectures ◽  
Universal Theory ◽  
Design Specification ◽  
Programming Paradigm ◽  
Formal Basis ◽  
Logic Rule

The design, specification, and preliminary implementation of the SEMAL language, based upon the Calculus of Self-modifiable Algorithms model of computation is presented. A Calculus of Self-modifiable Algorithms is a universal theory for parallel and intelligent systems, integrating different styles of programming, and applied to a wealth of domains of future generation computers. It has some features from logic, rule-based, procedural, functional, and object-oriented programming. It has been designed to be a relatively universal tool for AI similar to the way Hoare’s Communicating Sequential Processes and Milner’s Calculus of Communicating Systems are basic theories for parallel systems. The formal basis of this approach is described. The model is used to derive a new programming paradigm, so-called cost languages and new computer architectures cost-driven computers. As a representative of cost languages, the SEMAL language is presented.

Semantic Web-Based Framework for Scientific Workflows in E-Science

2018 ◽  
pp. 402-414
Author(s):  
Singanamalla Vijayakumar ◽  
Nagaraju Dasari ◽  
Bharath Bhushan ◽  
Rajasekhar Reddy
Keyword(s):  
Web Services ◽  
Semantic Web ◽  
Scientific Community ◽  
Web Applications ◽  
Future Generation ◽  
Scientific Workflows ◽  
Specific Domain ◽  
Web Based ◽  
Scientific Results ◽  
Generation Computer

In the future generation, computer science plays prominent role in the scientific research. The development in the field of computers will leads to the research benefits of scientific community for sharing data, service computing, building the frameworks and many more. E-Science is the active extending field in the world by the increase data and tools. The proposed work discusses the use of semantic web applications for identifying the components in the development of scientific workflows. The main objective of the proposed work is to develop the framework which assists the scientific community to test and deploy the scientific experiments with the help of ontologies, service repositories, web services and scientific workflows. The framework which aims to sustenance the scientific results and management of applications related to the specific domain. The overall goal of this research is to automate the use of semantic web services, generate the workflows, manage the search services, manage the ontologies by considering the web service composition.

scholarly journals MODELO DE APRENDIZAJE PARA LA GENERACIÓN Y ALCANCE COGNITIVO TECNOLÓGICO EN BIOMEDICINA

Biotempo ◽  
2019 ◽  
Vol 16 (2) ◽  
pp. 159-164
Author(s):  
George Argota-Pérez ◽  
José Almeida-Galindo ◽  
Cecilia Solano-García ◽  
Clemente Lara- Huallcca ◽  
Rosa Aquije-García ◽  
...  
Keyword(s):  
Social Change ◽  
Social Science ◽  
Computer Science ◽  
Knowledge Engineering ◽  
Future Generation ◽  
Cognitive Technology ◽  
Computer Methods ◽  
Technological Forecasting ◽  
Generation Computer ◽  
Technology Domain

El objetivo del estudio fue proponer un modelo de aprendizaje para la generación y alcance cognitivo tecnológico en biomedicina. A partir, de considerar las palabras claves: learning model, cognitive technology domain, biomedicine en la plataforma ScienceDirect se realizó una búsqueda de los últimos tres años completos (2018, 2017, 2016), además, de lo publicado hasta la fecha del presente año 2019. Se consideró solamente el artículo de investigación y las revistas: Computer Methods and Programs in Biomedicine; Future Generation Computer Systems, Procedia Computer Science, Computers in Biology and Medicine, Data & Knowledge Engineering, Technological Forecasting and Social Change, Social Science & Medicine. La revistas Computer Methods and Programs in Biomedicine presentaron el mayor número de artículos, encontrándose diferencias estadísticamente significativas con relación al resto pero, no se evidenció artículos que mostraran modelos cognitivos para el aprendizaje tecnológico durante la formación profesional. Se propuso un modelo que inicia con la misión de la docencia, orienta a los problemas sociales prioritarios y estos a su vez, posibilitan desarrollar enfoques pedagógicos para generar información tecnológica y dominio cognitivo tecnológico pudiendo ser una garantía durante el proceso de formación profesional en el campo de la biomedicina.

Sign in / Sign up

Export Citation Format

Share Document