yusuke1997/dblp-id-title huggingface dataset:
KtSeqC: System Description
Tableaux and Model Checking for Memory Logics
Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL
Automatic 'Descente Infinie' Induction Reasoning
On Computing Prime Implicants and Prime Implicates
Using Linear Logic to Reason about Sequent Systems
Constraint Model Elimination and a PTTP-Implementation
ENIGMAWatch: ProofWatch Meets ENIGMA
Tableaux for Diagnosis Applications
Consistency of Variable Splitting in Free Variable Systems of First-Order Logic
Generalization and Abstraction Using Tableaux-Based Proof Systems
A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract)
A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition
A Standard Internal Calculus for Lewis' Counterfactual Logics
Basic Constructive Connectives, Determinism and Matrix-Based Semantics
Automated Synthesis of Tableau Calculi
Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Dealing with Symmetries in Modal Tableaux
FaCT and DLP
A Dynamic Informational-Epistemic Logic
Unit Propagation in a Tableau Framework
Tree-Sequent Methods for Subintuitionistic Predicate Logics
Lemmas: Generation, Selection, Application
A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus
Proof Theory for First Order Lukasiewicz Logic
Semantic Tableaus for Inheritance Nets
Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata
Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas
Unification in a Theory of Blind Signatures
Monitoring First-order Temporal Properties
Properties of Embeddings from Int to S4
TAFA - A Tool for Admissibility in Finite Algebras
Bounded Lukasiewicz Logics
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
Deleting Redundancy in Proof Reconstruction
Tableau Algorithms for Description Logics
Proving Correctness of Labled Transition Systems by Semantic Tableaux
Second-Order Quantifier Elimination on Relational Monadic Formulas - A Basic Method and Some Less Expected Applications
Dialogue Games for Classical Logic
Research into Analytic Tableaux
Model Building and Interactive Theory Discovery
Interpreting Sequent Calculi as Client-Server Games
Partial Functions in an Impredicative Simple Theory of Types
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories
Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
Compression of Propositional Resolution Proofs by Lowering Subproofs
Non-clausal Connection Calculi for Non-classical Logics
A Dynamic Programming Algorithm for Prime Implicates
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
The Space Efficiency of OSHL
Updating Reduced Implicate Tries
A Novel Architecture for Situation Awareness Systems
Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations
Syntactic Reduction of Predicate Tableaux to Propositional Tableaux
The Neighbourhood of S0.9 and S1
Model Checking: Historical Perspective and Example (Extended Abstract)
Axiom Pinpointing in General Tableaux
Combining Many-valued and Intuitionistic Tableaux
Layered Logics, Coalgebraically
A Tableau for Bundled Strategies
QMaxSAT version 0.3 & 0.4
A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings
Tableaux for Verification of Data-Centric Processes
Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent
A Tableau-Based Explainer for DL Subsumption
Bounded Model Search in Linear Temporal Logic and Its Application to Planning
Terminating Calculi and Countermodels for Constructive Modal Logics
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment
Three Faces of Natural Deduction
Simplification Rules for Constrained Formula Tableaux
A Dynamic Logic with Traces and Coinduction
Link Deletion in Model Elimination
DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics
Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics
Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics
A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity
On the Duality of Proofs and Countermodels in Labelled Sequent Calculi
Free Variable Tableaux for a Logic with Term Declarations
Generic Modal Cut Elimination Applied to Conditional Logics
A Tentative Atomic Calculus for Natural Deduction
Sequentialising Nested Systems
Bounded Proofs and Step Frames
Tableau Systems for Logics of Subinterval Structures over Dense Orderings
A Sequent Calculus For Trace Formula Implication
Nonmonotonic Description Logics - Requirements, Theory, and Implementations
Modality and Databases
Nested Sequents for Quantified Modal Logics
Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Tableau Calculus and Equational Reasoning (Extended Abstract)
On Combinatorial Proofs for Modal Logic
An Analytic Calculus for Quantified Propositional Gödel Logic
Cyclic Proofs with Ordering Constraints
Term-Modal Logics
Strategy Parallel Use of Model Elimination with Lemmata (System Abstract)
Interpolation for a Sequent Calculus of Generalized Quantifiers
CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT
Bounded Contraction in Systems with Linearity
A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised
A Tableau System for the Modal µ -Calculus
An Improvement of Analytic Tableaux
A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems
A Tableau Calculus for a Nonmonotonic Extension of EL ^ \mathcal{EL}^\bot
ileanTAP: An Intuitionistic Theorem Prover
Merge Path Improvements for Minimal Model Hyper Tableaux
Specifications of Inference Rules and Their Automatic Translation
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference
Range-Restricted and Horn Interpolation through Clausal Tableaux
Higher-Order Tableaux
DCTP 1.2 - System Abstract
Semi-competitive Differential Game Logic
Refutation Systems for Propositional Modal Logics
Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction
The FaCT System
Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic
The Prover of the Program Verification System Tatzelwurm
Tableaux for Projection Computation and Knowledge Compilation
Sound Global State Caching for ALC with Inverse Roles
Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities
Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators
Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge
Consolution as a Framework for Comparing Calculi
Automated Natural Deduction Prover and Experiments
Justification Logic for Intuitionistic Modal Logic
An Order-Sorted Quantified Modal Logic for Meta-ontology
Sequent Calculus for Justifications
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings
A New Indefinite Semantics for Hilbert's Epsilon
TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011
On Enumerating Query Plans Using Analytic Tableau
Formalizing Cut Elimination of Coalgebraic Logics in Coq
An Automated Theorem Prover for Relational Logic (Abstract)
Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
Matrix-Based Inductive Theorem Proving
Description Logics in Ontology Applications
Modular Termination and Combinability for Superposition Modulo Counter Arithmetic
Implementation of Proof Search in the Imperative Programming Language Pizza
CondLean: A Theorem Prover for Conditional Logics
Incremental Theory Reasoning Methods for Semantic Tableaux
Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization
Certification of Nonclausal Connection Tableaux Proofs
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae
Forward Proof Search for Intuitionistic Multimodal K Logics
PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear Logic with Least and Greatest Fixed Points
Hypersequent and Labelled Calculi for Intermediate Logics
Prover 91 - A Parallel Theorem Prover (Extended Abstract)
Rule Refinement for Semantic Tableau Calculi
linTAP: A Tableau Prover for Linear Logic
T-String Unification: Unifying Prefixes in Non-classical Proof Methods
Tableau-Based Automated Deduction for Duration Calculus
Cut-Admissibility as a Corollary of the Subformula Property
Deciding Fragments of the First Order Logic within an Extended Tableau Method
An Interactive Theorem Proving Assistant
CLDS for Propositional Intuitionistic Logic
Prenex Separation Logic with One Selector Field
Intelligent Tableau Algorithm for DL Reasoning
Modular Sequent Systems for Modal Logic
Philosophical Aspects of Computerized Verification of Mathematics
Cyclic Proofs for First-Order Logic with Inductive Definitions
Sequent Calculi for Default and Autoepistemic Logics
On Uniform Word Problems Involving Bridging Operators on Distributive Lattices
Linear Analytic Tableaux
Improvements to the Tableau Prover PITP
Ordered Tableaux: Extensions and Applications
Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs
Terminating Tableaux for the Basic Fragment of Simple Type Theory
p-SETHEO: Strategy Parallelism in Automated Theorem Proving
Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings
Dual Intuitionistic Logic Revisited
Embedding Static Analysis into Tableaux and Sequent Based Frameworks
gym-saturation: Gymnasium Environments for Saturation Provers (System description)
A Tableau-Based System for Spatial Reasoning about Directional Relations
A Tableau Calculus for Pronoun Resolution
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models
Minimisation of ATL ^* Models
DLP and FaCT
Definite and Indefinite Descriptions
A Redundancy Analysis of Sequent Proofs
Tableau Calculi for the Logics of Finite k-Ary Trees
Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
CoNP Complexity for Combinations of Non-normal Modal Logics
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
Refined Tableau Systems for Some Modal Logics of Confluence
A Tableau Calculus for Combining Non-disjoint Theories
Tableaux for Free Logics with Descriptions
A Connection Based Proof Method for Intuitionistic Logic
First-Order Quasi-canonical Proof Systems
A Tableau Calculus for a Temporal Logic with Temporal Connectives
Analytic Calculi for Projective Logics
A Tableau Algorithm for Reasoning about Concepts and Similarity
Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief
leanK 2.0
Non-elementary Speed-ups in Proof Length by Different Variants of Classical Analytic Calculi
Differential Dynamic Logic for Verifying Parametric Hybrid Systems
Bounded Sequent Calculi for Non-classical Logics via Hypersequents
A Terminating Evaluation-Driven Variant of G3i
Monotonic Preorders for Free Variable Tableaux
Eliminating Models During Model Elimination
Resolution Calculi for Non-normal Modal Logics
MSPASS: Modal Reasoning by Translation and First-Order Resolution
A Tableau Algorithm for Description Logics with Concrete Domains and GCIs
TATL: Implementation of ATL Tableau-Based Decision Procedure
A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points
Proof-Theory and Semantics for a Theory of Definite Descriptions
Non-distributive Description Logic
SETHEO II - The System and its Calculi
Cut Elimination for Shallow Modal Logics
A Labelled Sequent-Calculus for Observation Logic
A Framework for Using Knowledge in Tableau Proofs
Testing the Satisfiability of Formulas in Separation Logic with Permissions
Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison
Situational Calculus, Linear Connection Proofs and STRIPS-like Planning: An Experimental Comparison
Herbrand Constructivization for Automated Intuitionistic Theorem Proving
Towards Tableau Theorem-Proving with Analytic Cut
A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness
A Model Elimination Calculus with Built-in Theories (Extended Abstract)
Variants of First-Order Modal Logics
The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract)
Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture
A General Theorem Prover for Quantified Modal Logics
Parameterized Provability in Equational Logic
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
Automated Reasoning in the Context of the Semantic Web
Simplifying and Generalizing Formulae in Tableaux. Pruning the Search Space and Building Models
Introduction to Proof Nets
Projection: A Unification Procedure for Tableaux in Conceptual Graphs
Generating Minimal Herbrand Models Step by Step
Consistency Testing: The RACE Experience
Canonicity of Proofs in Constructive Modal Logic
An Abstract Framework for Satisfiability Modulo Theories
Relating Labelled and Label-Free Bunched Calculi in BI Logic
Improved Decision Procedures for Multi-modal Tense Logic Using CEGAR-Tableaux
Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory
A Sequent Calculus for Reasoning in Four-Valued Description Logics
A Non-clausal Connection Calculus
Building an Adaptive Website Based on User Access Patterns
Digitally Synthetized Fingerprint Spoofs: A Threat For Anti-Spoofing Systems?
Immersive Multi-Projector Display on Hybrid Screens with Human-Scale Haptic and Locomotion Interfaces
Mining Social Behavioral Biometrics in Twitter
An Example of a Charge Calculation System Using the Numerical Value and Exponential Calculation of the Cellular Data System
Immersion in Virtual Worlds - But not Second Life!
VisualIE: Receipt-Based Information Extraction with a Novel Visual and Textual Approach
Composite Sketch Recognition Using Multi-scale Hog Features and Semantic Attributes
A Harmonic Wave Kernel Signature for Three-Dimensional Skull Similarity Measurements
Utilizing Statistical Characteristics of N-grams for Intrusion Detection
An Educational Environment for Chemical Contents with Haptic Interaction
Modeling Human-Like Decision Making for Virtual Agents in Time-Critical Situations
DPBP: A Sort-First Parallel Rendering Algorithm for Distributed Rendering Environments
2010 International Conference on CyberWorlds, Singapore, October 20-22, 2010
Digital Restoration of Visual Art using Synthetic Training, Deep Segmentation and Inpainting
Modeling of Bodies and Clothes for Virtual Environments
MASCARET: Pedagogical Multi-Agents System for Virtual Environment for Training
Siamese Networks With Attention for User-Independent Offline Handwritten Signature Verification
A Computational Model of Situation Awareness for MOUT Simulations
Synthesis of Enthusiastic Collective Audience NPCs in VR Live Concerts
On the Way Toward Interactive Assembly Planning
An Image Copyright Protection Scheme Based on Torus Automorphism
Geospatial Big Data for a Sustainable and Green Smart City
Diffusers Generated Unlabeled Images Improves Semi-supervised Object Detection
Alone Together in Cyberworlds? Bridging Cyberworld Development and Design through MMOs
A Low Complexity Algorithm for H.264/AVC Intra Prediction
Query Processing Algorithms for Time, Place, Purpose and Personal Profile Sensitive Mobile Recommendation
Automatic Counting of Follicles in Neonatal Mice Ovarian Section Images by Using Deeplabv3+
Towards Deep Learning and Blockchain-based Intrusion Detection System
HSV-Net: A Custom CNN for Malaria Detection with Enhanced Color Representation
Interactive Animation of Virtual Characters: Application to Virtual Kung-Fu Fighting
An Agent Based Campus Information Providing System for Cellular Phone
The Nature of the Cyber Firm-2006: Building An Affordance Architecture
3rd International Conference on Cyberworlds (CW 2004), 18-20 November 2004, Tokyo, Japan
Generating Autonomous Time-Varying Virtual Cities
Password-authenticated 3PEKE with Round Efficiency without Server's Public Key
Can Darwinian Virtual Objects Behave Well if Left Alone?
An Example of the Attaching Function to Solve Data Overlap Problems
Deep Subdomain Adaptation Network Improves Cross-Subject Mental Workload Classification
THEMIS: Context-Sensitive Similarity Analysis for Wound Imagery Using Mathematical Model of Meaning
Person Identification from Visual Aesthetics Using Gene Expression Programming
An Immersive Haptic-enabled Training Simulation for Paramedics
Volumetric Virtual Worlds with Layered Terrain Generation
Creative Approaches to Exploring the Interstice between the Virtual and the Real
Association Rule Tree Algorithm Based on Binary Information Granules
A Simulation Approach to Verification and Validation of Formal Specifications
Virtual-Real Fusion with Dynamic Scene from Videos
A Shoulder-Surfing Resistant Image-Based Authentication Scheme with a Brain-Computer Interface
Effects ofHand Color Change on User's Psychological State During a Pseudo Handshake
A Novel Visual Keyboard System for Disabled People/Individuals Using Hybrid SSVEP Based Brain Computer Interface
Synaesthesia: Multimodal Modular Edutainment Platform Development
EEG-based Cadets Training and Performance Assessment System in Maritime Virtual Simulator
Building Hand Motion-Based Character Animation: The Case of Puppetry
Cyber MetaPlasticity: CyberCosmos of MetaPlastic CyberWorlds
Multi-Touch Interface for Character Motion Control Using Model-Based Approach
Example-guided 3D Human Face Reconstruction from Sparse Landmarks
Classification of non-invasive EEG signals during Motor Imagery tasks using a Large Language Model
Distributed Systems Software Architecture for Induced Virtual Emvironments
A Prediction Method Using Interpolation for Smooth Six-DOF Haptic Rendering in Multirate Simulation
Promoting Healthy and Active Ageing through Exergames: Effects of Exergames on Senior Adults' Psychosocial Well-Being
Keystroke Dynamics based User Authentication using Deep Learning Neural Networks
A 3D Approach for the Visualization of Network Intrusion Detection Data
Determining Necessary Length of the Alternating Series Test for Parkinson's Disease Modelling
A Non-invasive 2D Digital Imaging Method for Detection of Surface Lesions Using Machine Learning
Perception of Virtual Multi-Sensory Objects: Some Musings on the Enactive Approach
Distributed Customer Tagmeme Evaluation Model Based on the Multi-Attributes Tree Bayesian Network
Partial Differential Equations for Function Based Geometry Modelling within Visual Cyberworlds
Azimuth to Cypher: The Transformation of a Tiny (Virtual) Cosmogony
Research on Virtual Environment System for Large-scale Products Assembly and Training
An Extension Algorithm for Ball B-Spline Curves with G2 Continuity
Artificial Folklore for Simulated Religions
3D Collision Detection with 2D Terrain Maps
University Software Education Matched to Social Requests
The analysis of skin conductance using value categorization
Virtual Experiment Environments Design for Science Education
Real-Time Lip Synchronization Using Wavelet Network
Message from the Workshop Chair
Virtual and Augmented Reality with Head-Tracking for Efficient Teleoperation of Groups of Robots
Influence of Local Information on Social Simulations under the Small-World Model
Identity Transformation in Real and Virtual Worlds: The Overlapping World View
SeeGroove2: An Orbit Metaphor for Interactive Groove Visualization
Effects of Smiling and Gender on Trust Toward a Recommendation Agent
Modeling Cyberworlds for Cloud Computing
Examples of Topological Modeling of Matrix-Structured Data and Use of the Applied Attachment Function of the Cellular Data System
Automatic Image Enhancement Taking into Account User Preference
Research on Association Rules Mining AlgorithmWith Item Constraints
Virtual Reality for Training and Fitness Assessments for Construction Safety
Development of a recommendation system with multiple subjective evaluation process models
Reactive Virtual Human System with haptic sensation and adaptive function
Example-Based Automatic Caricature Generation
Visualization of Promising Directions in Semantic Cyberspace of Scientific Concepts and Papers
Neosentient Architecture Generator
Comparative Analysis of Deep Learning Architectures for Masked Face Recognition: A Study of Performance and Robustness
Tilt-Invariant Lemon Size Estimation Using RGB-D Camera Images
Active Lighting for Object Brightness Control
A Web Mining Approach for Finding Expertise in Research Areas
Automatic Generation of Skeleton Animation from 3D Human Mesh Model
The MetaPlastic Art and Design Manifesto
The Study of Fusing the Data Facing Environment Monitoring
Dynamic Crowd Emotion Contagion Simulation with GPU Acceleration
Privacy-Preserving Keystroke Analysis using Fully Homomorphic Encryption & Differential Privacy
A Study of Usability Improvement in Immersive VR Programming Environment
Assistive Telexistence System Using Motion Blending
Transmedial Worlds - Rethinking Cyberworld Design
Conditional Random Field for 3D Point Clouds with Adaptive Data Reduction
Multimodal presentation of 3D relief sculptures in virtual reality
Combatting Dark Patterns: Evaluating the Effectiveness of Warning Interventions on User Behavior
3D Recovery with Simultaneous Accuracy Estimation and the Following Mesh Refinement
GPU-Based Feature-Preserving Distance Field Computation
Self-Training System for Tennis Shots with Motion Feature Assessment and Visualization
Bridging the Gap Between Didactical Requirements and Technological Challenges in Serious Game Design
Making Recommendations Based on Profitability Analysis in a Hybrid System
FiVES: An Aspect-Oriented Virtual Environment Server
Runtime Baseline Adjustment for Stereo Panorama
Speculative Planning With Delegation
Web-oriented Warfare Command Decision Support System Based on Agent and Data Warehouse
A Novel Scheme for Fitting Subdivision Surface from Dense Triangle Mesh
SeeGroove: Supporting Groove Learning through Visualization
Emotion Recognition on Extracted EEG Fragment Based on Self-reporting Result
Parametric Reconstruction of Bent Tube Surfaces
ESimp: Error-Controllable Simplification with Feature Preservation for Surface Reconstruction
Augmented Reality based Action Observation Facilitates Mu Suppression
Computational Intelligence CSA-based Approach for Machine-Driven Calculation of Outline Curves of Cutaneous Melanoma
An Improved Collaborative Filtering Based on Item Similarity Modified and Common Ratings
A Privacy-Preserving Solution for Proximity Tracing Avoiding Identifier Exchanging
A Real-Time Configurable Shader Based on Lookup Tables
A Virtual and Interactive Light-Art-Like Representation of Human Silhouette
Content-Based Video Retrieval Using Mosaic Images
The Simulation Strategy and Realization on Hardware Circuit
International Conference on Cyberworlds, CW 2024, Kofu, Japan, October 29-31, 2024
A Machine Learning Approach for Ethnic Classification: The British Pakistani Face
Combinatorial 3-Manifolds from Sets of Tetrahedra
Automatic Composition by Body-Part Motion Synthesis for Supporting Dance Creation