yusuke1997/dblp-id-title huggingface dataset:
Automation Service Choreographies using Decentralized Orchestration to Integrate Non-Choreography-Enabled Equipment Assemblies
Survey on methods for early prototyping and validation of technical product ideas
Performance Analysis of the Double-layer Permanent Magnet Rotor Flux Adjustable PMC With Slotted Conductor Rotor
A comparative study of using spindle motor power and eddy current for the detection of tool conditions in milling processes
An Energy Efficient Mesh LNN Routing Protocol Based on Ant Colony optimization
Securing smart maintenance services: Hardware-security and TLS for MQTT
Subject-oriented process design across organizational control layers
Health system zeitgeist: How tweets can provide real-time insight into the health system
Real-Time Estimation Method of Heavy Vehicle Mass and Gradient
Healthcare Monitoring System Inside Self-driving Smart Car in 5G Cellular Network
Efficient SST prediction in the Red Sea using hybrid deep learning-based approach
Low-cost radar-based target identification prototype using an expert system
Network fabric fault-tolerance for Ethernet-based Networked Control Systems
Dependable multi-touch interactions in safety critical industrial contexts: Application to aeronautics
Motion segmentation object detection in complex aquatic scenes and its surroundings
Development of smart field devices using heterogeneous multicore processors
Integrated automation system with PSO based scheduling for PCB remanufacturing plants
Development of One Hand Drive Wheelchair System : 2 nd report : Evaluation of the designed hand rim
Reinforcement-learning based fault-tolerant control
Selecting redundant nodes when addressing availability in wireless visual sensor networks
A Method to Estimate Exogenous Disturbances in Nonlinear Systems Based on Equivalent-Input-Disturbance Approach
Configuration of integrated security system
An effective heuristic for stockyard planning and machinery scheduling at a coal handling facility
Optimal design of both rectified layer and pooling layer of convolutional neural network for noninvasive blood glucose estimation system
Performance analysis of frequency restoration for parallel voltage source inverters connected with a realistic communication channel
Extended Reference Broadcast Infrastructure Synchronization Protocol in 5G and Beyond
Design and analysis of a novel 2-DoF rotational decoupled adjusting parallel mechanism
A Fine-Grained CO2 Monitoring System Using Aerial-Ground Cooperative Sensing
Roll stabilization: A higher order sliding mode approach
Online passive learning of timed automata for cyber-physical production systems
Responses to Conversational Information Retrieval Clarifying Questions with User Emotions
An Evaluation Framework for Conversational Information Retrieval Using User Simulation
A Framework for Knowledge Integration in Conversational Information Retrieval
Joint Proceedings of the 1st Workshop on Evaluation Methodologies,Testbeds and Community for Information Access Research (EMTCIR 2024) and the 1st Workshop on User Modelling in Conversational Information Retrieval (UM-CIR 2024) co-located with the 2nd International ACM SIGIR Conference on Information Retrieval in the Asia Pacific (SIGIR-AP 2024), Tokyo, Japan, December 12, 2024
Evaluating System Responses Based On Overconfidence and Underconfidence
Can We Use Large Language Models to Fill Relevance Judgment Holes?
Building Test Collections for Japanese Dense Information Retrieval Technologies and Beyond
Immersive Personalisation for Conversational Information-seeking: The Future of Interactive Information Retrieval
Understanding Tables in Financial Documents: Shared Tasks for Table Retrieval and Table QA on Japanese Annual Securities Reports
Searching Unseen Sources for Historical Information: Evaluation Design for the NTCIR-18 SUSHI Pilot Task
Effect of Two Typical Wing Forms on Aerodynamic Characteristics of Double-ellipsoidal Airship
Matrix Completion Recommendation Algorithm Based on Attention Mechanism
Proceedings of the 2022 International Conference on Computer and Information Processing Technology Virtual Event, Shenyang, China, August 5-7, 2022, Virtual Event, Shenyang, China, August 5-7, 2022
Trigonometry-Free SVPWM Algorithm and FPGA Application Simulation
Towards a High-Level Business Architecture Methodology for Enterprise IT Strategy
Acoustic Analysis of Monophthongs in Tibetan of Yushu Dialect
Three-Step Intelligent Pruning for Data Classification in Just-in-Time Software Defect Prediction
Robust Optimization on E-commerce Closed-loop Supply Chain with Uncertain Environment
Research on Performance Optimization of Alliance Chain Based on Caching Technology
Research on Vibration Energy Acquisition Method of Piezoelectric Generator
Comparative Analysis of PRP and DRN
A Design of Data Acquisition and Monitoring System for Intelligent Electrical Cabinets
High Performance Third-order Tensor-Train and Tensor-Ring Decompositions on GPUs
Research on Visual Malicious Code Classification Based on Improved Faster R-CNN
Trajectory Modeling Calculation and Maneuverability Analysis of Proportional Navigation Method
Latency-aware Load Balancing Virtual Network Embedding Algorithm
Research on the Deployment of MEC Edge Computing Platform Based on 5G Network in Power System
Design of Wireless Intelligent Ward Calling System
A Task Offloading Method for Smart Instruments Based on Edge Computing
A Method for Parallel Calculation of Radar Detection Capability Based on 3D Subdivision Grid
Research on Data Analysis of the Vessel Shore Report
Optimization Scheme of PBFT Consensus Algorithm Based on Changan Blockchain
Intelligent Recognition and Visual Measurement System Based on Workpiece Primitives to be Measured
Construction and Application of Subject Knowledge Graph for Basic Education
Analysis of Mechanical Properties of Trapezoidal Polypyrrole Actuator
One-Shot Video-Based Person Re-Identification by Global-Local Feature and Subsampling Strategy
Multimodal Human-Computer Communication, Systems, Techniques, and Experiments
Relating Imperatives to Action
Synthesizing Cooperative Conversation
Cooperation and Flexibility in Multimodal Communication
Augmenting and Executing SharedPlans for Multimodal Communication
Visual Language Parsing: If I Had a Hammer...
Using Cooperative Agents to Plan Multimodal Presentations
A Multimedia Interface for Circuit Board Assembly
Referent Identification Requests in Multi-Modal Dialogs
IMPROVISE: Automated Generation of Animated Graphics for Coordinated Multimedia Presentations
Interpretation of Gestures and Speech: A Practical Approach to Multimodal Communication
PEDRO: Assessing Presentation Decodability on the Basis of Empirically Validated Models
Modeling and Processing of Oral and Tactile Activities in the GEORAL System
The IntelliMedia WorkBench - An Environment for Building Multimodal Systems
Multimodal Cooperative Resolution of Referential Expressions in the DenK System
Speakers' Responses to Requests for Repetition in a Multimedia Language Processing Environment
A Unified Framework for Constructing Multimodal Experiments and Applications
Instructing Animated Agents: Viewing Language in Behavioral Terms
Object Reference in Task-Oriented Keyboard Dialogues
Multimodal Maps: An Agent-Based Approach
Cooperative Multimodal Communication, Second International Conference, CMC'98, Tilburg, The Netherlands, January 28-30, 1998, Revised Papers
Multimodal Reference to Objects: An Empirical Approach
Multimodal Cooperative Communication
Issues in Multimodal Human-Computer Communication
The Role of Multimodal Communication in Cooperation: The Cases of Air Traffic Control
Why Are Multimodal Systems so Difficult to Build? - About the Difference between Deictic Gestures and Direct Manipulation
Communication and Manipulation Acts in a Collaborative Dialogue Model
Studies into Full Integration of Language and Action
Developing Multimodal Interfaces: A Theoretical Framework and Guided Propagation Networks
Toward Cooperative Multimedia Interaction
Cooperation between Reactive 3D Objects and a Multimodal X Window Kernel for CAD
Generating Textual Diagrams and Diagrammatic Texts
Multimodal Cooperation with the DENK System
Anaphora in Multimodal Discourse
Deriving a Compilation Method for Parallel Logic Languages
Implementation of Temporal Logic Programming Language Tokio
Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986
Using the Temporal Logic Programming Language Tokio for Algorithm Description and Automatic CMOS Gate Array Synthesis
Consultation System for Diagnosis of Headache and Facial Pain: "RHINOS"
Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987
Logic Interface System on Navigational Database Systems
Proving Partial Correctness of Guarded Horn Clauses Programs
A Travel Consultation System: Towards a Smooth Conversation in Japanese
Paralle Generalized LP Parser based on Logic Programming
An Optimizing Prolog Compiler
Inductive Inference of Regular Language Based on Model Inference
ZERO: Frame + Prolog
Knowledge Realization and Transformation in KRISP
Semantics of Non-montonic Reasoning based on Perfect Model
A Prototype Software Simulator for FGHC
CS-Prolog: A Generalized Unification Based Constraint Solver
Human and Machine Learning of Descriptive Concepts
Retrieval of Software Module Functions Using First-Order Predicate Logic Formulae
Concurrent Execution of Prolog Transaction
Fast Execution Mechanisms of Parallel Inference Engine PIE: PIEpelined Goal Rewriting and Goal Multicasting
Analogical Program Synthesis from Program Components
Proving Definite Clauses without Explicit Use of Inductions
Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989
Synchronization and Communication in the "Subject"
Analogical Reasoning using Transformations of Rules
A Foundation of Reasoning by Analogy: Analogical Union of Logic Programs
A Preliminary Evaluation of a Parallel Inference Machine for Stream Parallel Languages
A Parallel Logic Simulator Based on Concurrent Prolog
Logic Programming Debugger Using Control Flow Specification
Software Prototyping with MENDEL
Completeness of Extending Unification Based on Basic Narrowing
Test Generation for Large-Scale Combinational Circuits by Using Prolog
Pseudo Extension in Default Reasoning and Belief Revision by Model Inference
Inference Methods and Semantics on Or-type Knowledge Bases
FLENG Prolog - The Language which turns Supercomputers into Parallel Prolog Machines
Lattice Programming Methodology
An Approach to Speeding Up the Prolog=based Inference Engine KORE/IE
Logic Design Assistence Using Temporal Logic Based Language Tokio
Inheritance Hierarchy Mechanism in Prolog
KPR: A Logic Programming Language-Oriented Parallel Machine
Plan-Based Text Generation in an On-Line Help System
Knowledge Media Station
The Classification and Boundary Problem
Temporal Logic Programming Language Tokio - Programming in Tokio
Heuristic Prolog: Logic Program Execution by Heuristic Search
PROEDIT - A Screen Oriented Prolog Programming Environment
Development of C-Prolog Compiler
Heuristic Applied in Tree Manipulation Algorithm Synthesis
Nonmonotonic Parallel Inheritance Network
Debugger for a Parallel Logic Programming Language Fleng
Elementary Formal System as a Logic Programming Language
A Prolog Based Object Oriented Language SPOOL and its Compiler
Extraction of Characteristic Facts and Abstract Generation
Update Propagation Network - A Framework for Constraint Programming
Logic Based Lexical Analyser LAX
On Parallel Programming Methodology in GHC
Time-Bounded Reasoning in First Order Knowledge Base Systems
Programming in Modal Logic: An Extension of PROLOG based on Modal Logic
Manipulation of Embedded Context Using the Multiple World Mechanism
A Prolog-Based Korean-English Machine Translation System and Its Efficient Method of Dictionary Management
Generating Natural Language Responses Appropriate to Conversational Situation - In the Case of Japanese
A Simple Programming System Written in GHC and its Reflective Operations
KORE: A Hybrid Knowledge Programming Environment for Decision Support Based on a Logic Programming Language
KRIP: a Knowledge Representation System for Laws Relating to Industrial Property
Legal Expert System LES-2
Extended Prolog and Ints Application to an Integrated Parser for Text Understanding
A Note on the Elementary Execution Unit in a Parallel Inference Machine
Introduction of a Package System into Prolog
ALEX: The Logic Programming Language with Explicit Control and without Cut-Operators
Architecture and Evaluation of a Reduction-Based Parallel Inference Machine: PIM-R
Knowledge Representation and Reasoning for Discourse Understanding
cu-Prolog and its Application to a JPSG Parser
TDProlog: An Extended Prolog with Term Description
A Framework for Interactive Problem Solving Based on Interactive Query Revision
Managing Search in Parallel Logic Programming
Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988
Parallel Prolog Machine PARK: Its Hardware Structure and Prolog System
Design and Evaluation of a Prolog Compiler
MENDELS: Concurrent Program Synthesis System Using Temporal Logic
Polymorphic Type Inference in Prolog by Abstract Interpretation
Access Program to Minimize Redundant Refutations on the Network Database System
PRESET - A Debugging Environment for Prolog
The Program Characteristics in Logic Programming Language ESP
The Art of Building a Parallel Logic Programming System or From Zero to Full GHC in Ten Pages
A Consistency Maintenance Mechanism for Subjective Judgements and Its Application
A Method of Representing Processes in a Constraint Solver
An Approach to Nonmonotonic Inference Mechanism in Production System KORE/IE
Hardware Simulator of Reduction-Based Parallel Inference Machine PIM-R
Table-Driven Bottom Up Parser in Prolog
AND-OR Queuing in Extended Concurrent Prolog
Guarded Horn Clauses
Prolog Computation Model BPM and its Debugger PROEDIT2
EUODHILOS: A General-Purpose Reasoning Assistant System - Concept and Implementation
Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985
Implementation of Full GHC by Communicating Processes
Identifying Significant Task-Based Predictors of Emotion in Learning
A Multi-agent Negotiation Model Applied in Multi-objective Optimization
On the Role of Causal Reasoning in Autonomous Agents and Multi-Agent Systems
A Trust/Honesty Model in Multiagent Semi-competitive Environments
DGF: Decentralized Group Formation for Task Allocation in Complex Adaptive Systems
Planning Actions with Social Consequences
Non-monotonic Collective Decisions
A Framework for Analyzing Simultaneous Negotiations
Principles and Practice of Multi-Agent Systems - 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers
SmartContractor : A Distributed Task Assignment System Based on the Simple Contract Net Protocol
Advances in Practical Multi-Agent Systems, PRIMA 2009 Workshops, Nagoya, Japan, December 14-16, 2009
Identifying Belief Sequences in a Network of Communicating Agents
Research on Design and Implementation of Adaptive Physics Game Agent for 3D Physics Game
Coalition Structure Formation Using Anytime Dynamic Programming
Handling Heterogeneous Disagreements Through Abstract Argumentation (Extended Abstract)
Norm Enforcement as Supervisory Control
A Hybrid Model of Traffic Assignment and Control for Autonomous Vehicles
Multi-objective Distributed Constraint Optimization Using Semi-rings
Intelligent Agents and Multi-Agent Systems, 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
Agent Based Simulation for a Sustainable Society and Multi-agent Smart Computing - International Workshops, PRIMA 2011, Wollongong, Australia, November 14, 2011 Revised Selected Papers
Inferring Equation-Based Models from Agent-Based Models: A Case Study in Competition Dynamics
Deliberative Argumentation for Smart Environments
New Distributed Constraint Reasoning Algorithms for Load Balancing in Edge Computing
Reflecting on Agent Programming with AgentSpeak(L)
Influence of Expertise Complementarity on Ad Hoc Human-Agent Team Effectiveness
Judgment Aggregation with Unknown Variable Reliability
Evaluating Adaptive and Non-adaptive Strategies for Selecting and Orienting Influencer Agents for Effective Flock Control
Game Theory for Security: Lessons Learned from Deployed Applications
A Co-operative Intelligent Assisting Agent Architecture for Web Searching and Desktop Management
Designing Agents for Context-Rich Textual Information Tasks
Simulation of Unintentional Collusion Caused by Auto Pricing in Supply Chain Markets
Supporting Impromptu Coordination Using Automated Negotiation
A Temporal Planning Example with Assumption-Based Argumentation
A 3D Conversational Agent for Presenting Digital Information for Deaf People
On Fairness in an Alternating-Offers Bargaining Model with Evolutionary Agents
Incorporating AI Methods in Micro-dynamic Analysis to Support Group-Specific Policy-Making
Continuous Truck Delivery Scheduling and Execution System with Multiple Agents
Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation
New Types of Metrics for Urban Road Networks Explored with S3: An Agent-Based Simulation Platform
MW-MAS: A Multi-agent System for Multimodal Watermarking with Agent Orchestration
Model Checking for Epistemic and Temporal Properties of Uncertain Agents
Framework for Agent-Based Buying Decision Process
Statistical Utterance Selection Using Word Co-occurrence for a Dialogue Agent
Efficient Task Decomposition in Crowdsourcing
AOAD-MAT: Transformer-Based Multi-agent Deep Reinforcement Learning Model Considering Agents' Order of Action Decisions
Supply Chain Management World - A Benchmark Environment for Situated Negotiations
Task Selection Algorithm for Multi-Agent Pickup and Delivery with Time Synchronization
Multiagent Based Scheduling of Elective Surgery
A Proportional Pricing Mechanism for Ridesharing Services with Meeting Points
XAI-Guided Feature Pruning for Deep Reinforcement Learning in EV Routing Problems
Agent-Oriented Programming Languages as a High-Level Abstraction Facilitating the Development of Intelligent Behaviours for Component-Based Applications
Information Dependencies in MCS: Conviviality-Based Model and Metrics
From Biological to Urban Cells: Lessons from Three Multilevel Agent-Based Models
Layered Cooperation of Macro Agents and Micro Agents in Cooperative Active Contour Model
Argumentation Versus Optimization for Supervised Acceptability Learning
Ontology-Based Emotion System for Digital Environment
A Study of Relaxation Approaches for Asymmetric Constraint Optimization Problems
Strong Mobility for FIPA Compliant Multi-agent Systems
Adaptive and Non-adaptive Distribution Functions for DSA
Using Agent Technology for Ambient Assisted Living
Collaborative Judgement
nADICO: A Nested Grammar of Institutions
Parameter Evolution for Quality of Service in Multimedia Networking
Spread of Cooperation in Complex Agent Networks Based on Expectation of Cooperation
Declarative Preferences in Reactive BDI Agents
A Task Management Architecture for Control of Intelligent Robots
Conflict Resolution Method for Multi-context Situation
A Co-dependent Value-Based Mechanism for the Internet Advertisement Auction
Assume-Guarantee Verification of Strategic Ability
Syncretic Argumentation by Means of Lattice Homomorphism
A Novel Approach for Conflict Resolution in Context-Awareness Using Semantic Unification of Multi-Cognition
A Multi-subset Possible World Semantics for Intention Operator of Agent
Building Web Navigation Agents Using Domain-Specific Ontologies
Emergent Privacy Norms for Collaborative Systems
Fast Algorithms for Computing Interim Allocations in Single-Parameter Environments
GAMA 1.6: Advancing the Art of Complex Agent-Based Modeling and Simulation
Vector Representation Based Model Considering Randomness of User Mobility for Predicting Potential Users
Using Distributed Agents for Patient Scheduling
Adaptive Budget Allocation for Sequential Tasks in Crowdsourcing
Evacuation Planning Assist System with Network Model-Based Pedestrian Simulator
Towards an Agent-Based Robust Collaborative Virtual Environment for E-Learning in the Service Grid
Addressing the Brittleness of Agent Interaction
DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs
Towards a Methodology for the Participatory Design of Agent-Based Models
A Multi-Agent System Based Approach to Intelligent Process Automation Systems
Argument-Based Bayesian Estimation of Attack Graphs: A Preliminary Empirical Analysis
The Communication Model of Migrating Workflow System
Automated Negotiation Mechanism and Strategy for Compensational Vehicular Platooning
Policy Advisory Module for Exploration Hindrance Problem in Multi-agent Deep Reinforcement Learning
A Layered Semantics for Mobile Computation*
From Obligations to Organizational Structures in Multi-Agent Systems
Interactive Learning of Expert Criteria for Rescue Simulations
Coordination of Mobile Agents for Simultaneous Coverage
A Co-evolutionary Approach to Analyzing the Impact of Rationality on the Italian Electricity Market
A Calculus for MAS Interaction Protocol
Automatic Evacuation Management Using a Multi Agent System and Parallel Meta-Heuristic Search
Risk Strategies and Risk Strategy Equilibrium in Agent Interactions Modeled as Normal Repeated 2 ×2 Risk Games
An Interest Rate Adjusting Method with Bayesian Estimation in Social Lending
A Multi-agent Based Migration Model for Evolving Cooperation in the Spatial N-Player Snowdrift Game
PRIMA 2024: Principles and Practice of Multi-Agent Systems - 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings
ARTISTE: Agent Organization Management System for Multi-Agent Systems
Modelling Shared Decision Making in Medical Negotiations: Interactive Training with Cognitive Agents
Questions About Quantities: Epistemic Numerical Estimate Aggregation
A New Ant Colony Optimization Method Considering Intensification and Diversification
picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing
Supporting Human-Robot Teams in Space Missions Using ePartners and Formal Abstraction Hierarchies
Adaptive Choice of Behavior and Protocol Parameters
Metric Distortion of STV on the Line and the Impact of Voter Turnout
A Need for Biologically Inspired Architectural Description: The Agent Ontogenesis Case
Time Series Predictive Models for Opponent Behavior Modeling in Bilateral Negotiations
SAT-Based Automated Mechanism Design for False-Name-Proof Facility Location
PRIMA 2022: Principles and Practice of Multi-Agent Systems - 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings
Marginal Contribution Stochastic Games for Dynamic Resource Allocation
An Adaptive Human-Aware Software Agent Supporting Attention-Demanding Tasks
SIM-MADARP: An Agent-Based Tool for Dial-a-Ride Simulation
An Investigation of Emergent Collaboration under Uncertainty and Minimal Information in Energy Domains
Solving F3MDPs: Collaborative Multiagent Markov Decision Processes with Factored Transitions, Rewards and Stochastic Policies
A Verification Framework for Normative Multi-Agent Systems
Solving Dec-POMDPs as POMDPs Using Imitation Learning
An Adaptive Cognitive Agent Model for Development of a Hoarding Disorder and Recovery from it by Therapy
Real-Time Moving Target Search
Multi-stage Generalized Deferred Acceptance Mechanism: Strategyproof Mechanism for Handling General Hereditary Constraints
Dynamic Ad Hoc Coordination of Distributed Tasks Using Micro-Agents
A Preliminary Analysis of Interdependence in Multiagent Systems
Case Learning in CBR-Based Agent Systems for Ship Collision Avoidance
Crafting Ontology Alignments from Scratch Through Agent Communication
Effective Use of LLMs via Counterfactual Reasoning for Transparent Recommendation Explanations
An Approach for Learnable Context-Awareness System by Reflecting User Feedback
Agent-Based Modelling for Risk Assessment of Routine Clinical Processes
A Game Theoretic Approach for Deploying Intrusion Detection Agent
Context-Aware Mobile Augmented Reality for Library Management