yusuke1997/dblp-id-title huggingface dataset:
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, June 1-5, Tokyo, Japan
Hypothetico-deductive Reasoning
Programs are Predicates
A Declarative Semantics of Parallel Logic Programs with Perpetual Processes
Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures
Visualizing Parallel Logic Programs with VISTA
Estimating the Ingerent Parallelism in Prolog Programs
Modeling the Generational Infrastructure of Information Technology
Defining Concurrent Processes Constructively
Overview of Knowledge Base Mechanism
Parallel Interpretation of Natural Language
Horn Equality Theories and Complete Sets of Transformations
Revisiting Original Philosophy of Fifth Generation Computer Systems Project
The Design of the PIMOS File System
Conditional Equational Programming and the Theory of Conditional Term Rewriting
Programs as Executable Predicates
A Wide Instruction Word Architecture for Parallel Execution of Logic Programs Coded in BSL
Contributions to the Semantics of Open Logic Programs
Artificial Intelligence Related Research on the Connection Machine
KL1 in Condition Graphs on a Connection Machine
Operating System PIMOS and Kernel Language KL1
Sequential Prolog Machine PEK
The Language FCP(: , ?)
Theory and Practice of Concurrent Systems - A Position Paper
Efficient Query Answering on Stratified Databases
An Integrated Knowledge Support System
Steps Toward an Actor-Oriented Integrated Parser
EM-3: A Lisp-Based Data-Driven Machine
Macro-Call Instruction for the Efficient KL1 Implementation on PIM
Sequential Inference Machine: SIM Progress Report
A Universal Parallel Computer Architecture
A Microprogrammed Interpreter for the Personal Sequential Inference Machine
Overview of the Parallel Inference Machine Operating System (PIMOS)
A Query Independent Method for Magic Set Computation on Stratified Databases
Some Directions in Concurrency Theory
Analogical Generalization
Parallel Constraint Logic Programming Language GDCC and its Parallel Constraint Solvers
Algorithmic & Knowledge Based Methods - Do they "Unify" ? With some Programme Remarks for UNU/IIST
Consistency-Based and Abductive Diagnoses as Generalised Stable Models
Restricted AND-Parallelism
Local Definitions with Static Scope Rules in Logic Programming
Knowledge-Based Functional Testing for Large Software Systems
Parallel Constraint Solving in Andorra-I
Performance of And-Paralle Execution of Logic Programs on a Shared-Memory Multiprocessor
Expert System Architecture for Design Tasks
Committed Choice Functional Programming
A Parallel Inductive Learning Algorithm for Adaptive Diagnosis
Constraint Logic Programming System: CAL, GDCC and Their Constraint Solvers
QUTE: A Functional Language Based on Unification
A Software Environment for Research into Discourse Understanding Systems
Integrated System for Protein Information Processing
Definite Clause Translation Grammars and the Logical Specification of Data Types as Unambiguous Context Free Grammars
A Review of MCC's Accomplishments and Strategic Outlook for Knowledge-Based Systems
Efficient Induction of Version Spaces Through Constrained Language Shift
Asymptotic Load Balance of Distributed Hash Tables
Research and Development of the Parallel Inference System in the Intermediate Stage of the FGCS Project
The Compilation of Prolog Programs without the Use of a Prolog Compiler
Stalking "Coherence" in the Topical Jungle
LOOKS: Knowledge Representation System for Designing Expert Systems in a Logic Programming Framework
Two-Level Prolog
Finding Temporary Terms in Prolog Programs
Efficient Stream/Array Processing in Logic Programming Languages
Control of Heuristic Search in a Prolog-based Microcode Synthesis Expert System
Toward a Human Genome Encyclopedia
CAP - A Three-Phase Query Processing Technique for Indefinite Databases
A Generalized Semantics for Constraint Logic Programs
A Progress Report on the LML Project
Range Determinationof Design Parameters by Qualitative Reasoning and its Application to Electronic Circuits
A New Parallelization Method for Production Systems
The Panel on A Future Direction of New Generation Applications
Tables as a User Interface for Logic Programs
Cell and Ensemble Architecture for the Rewrite Rule Machine
Logical Derivation of a Prolog Interpreter
A Framework for Analyzing the Termination of Definite Logic Programs with respect to Call Patterns
The Architecture of a Parallel Inference Engine - PIE
Architecture and Implementation of PIM/m
Dealing with Time Granularity in the Event Calculus
Modular and Communicating Objects in SICStus Prolog
Social Impacts of Advanced Computers
Experimental Parallel Inference Software
Hardware Implementation of Dynamic Load Balancing in the Parallel Inference Machine PIM/c
Current Status and Future Plans of the Fifth Generation Computer Systems Project
Parallel Optimization and Execution of Large Join Queries
Equations and Inequations on Finite and Infinite Trees
A Highly Parallel Chess Program
Theorem Proving Engine and Strategy Description Language
LSI-CAD Programs on Parallel Inference Machine
A'UM - A Stream-Based Concurrent Object-Oriented Language
Adapting CLP to Floating-Point Arithmetic
Reasoning About Knowledge and Ignorance
The Panel on Theory and Practice of Concurrent Systems
Intelligent Information Retrieval: An Interesting Application Area for the New Generation Computer Systems
Launching the New Era
On the Duality of Abduction and Model Generation
Multi-Context Processing and Data Balancing Mechanism of the Parallel Inference Machine PIE64
Benchmarking of Prolog Procedures for Indexing Purposes
cu-Prolog for Constraint-Based Grammar
Transformation Rules for GHC Programs
Social Impact of Information Technology and International Collaboration
Design of an Efficient Dataflow Architecture without Data Flow
A New External Reference Management and Distributed Unification for KL1
The Knowledge Dictionary: A Relational Tool for the Maintenance of Expert Systems
A Semiformal Metatheory for Fragmentary and Multilayered Knowledge as an Interactive Metalogic Program
Argument Text Generation System (Dulcinea)
Representing Knowledge for Logic-Based Diagnosis
Evaluation of the EM-4 Highly Parallel Computer using a Game Tree Searching Problem
Reasoning with Constraints, Panel Position Paper
Notes on System Programming in Parlog
Meta-Interpreters and Reflective Operations in GHC
Domain Independent Propagation
UNIRED II: The High Performance Inference Processor for the Parallel Inference Machine PIE64
Multiple Reasoning Styles in Logic Programming
Parallel Theorem Provers and Their Applications
Situation Semantics and Semantic Interpretation in Constraint-Based Grammars
Epistemic Logic Programming
ASSIP-T: A Theorem Proving Machine
Overview of the Parallel Inference Machine Architecture (PIM)
RF-Maple: A Logic Programming Language with Functions, Types, and Concurrency
On a Grammar Formalism, Knowledge Bases and Tools for Natural Language Processing in Logic Programming
Towards a Computational Interpretation of Situation Theory
Implementing a Process Oriented Debugger with Reflection and Program Transformation
Directions for Meta-Programming
Applications of a Canonical Form of Gerneralized Linear Constraints
Developments in Inductive Logic Programming, Panel Position Paper
Declarative Semantics for Modal Logic Programs
An Implementation for a Higher Level Logic Programming Language
Logic Programming, Abduction and Probability
MPDC: Massive Parallel Architecture for Very Large databases
Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984
An Abstract Interpretation Scheme for Logic Programming Based on Type Expressions
Architectures and Hardware Systems: Parallel Inference Machine and Knowledge Base Machine
What is a Variable in Prolog?
Constructing and Collapsing a Reflective Tower in Reflective Guarded Horn Clauses
Message-Oriented Parallel Implementation of Moded Flat GHC
Applying Explanation-Based Generalization to Natural-Language Processing
Present Status and Plans for Research and Development
Problem-Solving and Inference Software
Chart Parsers as Proof Procedures for Fixed-Mode Logic Programs
Knowledge Representation and Inference Based on First-Order Modal Logic
Overview of the Ten Years of the FGSC Project
Constraints Logic Programming Language CAL
Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI)
HOP, STEP and JUMP
More on Gapping Grammars
Nonmonotonic Reasoning by Minimal Belief Revision
When will Machines Learn?
On Parallel Computational Complexity of Unification
Compile-Time Granularity Analysis for Paralle Logic Programming Languages
The Role of Logic Programming in the 21st Century - Panel Position Paper
Applications of Machine Learning: Towards Knowledge Synthesis
Knowledge Information Processing in the 21st Century - Panel Position Paper
A Light-Weight Prolog Garbage Collector
A Theory of Complete Logic Programs with Equality
The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation
Software for the Rewrite Rule Machine
UK IKBS Programmes
Architecture and Implementation of PIM/p
Partially Specified Term in Logic Programming for Linguistic Analysis
If Prolog is the Answer, what is the Question?
Query Processing Flow on RDBM Delta's Functionally-Distributed Architecture
Data Diffusion Machine - A Scalable Shared Virtual Memory Multiprocessor
Output in CLP
Model Generation Theorem Provers on a Parallel Inference Machine
Massively Parallel Implementation of Flat GHC on the Connection Machine
A Parallel Execution of Functional Logic Language with Lazy Evaluation
Answering Linear Recursive Queries in Cyclic Databases
A Cooperative Logic Design Expert System on a Multiprocessor
Towards the General-Purpose Parallel Processing System, Panel Position Paper
Parallel Logic Simulator based on Time Warp and its Evaluation
A Knowledge based System for Plant Diagnosis
On the Evolution of Objects in a Logic Programming Framework
Transformation of Strictness-Related Analyses Nased on Abstract Interpretation
Parallel Execution of Logic Programs based on Dataflow Concept
Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988
Logical Implementation of Dynamical Models
WEIGHTED GRAPHS, A Tool for Expressing the Behavious of Recursive Rules in Logic Programming
Artificial Intelligence and Neural Computing
Knowledge Processing
CHEMILOG - A Logic Programming Language/System for Chemical Information Processing
Lazy Evaluation of FP Programs: A Data-Flow Approach
Automatic Generation of a Domain Specific Inference Program for Building a Knowledge Processing System
Objects, Properties, and Modules in QUIXOTE
The Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results
How to Realize Jazz Feelings - A Logic Programming Approach
Logical Structure of Analogy: Preliminary Report
Human Strategy-Based Troubleshooting Expert System for Switching System
Basic Software System
Knowledge Acquisition by Observation
Logic Program Synthesis from First Order Logic Specifications
A Next-generation Knowledge-Base from the Viewpoint of Extending Logic Framework
CARMEL-2: A Second Generation VLSI Architecture for Flat Concurrent Prolog
MANDELA: A LogicBased Knowledge Programming System
Advanced Information Processing in ESPRIT - Status and Plans
Programming with Modules as Typed Functional Programming
Summary of Basic Research Activities of the FGCS Project
HELIC-II: A Legal Reasoning System on the Parallel Inference Machine
Natural Language Processing Software
The Transputer Implementation of Occam
Toward Intelligent Interfaces for Graphic Design Applications
Parallel Approximation Algorithms
Parallel Inference Machine PIM
Overview of the Dictionary and Lexical Knowledge Base Research
Logic Programs with Inheritance
Program Evaluation and Generalized Partial Computation
Mechanisms for Concurrent Computing
Guarded Horn Clause Languages: Are They Deductive and Logical?
Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog
Situated Inference of Temporal Information
Realizability Interpretation of Coinductive Definitions and Program Synthesis with Streams
Some Practical Properties of Logic Programming Interpreters
Efficient Unificatioin with Infinite Terms in Logic Programming
Finding the Best Route for Logic Programming - Panel Position Paper
Problem Solving with Hypothetical Reasoning
Specifying Hardware in temporal Logic & Efficient Synthesis of State-Diagrams Using Prolog
Knowledge Representation Theory Meets Reality: Some Brief Lessons from the CLASSIC, Panel Position Paper
Multiport Memory Architectures
SIDUR - A Structuring Formalism for Knowledge Information Processing Systems
Knowledge Representation with Abstractive Layers for Information Retrieval
An Efficient Learning of Context-Free Grammars for Bottom-Up Parsers
Paragraph: A Graphical Tuning Tool for Multiprocessor Systems
Morphe: A Constraint-Based Object-Oriented Language Supporting Situated Knowledge
Metacontrol of Logic Programs in Metalog
Knowledge Acquisition Techniques and Tools: Current Research Strategies and Approaches
A Distributed Programming Environment based on Logic Tuple Spaces
A Tutorial Introduction to Metaclass Architecture as provides by Class Oriented Languages
Validation in a Knowledge Acquisition System with Multiple Experts
Structural statistics of a human contact network in a research institute
Emergency broadcasting message transmission based on CDR system
Study on comfortable distance based car-following model with trajectory data
Risk prediction and assessment of foodborne disease based on big data
EM-GIS '21: Proceedings of the 7th ACM SIGSPATIAL International Workshop on Emergency Management using GIS, Beijing, China, 3 November 2021
The Geography of Conflicts: A Comparative Assessment of Web Data
Smart traffic management with cyber-physical systems for scenic areas
Discentralized human movement control and management for campus safety
Study on Spatiotemporal Knowledge Graph of Emergency Scenarios
FedURR: a federated transfer learning framework for multi-department collaborative urban risk recognition
AI planning applied to CIS-based disaster response
Sentiment analysis for news and social media in COVID-19
Forest fire emergency rescue and evacuation path planning based on improved APF
Proceedings of the 8th ACM SIGSPATIAL International Workshop on Security Response using GIS 2023, EM-GIS 2023, Hamburg, Germany, 13 November 2023
Causality-informed Rapid Post-hurricane Building Damage Detection in Large Scale from InSAR Imagery
Personality effect on driving behavior
WYA: A Novel Spatial Scene Classification Framework Based on Surrounding Object Detection
Chemical cluster environmental protection patrolling game based on cooperation mechanism
Unlicensed taxi detection algorithm based on traffic surveillance data
MFN: A Multi-hop Fusion Network for Traffic Accident Risk Prediction
EM-GIS '20: Proceedings of the 6th ACM SIGSPATIAL International Workshop on Emergency Management using GIS, Seattle, Washington, USA, November 3, 2020
A New Approach for Solving Location Routing Problems with Deep Reinforcement Learning of Emergency Medical Facility
The study of colleges students returning to campus under the epidemic situation based on GIS
Information system and management for campus safety
Path optimization of integrating crowd model and reinforcement learning
Strategy of hybrid optimization algorithms for source parameters estimation of hazardous gas in field cases
A cost aware crowdsensing approach for urban air quality sensing and computing
EM-GIS '19: Proceedings of the 5th ACM SIGSPATIAL International Workshop on the Use of GIS in Emergency Management Chicago, Illinois, USA, November, 2019
Putting out wildfires in Victoria based on intelligent algorithms
Bridge improvement cost estimation through both discrete and continuous features
Research on location-based services in COVID-19: integrating GIS technology and personal information
From raw sensor data to semantic trajectories
A promising searching method 'Entrotaxis-Jump' for seeking hazardous gas source in a chemical cluster
Determination of the number and distribution of charging stations for electric vehicles
Using social media to geo-target emergency management efforts
Spatial scene similarity assessment based on deep learning
Typical patterns of government response measures and trends for COVID-19 pandemic
Spatial and temporal distribution of LPG dispersion concentration in small-scale space
Experimental investigation into the acoustic characteristics of the ground surface response due to leakage in buried water-filled pipelines
Spatio-temporal Heterogeneity Analysis of Transportation Equity Based on GTWR
Enhancing Collaborative Emergency Management: Leveraging Blockchain Distributed Ledger for Inter-Agency Data Sharing
Machine Learning Based Approach to Detect Position Falsification Attack in VANETs
Bad Signature Identification in a Batch Using Error Detection Codes
Secure Opportunistic Data Exchange Using Smart Devices in 5G/LTE-A Networks
DroidDivesDeep: Android Malware Classification via Low Level Monitorable Features with Deep Neural Networks
A Semantic Notion of Secure Information-Flow
An Approach to Meta-Alert Generation for Anomalous TCP Traffic
Testing Program Crash Based on Search Based Testing and Exception Injection
Threshold Ring Signature with Message Block Sharing
EvadePDF: Towards Evading Machine Learning Based PDF Malware Classifiers
Malware Signature Generation Using Locality Sensitive Hashing
APPLADroid: Automaton Based Inter-app Privacy Leak Analysis for Android
Unsupervised Person Re-ID in Surveillance Feed Using Re-ranking
BlockSLaaS: Blockchain Assisted Secure Logging-as-a-Service for Cloud Forensics
IP Traceback in Dynamic Networks
Security and Privacy - Second ISEA International Conference, ISEA-ISAP 2018, Jaipur, India, January, 9-11, 2019, Revised Selected Papers
A Solution to "Confused Deputy" Problem Using RWFM Labels
Keystroke Dynamics Authentication Using Small Datasets
Fuzzy String Matching Algorithm for Spam Detection in Twitter
Multiparty Evaluation of Finite State Machine
Bloom Filter Based Privacy Preserving Deduplication System
ARBAC: Attribute-Enabled Role Based Access Control Model
An Enhanced Privacy-Preserving Recommender System
Modular aspect-oriented design rule enforcement with XPIDRs
On bytecode slicing and aspectJ interferences
A machine-checked model of safe composition
Applying translucid contracts for modular reasoning about aspect and object oriented events
Supporting covariant return types and generics in type relaxed weaving
Design by contract for aspects, by aspects
Towards typesafe weaving for modular reasoning in aspect-oriented programs
ContextFJ: a minimal core calculus for context-oriented programming
Event type polymorphism
Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch
ECAlogic: hardware-parametric energy-consumption analysis of algorithms
Modular reasoning about region composition
Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2013, March 26, 2013, Fukuoka, Japan
Requirement enforcement by transformation automata
Unweaving the impact of aspect changes in AspectJ
Incremental analysis of interference among aspects
To be destructive or not to be, that is the question on modular extensions
A self-replication algorithm to flexibly match execution traces
A type system for functional traversal-based aspects
Static verification of ptolemyrely programs using openJML
Aspect oriented programming: a language for 2-categories
Typing for a minimal aspect language: preliminary report
Fundamentals of concern manipulation
A practical monadic aspect weaver
A semantics for execution levels with exceptions
Aspects and modular reasoning in nonmonotonic logic
Onspect: ontology based aspects
Aspect-oriented programming with type classes
Enhancing base-code protection in aspect-oriented programs
Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011
Certificate translation for specification-preserving advices
Exploiting aspects in model-based testing
Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2014, April 22, 2014, Lugano, Switzerland
Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2007, Vancouver, British Columbia, Canada, March 13, 2007
Enforcing behavioral constraints in evolving aspect-oriented programs
Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2009, Charlottesville, Virginia, USA, March 2, 2009
Compositional verification of events and observers: (summary)
Towards a type system for detecting never-matching pointcut compositions
Event-based modularization: how emergent behavioral patterns must be modularized?
Graph-based specification and simulation of featherweight Java with around advice
Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs
Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, Brussels, Belgium, April 1, 2008
On the relation of aspects and monads
De-constructing and re-constructing aspect-orientation
Architectural point mapping for design traceability
A core calculus of composite layers
A synchronized block join point for AspectJ
Specification of domain-specific languages based on concern interfaces
Specializing continuations a model for dynamic join points
Context holders: realizing multiple layer activation mechanisms in a single context-oriented language
Taming aspects with monads and membranes
Taming aspects with membranes
Modular verification of strongly invasive aspects: summary
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012
Analysis and evaluation of regression model for centrifugal chiller
GATransTracker: A Robust and Accurate Feature Fusion for Object Tracking
Application of Improved Genetic Algorithm in Aircraft Industry Process Simulation
DeepHashDetection: Adversarial Example Detection Basedon Similarity Image Retrieval
Fourier attack - a more efficient adversarial attack method
Mobile application tasks refactoring and offloading in Edge Environments
Research on Answer Sentence Selection Based on Multi-Attention Mechanism Integration and Transfer Learning
Adaptive Fixed-Time Constraint Control for Human-Robot Interaction with Uncertainties using Neural Networks
Large Data of Medical Images Driven Repeatable Diseases Intelligent Diagnosis Model using Deep Learning Technology
A CNN-based Fog Node Data Processing Method and Application in Wearable Heart Detection Equipment
A Mandarin Tone Recognition Algorithm Based on Random Forest and Features Fusion
KTR2DN: Knowledge Transfer with Residual in Residual Dehazing Network
Texture-suppression-based surface defect detection of milled aluminum ingot
2024 8th International Conference on Control Engineering and Artificial Intelligence, CCEAI 2024, Shanghai, China, January 26-28, 2024
Semantic Engineering Platform: Case Research on Humanoid Resolving Primary Mathematics Application Problems
CCEAI 2022: The 6th International Conference on Control Engineering and Artificial Intelligence, Virtual Event, Japan, March 11 - 13, 2022
IMC Control of Oil Wells Pressure during Drilling Modeled as An Integrative Process with Time Delay
CCEAI 2021: 5th International Conference on Control Engineering and Artificial Intelligence, Sanya, China, January, 2021
Research on improved DeepLabv3+ image Semantic Segmentation algorithm
Interval quantile maximum mutual information feature selection algorithm
Exploring Accent Similarity for Cross-Accented Speech Recognition
Design of Maglev Controller Considering Track Influence
Stride-length Estimation Method for Indoor Navigation Assisted by SEMG Signals
A Hierarchical Analysis-based Artificial Neural Network Algorithm and Its Application
Two-layer Mission Planning For Fully Connected Intelligent Satellite System
A Unified Strategy for Fault Recovery and Islanding in Urban Terminal Distribution Networks