yusuke1997/dblp-id-title huggingface dataset:
On the Maximal Number of Complete Extensions in Abstract Argumentation Frameworks
Planning Graphs and Propositional Clause-Learning
Ontology-Based Semantics
Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning
Description Logics with Abstraction and Refinement: From ALC to EL
From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP
A General Approach to Reasoning with Probabilities - Extended Abstract
A Logic of Limited Belief for Reasoning with Disjunctive Information
Who's the Expert? On Multi-source Belief Change
Improving Query Answering over DL-Lite Ontologies
What the Lottery Paradox Tells Us About Default Reasoning
The Philosophical Soccer Player
Learning the Classic Description Logic: Theoretical and Experimental Results
Non-Prioritized Iterated Revision: Improvement via Incremental Belief Merging
Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals
A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument
Consistent Query Answering over SHACL Constraints
Implicit Hitting Set Algorithms for Reasoning Beyond NP
Learning Robust Reward Machines from Noisy Labels
From Vision to Execution: Enabling Knowledge Representation and Reasoning in Hybrid Intelligent Robots Playing Mobile Games
Specifying Rule-Based Query Optimizers in a Reflective Framework
Deductive and Object-Oriented Databases, Fourth International Conference, DOOD'95, Singapore, December 4-7, 1995, Proceedings
The Differential Fixpoint Operator with Subsumption
Combining Deduction by Certainty with the Power of Magic
On the Efficient Computation of the Difference Between Concecutive Database States
The Implementation of a Deductive Query Language over an OODB
Trigger Inheritance and Overriding in Active Object Database Systems
View Maintenance Using Conditional Tables
A Mixed Approach to Negation in General Datalog Programs
Schema Evolution in a Deductive Framework
Composite Temporal Events in Active Database Rules: A Logic-Oriented Approach
Transaction Safety in Deductive Object-Oriented Databases
Practical Behavior of Parallelization Strategies for Datalog
Inference Rules in Object Oriented Programminh Systems
Semantics of Disjunctive Logic Programs and Deductive Databases
Syntactic Characterizations of 1-Bounded Datalog
Point-Based Temporal Extension of Temporal SQL
Next Generation Database Management Systems Technology (Panel)
Formal Models for Object Oriented Databases
Beyond Data Dictionaries: Towards a Reflective Architecture of Intelligent Database Systems
Efficient Data Structures for Deduction Systems
Detecting and Eliminating Redundant derivations in Logic Knowledge Bases
A Generalized Information Resource Query Language and Basic Query Evaluation Technique
Structured Objects: Modeling and Reasoning
Noodle: A Language for Declarative Querying in an Object-Oriented Database
Tracking Causal Dependencies in an Active Object-Oriented Database
Towards Efficient Evaluation of Methods by Reduction
Deductive and Object-Oriented Databases, Third International Conference, DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings
Towards a new Step of Logic Paradigm
Inductive Logic Databases: From Extensional to Intensional Knowledge
Rule-Based Generation of Logical Query Plans with Controlled Complexity
HILOG: A High-Order Logic Programming Language for Non-1NF Deductive Databases
Software Process Modeling as a Strategy for KBMS Implementation
Discovering Charactertistic Rules from Deductive Databases
Active Database Rules with Transaction-Conscious Stable-Model Semantics
Design of Active Rule Applications: Issues and Approaches
Super-Key Classes for Updating Materialized Derived Classes in Object Bases
Proceedings of the DOOD 1995 Post-Conference Workshops on Integration of Knowledge Discovery in Databases with Deductive and Object-Oriented Databases (KDOOD) and Temporal Reasoning in Deductive and Object-Oriented Databases (TDOOD), December 8, 1995, Singapore
Semantice of Inheritance in Logical Object Specifications
Declarative Specification and Evaluation of Database Updates
A Rule-Based Data Manipulation Language for OLAP Systems
On Termination of Datalog Programs
The Well Founded Semantics for Disjunctive Logic Programs
Reloop, an Algebra Based Query Language for an Object-Oriented Database System
On Natural Joins in Object-Oriented Databases
On Efficient Reasoning with Implication Constraints
Comparison of Categorical Foundations of Object-Oriented Database Model
Semantic Query Optimization for Object Queries
Adding Uniqueness Constraints to Description Logics (Preliminary Report)
Non-Determinism in Deductive Databases
Object Identity and Inheritance in Deductive Databases - an Evolutionary Approach
Updating Deductive Databases with Functional Dependencies
Combining Resolution and Classification for Semantic Query Optimization in DOOD
A Model Using Classes as Basic Organization Tool
Intelligent Knowledge Discovery Assistants on the Internet (Abstract)
Optimizing Large OODB Queries
An Overview of Database Mining Techniques
Run-time Detection of Non-Terminating Active Rule Systems
From Relational to Object-Oriented Integrity Simplification
Object Deltas in an Active Database Development Environment
The COAST Project: Design and Implementation
Well-Founded Semantics for Deductive Object-Oriented Database Languages
On a Declarative Semantics for Web Queries
Towards Effective Classfication Rule Extraction (Abstract)
Path Constraints for Graph-Based Data Models: Towards a Unified Theory of Typing Constraints, Equations, and Functional Dependencies
Treating Programs as Objects: The Computational Proxy Experience
Exploiting Semantics of Typed Objects under an Optimistic Control in the Transactional Deferred Update Model: A Promising Approach
Incremental Updates for Materialized OQL Views
Toward a Formal Framework for Comparing KD Techniques
Knowledge Base Revision Using Circumscription
From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial
A Model of Authorization for Object-Oriented Databases based on Object Views
The Level-Cycle Merging Method
Providing Dynamic Type Abstractions and Specifications for Persistent Information
A Comparison between Deductive and Object-Oriented Database Systems
Modeling Multilevel Entities Using Single Level Objects
Integration of Functions Defined with Rewriting Rules in Datalog
Features of the TEDM Object Model
A New Visualisation Technique for Knowledge Discovery in OLAP (Abstract)
Automatic Class and Method Generation for Object-Oriented Databases
Resolving Ambiguities caused by Multiple Inheritance
Towards a Flexible and Integrated Environment for Knowledge Discovery
Semantic Query Optimization in Deductive Object-Oriented Databases
Knowledge Discovery in Temporal Databases: The Initial Step
DOT: A Term Reprentation using DOT Algebra for Knowledge-bases
A Logic for Rule-Based Query Optimization in Graph-Based Data Models
Datalog++: A Basis for Active Object-Oriented Databases
On Implementing Structured Document Query Facilities on Top of a DOOD
Efficient Processing of Queries Containing User-Defined Predicates
Towards a Deductive Object-Oriented Database Language
Querying Design and Planning Databases
A Query Translation Scheme for Rapid Implementation of Wrappers
Sharing Software Tools on the WEB: The IDEA Web Lab
ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS
A Vision of Persistent Systems (Extended Abstract)
Deep Equality Revisited
Updatable Views in Object-Oriented Databases
A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems
Datalog with Non-Deterministic Choice Computes NDB-PTIME
Query Evaluation in Recursive Databases: Bottom-up and Top-down Reconciled
G-Log: A Declarative Graphical Query Language
Optimization of Methods in a Navigational Query Language
An Implementation Overview of the Aditi Deductive Database System
Bottom-Up Query Evaluation with Partially Ordered Defaults
Negation and Aggregates in Recursive Rules: the LDL++ Approach
An Extension of Path Expressions to Simplify Navigation in Object-Oriented Queries
On the Logical Foundations of Schema Integration and Evolution in Heterogeneous Database Systems
The Nonmonotonic Semantics of Active Rules in Deductive Databases
Montague Grammars for Deductive Databases
Deductive and Object Data Languages: A Quest for Integration
Multidimensional Versioning for Object-Oriented Databases
Integrating Complex Objects and Recursion
Schema Updates and Consistency
OOLP: A Translation Approach to Object-Oriented Logic Programming
Overview of Dynamic Query Evaluationin Intensional Query Optimization
Constraints in an Object-Oriented Deductive Database
A Temporal and Probabilistic, Deductive and Object-Oriented Query Language
Querying Semistructured Heterogeneous Information
Object Identity, Equality and Relational Concept
Normalization and Compilation of Deductive and Object-Oriented Databases Programs for Efficient Query Evaluation
Set-Oriented Propagation of Updates into Transitively Closed Relations
Efficiently Following Object References for Large Object Collections and Small Main Memory
Deterministic Semantics for Datalog¬: Complexity and Expressive Power
Versioning of Objects in Deductive Databases
Data Warehousing and OLAP for Decision Support
Deductive Object-Oriented Programming for Knowledge-base Independence
Nonmonotonic Inheritance Through Specialisation
A Tool Kit System for the Synthesis and the Management of Active Media Objects
Formal Characterizations of Active Databases: Part II
A Theory of Functional Dependencies for Object-Oriented Data Models
Deductive and Object-Oriented Databases, 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997, Proceedings
Evaluation and optimization of complex object selections
The ChronoBase Temporal Deductive Database System
Database Updating Revisited
Maintenance of Discovered Knowledge: A Strategy for Updating Association Rules (Abstract)
A Formal System for Producing Demons from Rules in an Object-Oriented Database
Adding a Temporal Dimension to a Deductive Database
A Deductive and Typed Object-Oriented Language
A Metapattern-Based Automated Discovery Loop for Integrated Data Mining (Abstract)
An Experimental Distributed Deductive Database System
A General Model for Event Specification in Active Database Management Systems
On the Specification of Views in DOOD Systems
Transforming Relational Database Schemas into Object-Oriented Schemas according to ODMG-93
Object-Oriented Queries: Equivalence and Optimization
Attribute-Oriented View Definitions in Relational and Deductive Databases
Optimization of Nonrecursive Queries in OODBs
A Formalization of Objects Using Equational Dynamic Logic
An Extensible Functional Query Language for an Object Oriented Database System
Possible Model Semantics for Disjunctive Databases
Deductive and Object-Oriented Databases, Proceedings of the First International Conference on Deductive and Object-Oriented Databases (DOOD'89), Kyoto Research Park, Kyoto, Japan, 4-6 December, 1989
Foundations of Aggregation in Deductive Databases
Execution Plan Generation for an Object-Oriented Dat Model
A Deductive and Object-Oriented Approach to a Complex Scheduling Problem
On Deductive Query Evaluation in the DedGin* System
Inheritance Reasoning by Regular Sets in Knowledge-bases with Dot Notation
On Testing Effective Computability of Magic Programs
Semantics and Evaluation of Rules over Complex Objects
Interactive Querying and Visualisation in Temporal Databases (Abstract)
On Canonical and Non-canonical Classifications
Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings
An Approach to Obtain Intensional Translation for Consistent View Updating
Distribution of Selections: The Missing Link between Strategies for Relational Databases and Deductive Databases
Maintaining Constrained Transitive Closure by Conjunctive Queries
Meta-Rule-Guided Mining of Association Rules in Relational Databases
Authorization Analysis of Queries in Object-Oriented Databases
ISALOG- : A Deductive Language with Negation for Complex-Object Databases with Hierarchies
Explaining Program Execution in Deductive Systems
A Data Mining Algorithm Optimal for Single Rules
Logical Updating of Object Class Structures
Efficient Access Methods in Deductive and Object-Oriented Databases
Query Optimization for Database Programming Languages
Meta Operations for Type Management in Object-Oriented Databases
Implementation of a Data Gathering System with Scalable Intelligent Control Architecture
Summary of Mini-Symposium II.
Adaptive mobile agents: Enhanced flexibility in internet-based remote operation
Balanced Automation Systems for Future Manufacturing Networks - 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedings
Supporting information access rights and visibility levels in virtual enterprises
An Agent-Based Simulation of A Jit Material Handling System
Cutting Molds/Dies from Scan data
Graphical Simulation in CAP - An Animation Model
Federated query processing for distributed process coordniation in virtual enterprises
Model-Based Description of Human Body Motions for Ergononics Evaluation
Application of Soft Computing Techniques to Classification of Licensed Subjects
Development of an Information Technology Infrastructure for Extended Enterprise
Iterative Heuristics for Permutation Flow Shops with Total Flowtime Minimization
Agile E-Business Process Assembly and Development
Logistics support to electronic commerce in Brazil: Trends and constraints
Supports for component based systems: Can contemporary technology cope?
Accessing Corporate Memory - Some Knowledge Structure Concepts
Evaluation and Derivation of Process Plans in Turning
Virtual reality user interface for autonomous production
Developing a Web Scheduling System Based on XML Modeling
A simple robust fuzzy-logic sliding-mode controller of the diagonal type
Emerging Solutions for Future Manufacturing Systems, IFIP TC5 / WG5.5 Sixth IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services, 27-29 September 2004, Vienna, Austria
Implementation Issues with Holonic Control Device Communication Interfaces
Report on TC5 CATE TASK FORCE (Computer Aided Effective Task Force)
Design of a computer-supported cooperative environment for small and medium enterprises
Knowledge Maintenance in Knowledge-Based Product Development Systems
Potential and Advanced Concurrent Engineering Methods
Uncertain Temporal Support in Multiagent Medical Service
Decentralised resource allocation planning through negotiation
Finging Near-Optimal Build Orientations for Shape Deposition Manufacturing
A survey on the use of E-commerce by Brazilian companies
EBXML - Overview, Initiatives and Applications
MASTer-For Production Systems That Run Themselves
Fuzzy approximation of the functions minimum and maximum
Using Data Mining for Virtual Enterprise Management
A Conceptual Framework for Efficient New Product Introductions
AeroWEB: An Information Infrastructure for the Supply Chain
Working efficiently with the service industries
Design of Product Oriented Manufacturing Systems
Multi-agent based supply chain management with market emergence phenomenon
Distributed production with specification-generated processes
The Development of ADNC Distributed Numerical Control System
Internet-Based Electronic Procurement Solutions - Opportunities for Support and Re-Engineering of Direct Materials Procurement
The biggest bottlenecks in concurrent engineering
Contingencies-Based Reconfiguration of Holonic Control Devices
Understanding Social Capital in Collaborative Networks
CAD of Frame Structure for Machinery
NORMAN/DEBORA: a Powerful CAD-Integrating Automatic Sequencing System Including Advanced DOE/RSM Techniques for Various Engineering Optimization Problems
Applying a Benchmarking Methodology to Empower a Virtual Organisation
Model Creation on the Base of Object Visualization
Supply Chain Management Based on Market Mechanism in Virtual Enterprise
Machining Process Modeling for Intelligent Rough Machining of Sculptured Parts
NFC Technologies in Mobile Phones and Emerging Applications
Scheduling in a Multi-Agent Environment
Intelligent Manufacturing Systems: Technical Cooperation that Transcends Cultural Differences
CIMOSA Pilot Implementation for Technology Transfer
Integrating Multi-Agent Systems: A Case Study
Alarm Root Cause Detection System
Computer Aided Process Planning for the Flexible Automated Sheet Metal Bending
Expert Knowledge Based System: Autoknowledge
Selection and Evaluation of SFM Systems
Composing enterprise models: The extended and the virtual enterprise
Adaptive Tool Path Planning for 5-Axis Sculptured Surface Machining by Machining Strip Evaluation
A Maintenance Policy Selection Tool for Industrial Machine Parts
An assessment model to analyze organizational readiness to implement telework arrangements
Framework for Automatic Creation of Remote Operations Support Systems
Process support for virtual projects in the construction sector
Market Of Resources as an Enabler Of (Inter-)Organizational Reconfiguration Dynamics
Collaborative Design Procedure for Supply Chain Process Integration Using UML
User Oriented Tool Management System
Supply Chain Engineering and the Use of a Supporting Knowledge Management Application
Project-specific Process Configuration in Virtual Enterprises
Simultaneous design and process planning by indicators
Introduction to the Prototyping of an Intelligent Supervision System
Simulation-Based Planning and Control of Production Fractals
An Integrated Approach to a Multi-Attribute Decision Problem Through a Case Study
Methodologies and Applications of Knowledge-Based Hybrid Systems
Towards Open Architecture Concurrent Engineering Frameworks
An Adaptive Process Management System (APMS)
On the Re-Configurability Design of Parallel Machine Tools
Workflow History Management in Virtual Healthcare Enterprise
Design Patterns for Distributed Control System Benchmaking
Distributted Work Environments for Collaborative Engineering
Agent-Based Supply Chain Planning in the Forest Products Industry
Knowledge management in a distributed organisation
Round Table Discussion of Concurrent Engineering
Coordination and Configuration Requirements in a Virtual Enterprise
Holonic Management System for Hierarchical Robot Groups
Engineering Information Infrastructure for Product Lifecycle Managment
A virtual project house infrastructure for distributed development processes
Fuzzy optimal control of mechanical systems
Model-Based Motion Analysis of Factory Workers Using Multi-Perspective Video Cameras
Knowledge and Skill Chains in Engineering and Manufacturing - Information Infrastructure in the Era of Global Communications Proceedings of the IFIP TC5/WG5.3, WG5.7, WG5.12 Fifth International Working Conference of Information Infrastructure Systems for Manufacturing 2002 (DIISM 2002), November 18-20, 2002 in Osaka, Japan
Information Infrastructure Systems for Manufacturing II, IFIP TC5 WG5.3/5.7 Third International Working Conference on the Design of Information Infrastructure Systems for Manufacturing (DIISM '98), May 18-20, 1998, Fort Worth, Texas, USA
Modeling expertise for selecting manufacturing technology
Design of the Federated Information Management Architecture for Prodnet
Supply chain management and distributed manufacturing in the automotive industry
Simulation Services for Training of Plant Operators
The First Industrial Enterprise CIMS Implementation Program in China
Creation of Robust Schedule for Profit Based Cooperation
Scheduling the arrivals in a no-wait flowshop with fuzzy processing times
Reliable Communications for Mobile Agents - The Telecare Solution
Business Intelligence Support for Supply Chain Management
Optimal Tool Selection for Interference-free Sculptured Surface Machining
Co-Innovation Networks in Industry
A Prediction Method and In-process Monitoring System of Die-Life in Hot Forging
Evolutionary Model of an Innovative and Differentiated Industry
A Multiagent Based Control System Applied to an Educational Shop Floor
Report on CIRP Review about C. A. P. P. (Computer Aided Process Planing)
Performance Analysis of Assembly Robots Using Kinematics and Geometric Tolerances
Secure electronic commerce in virtual enterprises of SMEs
Research on Maintenance Stratagem and Computer Aided Testing System for CNC Machines
Tool Condition Monitoring in Machining - Neural Networks
A Computation and Control Architecture of Virtual Manufacturing Shop
Self-Governing Production Groups: Towards Requirements for IT Support
Collaborative Distributed Computing in the Field of Digital Electronics Testing
Machining Large Complex Shapes using a 7 DoF Device
Basis services for the management of Virtual Enterprises: A case study
Reverse Engineering Employing a Wrap-Around Surface Triangle Set
An Activity-Based Model of Concurrent Engineering System
Integrating manufacturing simulation tools using distributed object technology
The Extended Products Paradigm, an Introduction
Automated Management of Quality Control System for Network Enterprise
Agility Through Design - The Holonic Multi-cell Control System (HoMuCS) Architecture
STJLBM-1 Expert System Generating a Part Classification and Coding System
Agent- based manufacturing: A database point of view
Design Evaluation of Virtual Clay Models using Selective Laser Sintering
Facilitating Rapid Product Realization with a High-Level CAPP System
Entrepreneurial Potential In Engineering And Business Courses ... Why Worry Now?
Using multiagent systems and the Internet in care services for the ageing society
Information systems requirement specification through the mediation of technical and organizational perspectives
A Product Assembly and Restoration Planning System for Ecologically Conscious Factories
Coordinates: A Framework for Enterprise Modeling
Product Data Management
Implementation of a Layer Structured Control System on the 'Glue Logic'
Agent-based Architecture for Flexible Lean Cell Design, Analysis and Evaluation
Topics for the Round Table Discussion on Concurrent Engineering
A Manufacturing Information Infrastructure to Link Team Based Design to Global Manufacture
Supreme: Supply Chain Integration by Reconfigurable Modules
Information systems for eco-effective manufacturing
Agent- Based Intelligent Media Distribution in Advertisement
Torwards a Methodology to Measure the Alignment of Value Systems in Collaborative Networks
Feature based modeling: sate of the art and evolution
Acquaintance model in re-planning and re-configuration
A Method to Optimize Scheduling in Small Batch Manufacturing
Animated AI-Based Simulation in Production Scheduling
Overall Structure of Distributed Numerical Control System
Information Infrastructure Requirements for Preserving Flexibility of Flexible Manufacturing Systems
Will the organisation disappear? The challenges of the new economy and future perspectives
Modeling and control of an omnidirectional mobile robot
Best-fit of Sculpted Surfaces
The Introduction of a Practical Process Expert System
Towards a Formal Agent-Oriented Requirements Definition of Manufacturing Systems
Agent-Based Distributed Collaborative Monitoring and Maintenance in Manufacturing
Requirements of Product Information Management in the Sales and Service Life-cycle Phases of a Plant
Short Introduction to the Concept of "Concurrent Engineering"
New tools for multi-stage supply chains
SME-Service Networks for Cooperative Operation of Robot Installations
Innovation And Entrepreneurship: What Professors From Leading Universities Say?
New challenges in collaborative virtual factory design
Computer Support in the (Re) Design of Mechanical Products
Conception of an Integrated System of Maintenance and Decision-Making/Scheduling for Manufacturing Shop Control
A Load Balancing Method for Dedicated Photolithography Machine Constraint
Planning for Manufacturing - Managing Connective Designs and Asymmetric Designer Knowledge in Product Consortia
Configuration Of An Autonomous Decentralized Sdigital Factory Using Product And Machine Agents