A semantics-based analysis for logic programs

A semantics-based analysis for logic programs

碩士 === 國立交通大學 === 資訊及電子工程研究所 === 80 ===

Bibliographic Details
Main Authors:	SU, YUAN-LIANG, 蘇元良
Other Authors:	ZENG, JIAN-CHAO
Format:	Others
Language:	zh-TW
Published:	1992
Online Access:	http://ndltd.ncl.edu.tw/handle/95423312957462351786

Similar Items

On the semantics of disjunctive logic programs
by: Tsouanas, Athanasios
Published: (2014)

Category-based semantics for equational and constraint logic programming
by: Diaconescu, Razvan
Published: (1994)

Mathematical Aspects of Logic Programming Semantics
by: Hitzler, Pascal
Published: (2010)

Mathematical Aspects of Logic Programming Semantics
by: Hitzler, Pascal
Published: (2011)

Logic from Programming Language Semantics
by: Choo, Young-il
Published: (1987)

A paraconsistent semantics for generalized logic programs
by: Herre, Heinrich, et al.
Published: (2010)

Formal semantics and the logical structure of programming languages
by: DeMillo, Richard Alan
Published: (2006)

Logic programming : operational semantics and proof theory
by: Andrews, James H.
Published: (1991)

Mathematical logic applied to the semantics of computer programs
by: Ashcroft, Edward Anthony
Published: (1970)

A Three-Valued Semantics for Typed Logic Programming
by: João Barbosa, et al.
Published: (2019-09-01)

Semantic Web Service Composition via Logic-based Program Synthesis
by: Rao, Jinghai
Published: (2004)

A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER
by: ALBERTO JOSE FONSECA ADEODATO
Published: (1991)

On the Unification of Process Semantics: Logical Semantics
by: David Romero-Hernández, et al.
Published: (2011-08-01)

Defeasible logic programming: language definition, operational semantics, and parallelism
by: Alejandro Javier García
Published: (2001-10-01)

The Application of Inductive Logic Programming to Support Semantic Query Optimization
by: Kerdprasop, Nittaya
Published: (1999)

Semantics of Strategy Logic
by: Gardy, Patrick
Published: (2017)

Logic, semantics, ontology
by: Heck, Richard Gustave
Published: (2009)

[en] A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER
by: ALBERTO JOSE FONSECA ADEODATO
Published: (2006)

A Study on Program Logic Framework Based on Finite State Machine
by: Jhao-Yuan Huang, et al.
Published: (2014)

A Class-Level Test Case Generator Based on Constraint Logic Programming
by: Jou Liang Mao, et al.
Published: (2011)

Analysis of Semantics, Ontology and Syntax of the Sentential Logic
by: Sergey A Pavlov
Published: (2011-09-01)

Extending Well-Founded Semantics with Clark’s Completion for Disjunctive Logic Programs
by: Juan Carlos Nieves, et al.
Published: (2018-01-01)

An example of Java Programming in a Semantic Grid-Based Ubiquitous Learning Environment
by: Wen-Yuan Li, et al.
Published: (2007)

From the history of logic. Semantics of homonymy in Porphyry’s logic
by: Garin Sergey Vyacheslavovich
Published: (2016-10-01)

THE LOGIC AND SEMANTICS OF DEFINITE DESCRIPTIONS

Limitations of Formal (Logical) Semantics
Published: (2020-10-01)

Semantic approaches to paraconsistent logic
by: Tuziak, Roman
Published: (1995)

Temporal logics for abstract semantics
by: Fisher, M. D.
Published: (1987)

The informal semantics of modal logic
by: O'Connell, C.
Published: (1982)

Algebraic semantics for Nelson?s logic S
by: Silva, Thiago Nascimento da
Published: (2018)

Semantic studies of intuitionistic logic
by: Criscuolo, Giovanni
Published: (2011)

A Neighbourhood Semantics for the Logic TK
by: Cezar A. Mortari, et al.
Published: (2011-05-01)

A Neighbourhood Semantics for the Logic TK
by: Hércules de Araújo Feitosa, et al.
Published: (2011-08-01)

Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs
by: Angelos Charalambidis, et al.
Published: (2015-09-01)

A Study of Fine-Grained Parallel Processing for Logic Programs
by: Ruey-Liang Ma, et al.
Published: (1995)

WEATHER FORECAST DATA SEMANTIC ANALYSIS IN F-LOGIC
by: Ana Meštrović, et al.
Published: (2007-06-01)

THE LOGIC INTERPRETATIN OF SEMANTIC DATA MODEL
by: YANG, SHI-XIONG, et al.
Published: (1990)

Mathematical logic in the human brain: semantics.
by: Roland M Friedrich, et al.
Published: (2013-01-01)

Consummation turn to language in logical semantics
by: S A Pavlov
Published: (2017-12-01)

Game semantics and realizability for classical logic
by: Blot, Valentin
Published: (2014)