Add to ORKGThis paper describes an algorithm to optimize a process of determining the value of a logical expression. This algorithm is based on the principles of the algebra of logic, graphs and automata theory. Fast calculation of a logical expression is achieved by a reduction in the number of operations. The program is a multi-functional simulator
AbstractWe develop a natural technique for defining functions in logic, i.e. PROLOG, which directly ...
It is widely accepted that many algorithms can be concisely and clearly expressed as logical inferen...
The term "Logic Programming" refers to a variety of computer languages and execution models which ar...
The aim of this bachelor's degree project is to analyze problems of computer simplifications of alge...
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...
Tez (Yüksek Lisans) -- İstanbul Teknik Üniversitesi, Fen Bilimleri Enstitüsü, 2007Thesis (M.Sc.) -- ...
This report summarizes a PhD research effort to implement a type of logic programming language calle...
This textbook describes the essential principles and methods used for defining the syntax of artific...
In this paper, we describe a formal language for a class of logical expressions. We then present a F...
A compiler generator is described which produces compilers competitive with handwritten ones in comp...
In this paper, we describe a formal language for a class of logical expressions. We then present a F...
This Bachelor's Thesis is about the theory of converting regular expression to finate state machine ...
The article presents a developed software package that implements the training system that automates...
計畫編號：NSC84-2213-E032-015研究期間：199502~199507研究經費：216,000[[abstract]]邏輯程式(Logic Programming)與傳統程式不一樣 的地...
AbstractThis paper introduces a new concept of computation trees of logic programs that will be used...
AbstractWe develop a natural technique for defining functions in logic, i.e. PROLOG, which directly ...
It is widely accepted that many algorithms can be concisely and clearly expressed as logical inferen...
The term "Logic Programming" refers to a variety of computer languages and execution models which ar...
The aim of this bachelor's degree project is to analyze problems of computer simplifications of alge...
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...
Tez (Yüksek Lisans) -- İstanbul Teknik Üniversitesi, Fen Bilimleri Enstitüsü, 2007Thesis (M.Sc.) -- ...
This report summarizes a PhD research effort to implement a type of logic programming language calle...
This textbook describes the essential principles and methods used for defining the syntax of artific...
In this paper, we describe a formal language for a class of logical expressions. We then present a F...
A compiler generator is described which produces compilers competitive with handwritten ones in comp...
In this paper, we describe a formal language for a class of logical expressions. We then present a F...
This Bachelor's Thesis is about the theory of converting regular expression to finate state machine ...
The article presents a developed software package that implements the training system that automates...
計畫編號：NSC84-2213-E032-015研究期間：199502~199507研究經費：216,000[[abstract]]邏輯程式(Logic Programming)與傳統程式不一樣 的地...
AbstractThis paper introduces a new concept of computation trees of logic programs that will be used...
AbstractWe develop a natural technique for defining functions in logic, i.e. PROLOG, which directly ...
It is widely accepted that many algorithms can be concisely and clearly expressed as logical inferen...
The term "Logic Programming" refers to a variety of computer languages and execution models which ar...