Meta-control on logic programming

Meta-control on logic programming

碩士 === 國立臺灣大學 === 資訊科學研究所 === 74 ===

Bibliographic Details
Main Authors:	LIN, YAO-LING, 林耀鈴
Other Authors:	LIN, YI-PENG
Format:	Others
Language:	zh-TW
Published:	1986
Online Access:	http://ndltd.ncl.edu.tw/handle/65653295271913680742

Similar Items

Meta-language in logic programming
by: Eshghi, Kave
Published: (1987)

On the logic programming
by: Lin, Chun-Teng, et al.
Published: (1986)

An integration of logic and functional programming paradigms: Type theory and meta-narrowing
by: Lin, Fuyau
Published: (1991)

On the logic programming:And/Or programming specification language
by: LIN, CHUN-TENG, et al.
Published: (1986)

Logic programs as declarative and procedural bias in inductive logic programming
by: Lin, Dianhuan
Published: (2013)

The Position of Motor Based on Programming Logic Controllers
by: Meng-Chi Chen, et al.
Published: (2010)

The Timetabling Model based on Constraint Logic Programming
by: Lin,Dar-Min, et al.
Published: (1993)

Application of Fuzzy Logic to RAM Analysis for the Environment Control System of MRT Systems
by: Yao-Ching Huang, et al.
Published: (2006)

Applying Programming Logic Control in Improving Synchronous Operation for High- Speed Wire Drawing Machine
by: LIN,CHING-CHUAN, et al.
Published: (2016)

Self-Organizing Fuzzy Logic Controller Design and Its Application on Ball and Beam System
by: CHEN, YAO-MIN, et al.
Published: (1992)

Logic programming extensions of Horn clause logic
by: Ron Sigal
Published: (1988-11-01)

Programmable Logic Control to Realize Mechatronics Internship Program
by: Wen-Hung Hsaio, et al.
Published: (2014)

The Development of Real-Time Balance Control System in Biped Robots Using Fuzzy Logic Algorithm
by: Yao-Hsien Chiu, et al.
Published: (2006)

Automatic complexity analysis of logic programs.
by: Lin, Nai-Wei.
Published: (1993)

Logic programming with constraints
by: Liu, Guohua
Published: (2010)

Action Logic Programs
by: Drescher, Conrad
Published: (2011)

Programming in temporal logic
by: Hale, Roger William Stephen
Published: (1988)

Agents in logic programming
by: Quintero, Jacinto Alfonso Davila
Published: (1997)

Compositional logic programming
by: McPhee, Richard
Published: (2000)

Abductive logic programming
by: Toni, Francesca
Published: (1995)

Derivation of logic programs
by: Hogger, C. J.
Published: (1978)

On the integration of logic programming and functional programming.
by: Rhodes, Randy E.
Published: (2012)

Self-learning fuzzy logic controller
by: LIN, GAO-RONG, et al.
Published: (1992)

jFuzzyLogic: a Java Library to Design Fuzzy Logic Controllers According to the Standard for Fuzzy Control Programming
by: Pablo Cingolani, et al.

Investigation of All-Optical Logic Gates Based on Photonic Crystals
by: Cheng-Ling Yang, et al.
Published: (2009)

Logic program specialisation through partial deduction: Control Issues
by: Leuschel, Michael, et al.
Published: (2002)

Programming a Logical Control Method by a Parallel Process
by: P. Jiroušek
Published: (2004-01-01)

Reduction of AUTODIN/NIDN line disciplines to programmed control logic.
by: Renninger, Jane Francis
Published: (2012)

The Effect of Logical Reasoning Abilities, Creativity and Personalities Traits of Higher Programming
by: Lin, Chen-Hsien, et al.
Published: (2016)

The Methodology For Constraint Logic Programming
by: Lee,Chiu-Tung, et al.
Published: (1994)

Design of adaptive intellectual fuzzy logic controller
by: LIN, ZHI-DA, et al.
Published: (1989)

Meta-argumentation, An Approach to Logic and Argumentation Theory
by: J. Anthony Blair
Published: (2014-06-01)

Meta-argumentation, An Approach to Logic and Argumentation Theory
by: J. Anthony Blair
Published: (2014-06-01)

Construct Mobility and Sociality Iindex Using Fuzzy Logic
by: Yao-Sheng Chang, et al.
Published: (2003)

Closed Types for Logic Programming
by: João Luís Alves Barbosa
Published: (2019)

Multithreaded Tabling for Logic Programming
by: Miguel João Gonçalves Areias
Published: (2019)

Programming Games for Logical Thinking
by: H. Tsalapatas
Published: (2013-03-01)

The primary logics of programming languages
by: Winner, Robert Ian
Published: (2006)

Computing with changing logic programs
by: Hayashi, Hisashi
Published: (2001)

Logic, programming and formal specification
by: Goldsmith, M. H.
Published: (1985)