66 citations · 130 across the 13 of their papers we have counts for
6 papers · 1 filter
onlineSPARC: a Programming Environment for Answer Set Programming
Elias Marcopoulos, Yuanlin Zhang
Recent progress in logic programming (e.g., the development of the Answer Set Programming paradigm) has made it possible to teach it to general undergraduate and even middle/high s…
Vicious Circle Principle and Formation of Sets in ASP Based Languages
Michael Gelfond, Yuanlin Zhang
The paper continues the investigation of Poincare and Russel's Vicious Circle Principle (VCP) in the context of the design of logic programming languages with sets. We expand previ…
Vicious Circle Principle and Logic Programs with Aggregates
Michael Gelfond, Yuanlin Zhang
The paper presents a knowledge representation language which extends ASP with aggregates. The goal is to have a language based on simple syntax and clear intuitive…
Set Intersection and Consistency in Constraint Networks
R. H. C. Yap, Y. Zhang
In this paper, we show that there is a close relation between consistency in a constraint network and set intersection. A proof schema is provided as a generic way to obtain consis…
Automated Epilepsy Diagnosis Using Interictal Scalp EEG
Forrest Sheng Bao, Jue-Ming Gao, Jing Hu +3
Approximately over 50 million people worldwide suffer from epilepsy. Traditional diagnosis of epilepsy relies on tedious visual screening by highly trained clinicians from lengthy…
A New Approach to Automated Epileptic Diagnosis Using EEG and Probabilistic Neural Network
Forrest Sheng Bao, Donald Yu-Chun Lie, Yuanlin Zhang
Epilepsy is one of the most common neurological disorders that greatly impair patient' daily lives. Traditional epileptic diagnosis relies on tedious visual screening by neurologis…