Yong Hu

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
Context and Multi-Features-Based Vulnerability Detection: A Vulnerability Detection Frame Based on Context Slicing and Multi-Features.
Sensors, March, 2024

The internet use, social networks, and entrepreneurship: evidence from China.
Technol. Anal. Strateg. Manag., January, 2024

A new quantum machine learning algorithm: split hidden quantum Markov model inspired by quantum conditional master equation.
Quantum, January, 2024

Identification and Suppression of Multicomponent Noise in Audio Magnetotelluric Data Based on Convolutional Block Attention Module.
IEEE Trans. Geosci. Remote. Sens., 2024

Quantized Embedding Vectors for Controllable Diffusion Language Models.
CoRR, 2024

2023
Polar Cloud Detection of FengYun-3D Medium Resolution Spectral Imager II Imagery Based on the Radiative Transfer Model.
Remote. Sens., November, 2023

High-resolution SVBRDF estimation based on deep inverse rendering from two-shot images.
Vis. Comput., October, 2023

Retrieval of Water Quality Parameters in Dianshan Lake Based on Sentinel-2 MSI Imagery and Machine Learning: Algorithm Evaluation and Spatiotemporal Change Research.
Remote. Sens., October, 2023

Combined Retrievals of Turbidity from Sentinel-2A/B and Landsat-8/9 in the Taihu Lake through Machine Learning.
Remote. Sens., September, 2023

Comparative Study of the Atmospheric Gas Composition Detection Capabilities of FY-3D/HIRAS-I and FY-3E/HIRAS-II Based on Information Capacity.
Remote. Sens., August, 2023

River Bars and Vegetation Dynamics in Response to Upstream Damming: A Case Study of the Middle Yangtze River.
Remote. Sens., May, 2023

Nash mixed detection strategy of multi-type network attack based on zero-sum stochastic game.
J. Inf. Secur. Appl., March, 2023

Multiplicative Attacks with Essential Stealthiness in Sensor and Actuator Loops against Cyber-Physical Systems.
Sensors, February, 2023

A Study on the Retrieval of Ozone Profiles Using FY-3D/HIRAS Infrared Hyperspectral Data.
Remote. Sens., February, 2023

A Prediction Model for Normal Variation of Somatosensory Evoked Potential During Scoliosis Surgery.
Int. J. Neural Syst., February, 2023

Retrieving Atmospheric Gas Profiles Using FY-3E/HIRAS-II Infrared Hyperspectral Data by Neural Network Approach.
Remote. Sens., 2023

Construction and Application of Power Data Operation Monitoring Platform Based on Knowledge Map Reasoning.
Int. J. Inf. Technol. Syst. Approach, 2023

Eval-GCSC: A New Metric for Evaluating ChatGPT's Performance in Chinese Spelling Correction.
CoRR, 2023

Highlight removal for endoscopic images based on accelerated adaptive non-convex RPCA decomposition.
Comput. Methods Programs Biomed., 2023

Exploring the Display Patterns of Object-Centered User Interface in Head-Worn Mixed Reality Environment.
Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, 2023

"Embark the Journey · Embrace the Universe": An Interactive System of Astronomy Education Based on Spherical TUI in MR.
Proceedings of the SIGGRAPH Asia 2023 XR, 2023

A Multilayer Component Pane 3D Layout Frame Design for Responsive Websites.
Proceedings of the IEEE International Symposium on Mixed and Augmented Reality Adjunct, 2023

A Navigation and Control Framework of Quadrupedal Robot for Autonomous Exploration in Cave Environments.
Proceedings of the Intelligent Robotics and Applications - 16th International Conference, 2023

An Immersive Layout Framework for Web Design in Virtual Reality.
Proceedings of the Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

2022
Deep Cross-Modal Hashing With Hashing Functions and Unified Hash Codes Jointly Learning.
IEEE Trans. Knowl. Data Eng., 2022

An Instrumented Wheel to Measure the Wheel-Terrain Interactions of Planetary Robotic Wheel-on-Limb System on Sandy Terrains.
IEEE Trans. Instrum. Meas., 2022

Hermetic Welding of an Optical Fiber Fabry-Pérot Cavity for a Diaphragm-Based Pressure Sensor Using CO2 Laser.
Sensors, 2022

Water Quality Retrieval from ZY1-02D Hyperspectral Imagery in Urban Water Bodies and Comparison with Sentinel-2.
Remote. Sens., 2022

Accounting for Signal Distortion Biases for Wide-Lane and Narrow-Lane Phase Bias Estimation with Inhomogeneous Networks.
Remote. Sens., 2022

Golden subject is everyone: A subject transfer neural network for motor imagery-based brain computer interfaces.
Neural Networks, 2022

Pain fingerprinting using multimodal sensing: pilot study.
Multim. Tools Appl., 2022

Scale-aware network with modality-awareness for RGB-D indoor semantic segmentation.
Neurocomputing, 2022

CSCD-IME: Correcting Spelling Errors Generated by Pinyin IME.
CoRR, 2022

Dynamic optical contrast imaging for real-time delineation of tumor resection margins using head and neck cancer as a model.
CoRR, 2022

Mode division-based anomaly detection against integrity and availability attacks in industrial cyber-physical systems.
Comput. Ind., 2022

Reconstructing and editing fluids using the adaptive multilayer external force guiding model.
Sci. China Inf. Sci., 2022

Research on highway vehicle detection based on faster R-CNN and domain adaptation.
Appl. Intell., 2022

MapsNet: Multi-level feature constraint and fusion network for change detection.
Int. J. Appl. Earth Obs. Geoinformation, 2022

Remote Sensing Image Dehazing Based on an Attention Convolutional Neural Network.
IEEE Access, 2022

Evaluating the Object-Centered User Interface in Head-Worn Mixed Reality Environment.
Proceedings of the IEEE International Symposium on Mixed and Augmented Reality, 2022

GM (1, 1) Prediction Model of Aircraft Spare Parts Consumption based on Second-order Weakening of Original Data.
Proceedings of the IPEC 2022: 3rd Asia-Pacific Conference on Image Processing, Electronics and Computers, Dalian, China, April 14, 2022

Gait Planning for Underactuated Bipedal Robot on Discontinuous Ground Based on Particle Swarm Optimization.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022

Bank Credit Risk Analysis Based on Network Data Mining and Pre-training-fine-tuning ANN.
Proceedings of the 7th International Conference on Cyber Security and Information Engineering, 2022

Analysis of MOOC's Continuous Learning Intention and Its Influencing Factors of Higher Vocational Students.
Proceedings of the 8th International Conference on Communication and Information Processing, 2022

A New Stock Forecasting Model by Hidden Quantum Markov Models.
Proceedings of the Artificial Intelligence and Security - 8th International Conference, 2022

Emotional Design and User Study on Guidance System For MR Distributed Collaboration.
Proceedings of the Tenth International Symposium of Chinese CHI, 2022

Deep Reinforcement Learning for Dynamic OCW in UORA.
Proceedings of the 4th International Conference on Advanced Information Science and System, 2022

2021
Diffusion-Weighted Imaging-Magnetic Resonance Imaging Information under Class-Structured Deep Convolutional Neural Network Algorithm in the Prognostic Chemotherapy of Osteosarcoma.
Sci. Program., 2021

A Study on the Retrieval of Temperature and Humidity Profiles Based on FY-3D/HIRAS Infrared Hyperspectral Data.
Remote. Sens., 2021

Atmospheric Correction of Airborne Hyperspectral CASI Data Using Polymer, 6S and FLAASH.
Remote. Sens., 2021

Implementation of an Improved Water Change Tracking (IWCT) Algorithm: Monitoring the Water Changes in Tianjin over 1984-2019 Using Landsat Time-Series Data.
Remote. Sens., 2021

Research on adaptive beacon message broadcasting cycle based on vehicle driving stability.
Int. J. Netw. Manag., 2021

Intralesional curettage versus prosthetic replacement for bone tumors - a finite element analysis case of limb salvage simulation in biomechanics.
Comput. Methods Programs Biomed., 2021

Fluid Reconstruction and Editing from a Monocular Video based on the SPH Model with External Force Guidance.
Comput. Graph. Forum, 2021

MagicCube: A One-Handed Interaction Approach in 3D Environment on Smartphones.
Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, 2021

3D Fluid Volume Editing based on a Bidirectional Time Coupling Optimization Approach.
Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, 2021

Electromechanical performances of IPMC actuator enhanced by high-quality Pd/Pt electrodes<sup>*</sup>.
Proceedings of the 27th International Conference on Mechatronics and Machine Vision in Practice, 2021

Research on Credit Risk Evaluation of Commercial Banks Based on Artificial Neural Network Model.
Proceedings of the 8th International Conference on Information Technology and Quantitative Management, 2021

Two-hand Pose Estimation from the non-cropped RGB Image with Self-Attention Based Network.
Proceedings of the IEEE International Symposium on Mixed and Augmented Reality, 2021

Neural Network Study Quantum Synchronization and Quantum Correlation Under Non-zero Temperature.
Proceedings of the Artificial Intelligence and Security - 7th International Conference, 2021

Study the Quantum Transport Process: Machine Learning Simulates Quantum Conditional Master Equation.
Proceedings of the Artificial Intelligence and Security - 7th International Conference, 2021

Comparative Analysis of 3D Interactive Modes in Different Object Layouts in Mixed Reality.
Proceedings of the Chinese CHI 2021: The Ninth International Symposium of Chinese CHI, Online Event, Hong Kong, October 16, 2021

2020
Correction to: Physics-preserving fluid reconstruction from monocular coupling with SFS and SPH.
Vis. Comput., 2020

Physics-preserving fluid reconstruction from monocular video coupling with SFS and SPH.
Vis. Comput., 2020

Machine Learning Approaches for Efficient Design Space Exploration of Application-Specific NoCs.
ACM Trans. Design Autom. Electr. Syst., 2020

Specular Reflections Removal for Endoscopic Image Sequences With Adaptive-RPCA Decomposition.
IEEE Trans. Medical Imaging, 2020

Novel approach for electromyography-controlled prostheses based on facial action.
Medical Biol. Eng. Comput., 2020

Automatic Lumbar Spine Tracking Based on Siamese Convolutional Network.
J. Digit. Imaging, 2020

Scale-aware spatial pyramid pooling with both encoder-mask and scale-attention for semantic segmentation.
Neurocomputing, 2020

A Safety Collision Avoidance Algorithm Based on Comprehensive Characteristics.
Complex., 2020

In silico design novel (5-imidazol-2-yl-4-phenylpyrimidin-2-yl)[2-(2-pyridylamino)ethyl]amine derivatives as inhibitors for glycogen synthase kinase 3 based on 3D-QSAR, molecular docking and molecular dynamics simulation.
Comput. Biol. Chem., 2020

The Deep Convolutional Neural Network for NOx Emission Prediction of a Coal-Fired Boiler.
IEEE Access, 2020

Research on Modeling and Deep Peak Regulation Control of a Combined Heat and Power Unit.
IEEE Access, 2020

Monocular 3D Fluid Volume Reconstruction Based on a Multilayer External Force Guiding Model.
Proceedings of the 28th Pacific Conference on Computer Graphics and Applications, 2020

A Cross-Modal Classification Dataset on Social Network.
Proceedings of the Natural Language Processing and Chinese Computing, 2020

Short-Term Traffic Flow Prediction Based on Hybrid Model.
Proceedings of the Machine Learning for Cyber Security - Third International Conference, 2020

Research of Expressway Vehicle Detection Based on Faster R-CNN and Domain Adaptation.
Proceedings of the Machine Learning for Cyber Security - Third International Conference, 2020

A Matching-Integration-Verification Model for Multiple-Choice Reading Comprehension.
Proceedings of the Knowledge Science, Engineering and Management, 2020

Enhancing Pre-trained Language Models by Self-supervised Learning for Story Cloze Test.
Proceedings of the Knowledge Science, Engineering and Management, 2020

Weibo-COV: A Large-Scale COVID-19 Social Media Dataset from Weibo.
Proceedings of the 1st Workshop on NLP for COVID-19@ EMNLP 2020, Online, December 2020, 2020

Multi-task Learning for Low-Resource Second Language Acquisition Modeling.
Proceedings of the Web and Big Data - 4th International Joint Conference, 2020

2019
MSANet: multimodal self-augmentation and adversarial network for RGB-D object recognition.
Vis. Comput., 2019

Simple very deep convolutional network for robust hand pose regression from a single depth image.
Pattern Recognit. Lett., 2019

A multi-GPU finite element computation and hybrid collision handling process framework for brain deformation simulation.
Comput. Animat. Virtual Worlds, 2019

Principal Model Analysis Based on Partial Least Squares.
CoRR, 2019

A selectivity study of benzenesulfonamide derivatives on human carbonic anhydrase II/IX by 3D-QSAR, Molecular Docking and Molecular Dynamics Simulation.
Comput. Biol. Chem., 2019

Motor Bearing Fault Diagnosis Based on Deep Learning.
Proceedings of the 20th IEEE/ACIS International Conference on Software Engineering, 2019

Leg Spring Parameters Design for a Six-Legged Walking Robot.
Proceedings of the 2019 IEEE International Conference on Robotics and Biomimetics, 2019

External Forces Guided Fluid Surface and Volume Reconstruction from Monocular Video.
Proceedings of the 27th Pacific Conference on Computer Graphics and Applications, 2019

A Secure Collision Avoidance Warning Algorithm Based on Environmental Characteristics and Driver Characteristics.
Proceedings of the Cyberspace Safety and Security - 11th International Symposium, 2019

Research on Safety Early Warning Transmission Control Algorithm Based on Driving Stability.
Proceedings of the Cyberspace Safety and Security - 11th International Symposium, 2019

Image Denoising Based on Sparse Representation over Learned Dictionaries.
Proceedings of the Cyberspace Safety and Security - 11th International Symposium, 2019

2018
Detecting and inferring repetitive elements with accurate locations and shapes from façades.
Vis. Comput., 2018

Detail-preserved real-time hand motion regression from depth.
Vis. Comput., 2018

Graph-Grammar-Based IP-Integration (GRIP) - An EDA Tool for Software-Defined SoCs.
ACM Trans. Design Autom. Electr. Syst., 2018

Sign Language Fingerspelling Recognition Using Depth Information and Deep Belief Networks.
Int. J. Pattern Recognit. Artif. Intell., 2018

Optimal Route Searching with Multiple Dynamical Constraints - A Geometric Algebra Approach.
ISPRS Int. J. Geo Inf., 2018

A conformal geometric algebra method for virtual hand modeling and interaction.
EURASIP J. Image Video Process., 2018

A SPECLib-based operational classification approach: A preliminary test on China land cover mapping at 30 m.
Int. J. Appl. Earth Obs. Geoinformation, 2018

MFDCNN: A Multimodal Fusion DCNN Framework for Object Detection and Segmentation.
Proceedings of the Advances in Multimedia Information Processing - PCM 2018, 2018

GRANet: Global Refinement Atrous Convolutional Neural Network for Semantic Scene Segmentation.
Proceedings of the 2018 IEEE International Conference on Image Processing, 2018

Wavefront-MCTS: multi-objective design space exploration of NoC architectures based on Monte Carlo tree search.
Proceedings of the International Conference on Computer-Aided Design, 2018

2017
Incentive-punitive risk function with interval valued intuitionistic fuzzy information for outsourced software project risk assessment.
J. Intell. Fuzzy Syst., 2017

A Comparative Study of Shape and Texture Features for Finger Spelling Recognition in Big Data Applications.
Int. J. Mob. Comput. Multim. Commun., 2017

Template-based GIS computation: a geometric algebra approach.
Int. J. Geogr. Inf. Sci., 2017

Modeling Collective Behavior of Posting Microblog by Stochastic Differential Equation with Jump.
CoRR, 2017

Automatic land cover mapping for Landsat data based on the time-series spectral image database.
Proceedings of the 2017 IEEE International Geoscience and Remote Sensing Symposium, 2017

Model-based framework for networks-on-chip design space exploration.
Proceedings of the 2nd International Workshop on Advanced Interconnect Solutions and Technologies for Emerging Computing Systems, 2017

Character Recognition via a Compact Convolutional Neural Network.
Proceedings of the 2017 International Conference on Digital Image Computing: Techniques and Applications, 2017

A Human-Machine Collaborative Detection Model for Identifying Web Attacks.
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2017

Dynamic analysis of agricultural landscape pattern changes in Jiangsu.
Proceedings of the 2017 6th International Conference on Agro-Geoinformatics, 2017

Reading Text in Natural Scene Images via Deep Neural Networks.
Proceedings of the 4th IAPR Asian Conference on Pattern Recognition, 2017

2016
A dynamic evacuation simulation framework based on geometric algebra.
Comput. Environ. Urban Syst., 2016

Geometric Algebra Model for Geometry-oriented Topological Relation Computation.
Trans. GIS, 2016

Balance control of planar biped robots using virtual holonomic constraints.
Robotica, 2016

Applications of advanced controlmethods in spacecrafts: progress, challenges, and future prospects.
Frontiers Inf. Technol. Electron. Eng., 2016

Some risk functions of IVIFS applied to outsourced software project.
J. Intell. Fuzzy Syst., 2016

Multiscale Entropy Analysis on Human Operating Behavior.
Entropy, 2016

Some Weighted Ranking Operators with Interval Valued Intuitionistic Fuzzy Information Applied to Outsourced Software Project Risk Assessment.
Proceedings of the Rough Sets - International Joint Conference, 2016

A Decision Tree Model for Meta-Investment Strategy of Stock Based on Sector Rotating.
Proceedings of the Fuzzy Systems and Data Mining II, 2016

Finite element simulation of axial elastic characteristics of wire rope with one round strand layer.
Proceedings of the 20th IEEE International Conference on Computer Supported Cooperative Work in Design, 2016

2015
A Hierarchical Tensor-Based Approach to Compressing, Updating and Querying Geospatial Data.
IEEE Trans. Knowl. Data Eng., 2015

基于SVM的Web攻击检测技术 (Web Attack Detection Method Based on Support Vector Machines).
计算机科学, 2015

Change detection for 3D vector data: a CGA-based Delaunay-TIN intersection approach.
Int. J. Geogr. Inf. Sci., 2015

A complete coalition logic of temporal knowledge for multi-agent systems.
Frontiers Comput. Sci., 2015

IEEE CIVEMSA 2015-Computational Intelligence and Virtual Environments for Measurement Systems and Applications [Conference Reports].
IEEE Comput. Intell. Mag., 2015

Improving the scalability of the ocean barotropic solver in the community earth system model.
Proceedings of the International Conference for High Performance Computing, 2015

Automatic ILP-based Firewall Insertion for Secure Application-Specific Networks-on-Chip.
Proceedings of the Ninth International Workshop on Interconnection Network Architectures: On-Chip, 2015

Research on structure analysis and simulation optimization of parallel grooved multi-layer drum based on ANSYS Workbench.
Proceedings of the 19th IEEE International Conference on Computer Supported Cooperative Work in Design, 2015

2014
A Landsat-5 Atmospheric Correction Based on MODIS Atmosphere Products and 6S Model.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2014

Supervised learning models to predict firm performance with annual reports: An empirical study.
J. Assoc. Inf. Sci. Technol., 2014

Non-parametric modeling and editing for captured SVBRDF.
Comput. Graph., 2014

Depth-layer Architecture Reconstruction From Image Collections.
Proceedings of the 2014 Eurographics Symposium on Geometry Processing - Posters, 2014

CFIO2: Overlapping Communications and I/O with Computations Using RDMA Technology.
Proceedings of the Network and Parallel Computing, 2014

Porting the Princeton Ocean Model to GPUs.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2014

Performance analysis as interference-considered on cooperative communication in energy constrained networks.
Proceedings of the 9th International Symposium on Communication Systems, 2014

A customized GPU acceleration of the princeton ocean model.
Proceedings of the IEEE 25th International Conference on Application-Specific Systems, 2014

Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems.
Proceedings of the Advances in Artificial Intelligence, 2014

Image Parallax Based Modeling of Depth-Layer Architecture.
Proceedings of the Computer Vision - ACCV 2014 Workshops, 2014

2013
A Novel <i>in Situ</i> FPAR Measurement Method for Low Canopy Vegetation Based on a Digital Camera and Reference Panel.
Remote. Sens., 2013

Minimal K-Covering Set Algorithm based on Particle Swarm Optimizer.
J. Networks, 2013

Some Scoring Functions of Intuitionistic Fuzzy Sets with Parameters and Their Application to Multiple Attribute Decision Making.
J. Comput., 2013

Pattern forced geophysical vector field segmentation based on Clifford FFT.
Comput. Geosci., 2013

CFIO: A Fast I/O Library for Climate Models.
Proceedings of the 12th IEEE International Conference on Trust, 2013

Efficient reconstruction, decomposition and editing for spatially-varying reflectance data.
Proceedings of the Graphics Interface 2013, 2013

A Scalable Barotropic Mode Solver for the Parallel Ocean Program.
Proceedings of the Euro-Par 2013 Parallel Processing, 2013

An Automatic Registration Method Based on Fiducial Marker for Image Guided Neurosurgery System.
Proceedings of the AsiaSim 2013, 2013

2012
A virtual environment for complex products collaborative assembly operation simulation.
J. Intell. Manuf., 2012

Systematic literature review of machine learning based software development effort estimation models.
Inf. Softw. Technol., 2012

Seasonal dynamic pattern analysis on global FPAR derived from AVHRR GIMMS NDVI.
Int. J. Digit. Earth, 2012

2011
Feedback Control of Planar Biped Robot With Regulable Step Length and Walking Speed.
IEEE Trans. Robotics, 2011

Stable running of a planar underactuated biped robot.
Robotica, 2011

Gait generation and control for biped robots with underactuation degree one.
Autom., 2011

Destriping IRS image based on image processing methods.
Proceedings of the Third International Conference on Digital Image Processing, 2011

Estimation of orientation distribution function using spherical ridgelet basis with minimum L2 norm.
Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011

FTIR spectral subtraction based on asymmetric least squares.
Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011

2010
A real-time simulation grid for collaborative virtual assembly of complex products.
Int. J. Comput. Integr. Manuf., 2010

Image-based modeling of inhomogeneous single-scattering participating media.
Sci. China Inf. Sci., 2010

Modeling spatially-varying reflectance based on Kernel Nyström.
Proceedings of the ACM Symposium on Virtual Reality Software and Technology, 2010

Time-scaling control and passive walking of bipeds with underactuation degree one.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Stable walking for a compass-like biped robot in complex environments.
Proceedings of the American Control Conference, 2010

2009
Visual simulation for granular rocks crush in virtual environment based on fractal geometry.
Simul. Model. Pract. Theory, 2009

A Multi-functional Visualization System for Motion Captured Human Body Based on Virtual Reality Technology.
Proceedings of the Digital Human Modeling, 2009

Multi-sensor Information Fusion for Aircraft Attitude Determination System.
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

Information Security Solution Decision-Making Based on Entropy Weight and Gray Situation Decision.
Proceedings of the Fifth International Conference on Information Assurance and Security, 2009

2008
Hard Real-Time Communication over Multi-hop Switched Ethernet.
Proceedings of The 2008 IEEE International Conference on Networking, 2008

2006
Study on Chain Structure Model of Industry Clusters Grey Evolutionary Game Based on Symmetric Case.
Proceedings of the IEEE International Conference on Systems, 2006

2005
A digital certificate revocation status promulgation scheme based on square residue.
Proceedings of the 2005 International Symposium on Autonomous Decentralized Systems, 2005

2001
Performance Analysis of Video Storage Based on Clustered NAS Architecture.
Proceedings of the Advances in Multimedia Information Processing, 2001

1997
Iterative fuzzy vector quantization and its neural net algorithm.
Proceedings of the Visual Information Processing VI, Orlando, FL, USA, April 21, 1997, 1997

1991
Extended Well-Founded Model Semantics for General Logic Programs.
Proceedings of the Logic Programming, 1991


  Loading...