yusuke1997/dblp-id-title huggingface dataset:
The Rise of Modern Logic: From Leibniz to Frege
Hilbert's Epsilon Calculus and its Successors
The Modern Epistemic Interpretations of Probability: Logicism and Subjectivism
History of Interactive Theorem Proving
Relevant and substructural logics
Inductive Logic and Empirical Psychology
Logic and the Modalities in the Twentieth Century
A History of The Connectives
Emil Post
Logic and Databases: A History of Deductive Databases
Possibilistic Logic - An Overview
Alternative Set Theories
Port Royal: The Stirrings of Modernity
A History of Quantification
The History of Categorical Logic: 1963-1977
Fuzzy-set based logics - an history-oriented presentation of their main developments
Tarski's Logic
Logic for Meinongian Object Theory Semantics
History of the Continuum in the 20 th Century
The Debate between Whewell and Mill on the Nature of Scientific Induction
Algebraical logic 1685-1900
William Stanley Jevons and the substitution of similars
Types, Sets, and Categories
Kant: From general to transcendental logic
The logic of sir William Hamilton: Tunnelling through sand to place the keystone in the aristotelic arch
French 'logique' and British 'logic': On the origins of augustus de Morgan's early logical inquiries, 1805-1835
The Idealists
Jacques Herbrand: Life, Logic, and Automated Deduction
Computational Logic
Induction before Hume
Coleridge's logic
De Morgan's logic
Leśniewski's Logic
Bentham's logic
A History of Truth-Values
Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi
A History of the Fallacies in Western Logic 1
The algebra of logic
Bolzano as logician
The nominalist semantics of Ockham and Buridan: A "rational reconstruction"
Many-valued logic and its philosophy
Bradley's logic
Sets and Extensions in the Twentieth Century
The Logic of Church and Curry
Paradoxes, Self-Reference and Truth in the 20th Century
Inner Models for Large Cardinals
A Brief History of Determinacy
Medieval Modal Theories and Modal Logic
Singular Cardinals: From Hausdorff's Gaps to Shelah's PCF Theory
Statistical Learning Theory: Models, Concepts, and Results
History of Negation
Richard Whately and logical theory
Infinite Combinatorics
Arabic logic
Logics for the Semantic Web
Hugh Maccoll and the birth of logical pluralism
Lewis Carroll's logic
The Assimilation of Aristotelian and Arabic Logic up to the Later Thirteenth Century
The development of supposition theory in the later 12 th through 14 th centuries
Schröder's logic
Mathematical modal logic: A view of its evolution
British Logic in the Nineteenth Century
A History of Logic Diagrams
Goodman and the Demise of Syntactic and Semantic Models
Logic and theories of meaning in the late 13 th and early 14 th century including the modistae
The mathematical turns in logic
Epistemic logic
The Development of the Hintikka Program
Hegel's logic
A History Of Connexivity
The megarians and the stoics
Automation of Higher-Order Logic
Deontic logic
Preservationism: a short history
Logic before Aristotle: Development or birth?
The gamut of dynamic logics
Mediaeval and Renaissance Logic
Husserl's logic
The logic of John Stuart Mill
The Latin Tradition of Logic to 1100
Indian logic
Thoralf Albert Skolem
Mechanizing Induction
Paraconsistency and dialetheism
Degrees of Unsolvability
Varieties of Bayesianism
Formal Learning Theory in Context
Hilbert's Proof Theory
Popper and Hypothetico-deductivism
Nonmonotonic reasoning
Aristotle's modal syllogisms
Hume and the Problem of Induction
Treatments of the paradoxes of self-reference
John Venn and logical theory
The Logic of The Tractatus
Bertrand Russell's Logic
Russell's Orders in Kripke's Theory of Truth and Computational Type Theory
Modern temporal logic: The philosophical background
Leibniz's logic
Logic: A History of its Central Concepts
Inductive Logic and Statistics
Hempel and the Paradoxes of Confirmation
Logic from Russell to Church
The Development of Subjective Bayesianism
Logics for Intelligent Agents and Multi-Agent Systems
Equational Logic and Rewriting
Nonmonotonic logics: a preferential approach
Editorial Note
Frege's logic
A History of Types *
Dialogue logic
The Many Valued and Nonmonotonic Turn in Logic
Gentzen's Logic
Peirce's logic
What is a logical system? An evolutionary view: 1964-2014
Situation theory and situation semantics
A.N. Prior's logic
A History of Natural Deduction
The history of quantum logic
Carnap and the Logic of Inductive Inference
A History of The Consequence Relations
Logic and the development of the computer
Relational Logic of Juan Caramuel
Aristotle's early logic
Logic in the 14 th century after Ockham
Peter Abelard and his Contemporaries
Free logics
Lambda-Calculus and Combinators in the 20th Century
"The whole box of tools": William Whewell and the logic of induction
Gödel's Logic
Hans Reichenbach's Probability Logic
Large Cardinals with Forcing
A History of Modal Traditions
An Explorer upon Untrodden Ground: Peirce on Abduction
Aristotle's underlying logic
Logic at the Turn of the Twelfth Century
The Logic of Brouwer and Heyting
Developments in the Fifteenth and Sixteenth Centuries
Greek, Indian and Arabic Logic
Logics of vagueness
Set Theory from Cantor to Cohen
Boole's logic
JDF - Process Integration, Technology, Product Description
Internetworking - Technological Foundations and Applications
Digital Color Management - Principles and Strategies for the Standardized Print Production
Digital Communication - Communication, Multimedia, Security
Digital Design of Nature - Computer Generated Plants and Organics
3D Computer Vision - Efficient Methods and Applications
E-Business @ Print - Internet-Based Services and Processes
Interactive Panoramas - Techniques for Digital Panoramic Photography
Neural Networks and Computing - Learning Algorithms and Applications
A Mathematical Introduction to Control Theory
A Mathematical Introduction to Control Theory - 2 nd Edition
Intrusion Detection - A Machine Learning Approach
Multi-Objective Group Decision Making - Methods, Software and Applications with Fuzzy Set Techniques(With CD-ROM)
Net Theory and Its Applications - Flows in Networks
Security Modeling and Analysis of Mobile Agent Systems
Advances in Graph Neural Networks
Automated Taxonomy Discovery and Exploration
Pseudo-Boolean and Cardinality Constraints
Connectionist Neuroarchitectures in Cognition and Consciousness Theory Based on Integrative (Synchronization) Mechanisms
CNF Encodings
A History of Satisfiability
Constraint Reasoning for Differential Models
Information Technology and Intelligent Transportation Systems
Data Mining Approach to Analysis of Computer Logs Using New Patterns
Interoperable cross media content and DRM for multichannel distribution
The Influence Assessment of Platform's Parameters on Service Level in Subway Transfer Stations
Symbolic Reasoning in Latent Space: Classical Planning as an Example
Fuzzy Systems in Biomedicine
Towards the Generic Framework for Utility Considerations in Data Mining Research
STAH-TREE: Quality Tests of Hybrid Index for Spatio-Temporal Aggregation
Recursive Neural Networks for Cheminformatics: QSPR for Polymeric Compounds (Towards Biomaterials Design)
Prediction Models of an Indoor Smart Antenna System Using Artificial Neural Networks
Clustering of Adolescent Criminal Offenders using Psychological and Criminological Profiles
Software Process Maturity and the Success of Free Software Projects
The ISMS Business Environment Elaboration Using a UML Approach
Ontology and the Semantic Web
Optimized Tang's Algorithm for Retinal Image Registration
Proof Complexity and SAT Solving
Interoperability of Monitoring Tools with JINEXT
Towards an Evolvable Engineering Design Framework for Interactive Computer Design Support of Mechatronic Systems
Combining Probabilistic Logic and Deep Learning for Self-Supervised Learning
Motion planning and bimanual coordination in humanoid robots
Neuro-Symbolic Artificial Intelligence: The State of the Art
Modelling Agent Behaviours in Simulating Transport Corridors Using Prometheus and Jason
TCPN-Based Tool for Timing Constraints Modelling and Validation
Look-Ahead Based SAT Solvers
Computational Approaches to Assistive Technologies for People with Disabilities
Abstraction in Ontology-based Data Management
Adaptive Web Sites - A Knowledge Extraction from Web Data Approach
A Layered Declarative Approach to Ontology Translation with Knowledge Preservation
Human-Centered Concept Explanations for Neural Networks
High-Level Concept Detection in Video Using a Region Thesaurus
Adaptive System for the Integration of Recommendation Methods with Social Filtering Enhancement
Configuration Management of Massively Scalable Systems
The UID Approach - the Balance between Hard and Soft Methodologies
Assistive Technology Products
Information Extraction and Semantic Annotation of Wikipedia
The XTREEM Methods for Ontology Learning from Web Documents
An Inductive Logic Programming Approach to Statistical Relational Learning
Effective Reasoning over Neural Networks Using Łukasiewicz Logic
Integrated Intelligent Design for STEP-based Electro-Mechanical Assemblies
Design Problems, Frames and Innovative Solutions
Mining Medical Administrative Data - The PKB Suite
Foundations of Directed Mutation
Study on the Determination of Spatio-Temporal Threshold of Bicycle Connection Rail Transit in Haze Under Traffic Restriction
Automatically Harvesting and Ontologizing Semantic Relations
Fixed-Parameter Tractability
Bioprofiling over Grid for Personalised eHealthcare for AD
Machine Learning Models for Bird Species Recognition Based on Vocalization: A Succinct Review
Exploring Bad Code Smells Dependencies
Multiple-Test Analysis of Sequences of SNPs for Determining Susceptibility to Pre-eclampsia
Preprocessing in SAT Solving
Video Watermarking and Benchmarking
Neuro-Symbolic Semantic Reasoning
Dimension Reduction and Data Visualization Using Neural Networks
Achieving Midcourse and Terminal Trajectory Handoff for Helicopter-Borne Aircrafts Using a Linear Modulation Factor
Best Practices for Predictive Analytics in B2B Financial Services
Software Complexity Analysis for Multitasking Systems Implemented in the Programming Language C
Use-Cases Engineering with UC Workbench
Performance Comparison of Feature Extraction Methods for Iris Recognition
A contribution of informatics to clinical oncology: innovative approaches to FISH image evaluation
Theory of Quantified Boolean Formulas
Assembling Composite Web Services from Autonomous Components
Bounded Model Checking
Reasoning with Quantified Boolean Formulas
Non-Clausal SAT and ATPG
Technical Metadata and Standards for Digitisation of Cultural Heritage in Poland
Latent Trees for Compositional Generalization
Tractable Boolean and Arithmetic Circuits
Problems of Data Quality in an Integrated Cadastral Information System
Spike-Based Symbolic Computations on Bit Strings and Numbers
Conflict-Driven Clause Learning SAT Solvers
Neuro-Symbolic RDF and Description Logic Reasoners: The State-Of-The-Art and Challenges
Semantics Enabled Problem Based Brokering of Organizational Knowledge
Combining Symbolic and Deep Learning Approaches for Sentiment Analysis
Proofs of Unsatisfiability
A Technology Platform to Enable the Building of Corporate Radar Applications that Mine the Web for Business Insight
Constructivist Machine Learning
The Logic of Adaptive Behavior - Knowledge Representation and Algorithms for Adaptive Sequential Decision Making under Uncertainty in First-Order and Relational Domains
Research on Automatic Extraction Method of Lane Changing Behavior Based on the Naturalistic Driving Data
SIGNMT: an Alternative Sign-Text MT for Language Learning
Speech and Prosodic Processing for Assistive Technology
Interactivity Closes the Gap - Lessons Learned in an Automotive Industry Application
An Integrated System to Support Electricity Tariff Contract Definition
Optimization of Top-k Spatial Preference Queries' Execution Process Based on Similarity of Preferences
Hybrid Offline/Online Methods for Optimization Under Uncertainty
An Approach to Software Design Reuse Using Case-Based Reasoning and WordNet
Intelligent Models for Design Conceptualization of Autonomous Vehicle Storage and Retrieval Systems
Learning to Interpret Cognitive States from fMRI Brain Images
KOTEK: Clustering Of The Enterprise Code
Multimedia Support Systems as Assistive Technology for Hearing Impaired Students
Code and Data Propagation on a PC's Multi-Agent System
Data Mining for Business Applications
Emerging Artificial Intelligence Applications in Computer Engineering - Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies
Connections to Statistical Physics
Planning and SAT
The TERMINAE Method and Platform for Ontology Engineering from Texts
Extracting concept descriptions from the Web: the importance of attributes and values
Particle Swarm Optimization for clustering short-text corpora
Effectiveness of Video Segmentation Techniques for Different Categories of Videos
Software Verification
Assistive Technology: Concluding Remarks and the Future
MATHMASTER: an Alternative Math Word Problems Translation
Enhancing Case-Based Reasoning with Neural Networks
Image Examination System to Detect Gastric Polyps from Endoscopy Images
Automated Configuration and Selection of SAT Solvers
Approximate Answering of Graph Queries
Thai Syllable Analysis for Rule-Based Text to Speech System
Incomplete Algorithms
Pattern Recognition Methods for Acute Myeloid Leukemia (AML) Induction-Treatment Analysis
Minimal Unsatisfiability and Autarkies
Cluster-Centric Approach to News Event Extraction
Semantic Loss Functions for Neuro-Symbolic Structured Prediction
Ontology-based Management of Pervasive Systems
Few-Shot Continual Learning Based on Vector Symbolic Architectures
Codespector - a Tool for Increasing Source Code Quality
Neuro-Causal Models
RAD Tool for Object Code Generation: A Case Study
NLP Techniques for Term Extraction and Ontology Population
Neural-Symbolic Learning and Reasoning: A Survey and Interpretation
New Trends in Multimedia and Network Information Systems
Detecting and Rating Dementia of Alzheimer Type through Lexical Analysis of Spontaneous Speech
Web-Based Recommender Systems and User Needs - the Comprehensive View
Automated Pressure Ulcer Lesion Diagnosis: An Initial Study
Adaptive Stream Mining: Pattern Learning and Mining from Evolving Data Streams
Estimation of Similarity between Colour Images
Chirp Code Deterministic Compressive Sensing: Analysis on Power Signal
Forecasting Online Auctions using Dynamic Models
Model Counting
Workflow Management System in Software Production & Maintenance
Open Source - Ideology or Methodology?
The Roles of Symbols in Neural-Based AI: They Are Not What You Think!
Building Robust and Explainable AI with Commonsense Knowledge Graphs and Neural Models
Answering Natural-Language Questions with Neuro-Symbolic Knowledge Bases
Handbook of Satisfiability
Rough Sets Methods and Applications for Medical Data: A Survival Analysis Experience
SimpLe: Lexical Simplification using Word Sense Disambiguation
Thai Text-Thai Sign Translation Application (T 3 STA)
Granules for Learning Behavior
Part I: General Purpose Applications of AI
Part III: Intelligent Applications in eHealth
Evaluation of Internet Connections
Exploiting Runtime Variation in Complete Solvers
Clinical decision support for ovarian tumor diagnosis using Bayesian models: Results from the IOTA study
Preliminary Analysis of the Effects of Pair Programming and Test-Driven Development on the External Code Quality
Two Dimensional DEM Simulation for Truck Tires Rolling onto the Randomly Shaped Pebbles Used in a Truck Escape Ramp
IMA System Health Assessment Method Based on Incremental Random Forest
Fundaments of Branching Heuristics
Mining Local Buffer Data
Architecture of Parallel Spatial Data Warehouse: Balancing Algorithm and Resumption of Data Extraction
Product-mix Design Decision under TOC by Soft-sensing of Level of Satisfaction using Modified Fuzzy-LP
Intelligent Process Planning Optimization for Product Cost Estimation
Approximate Optimization Using Computaional Intelligence and its Application to Reinforcement of Cable-stayed Bridges
Change Management with Dynamic Object Roles and Overloading Views
A Distributed Information System Architecture for Collaborative Design
Internet Laboratory Instructions for Advanced Software Engineering Course
Application of a computer science analysis to a Non Hodgkin Lymphomas patients' dataset
Intelligent Experimental Design Using an Artificial Neural Network Meta Model and Information Theory
From Glossaries to Ontologies: Extracting Semantic Structure from Textual Definitions
Modelling Spatial and Temporal Context to Support Activity Recognition
Packet Loss Concealment Algorithm for VoIP Transmission in Unreliable Networks
Inference Mechanisms for Knowledge Management System in E-health Environment
The Process of Integrating Ontologies for Knowledge Base Systems
A Collaborative Filtering Approach to Personalized Interactive Entertainment using MPEG-21
Robotic Sensor Networks: An Application to Monitoring Electro-Magnetic Fields
Dynamic Self-Calibration Algorithm for PTZ Camera in Traffic Scene
Customer churn prediction - a case study in retail banking
Learning Daily Routines in Smart Office Environments
Quantitative motor function evaluation: the VAMA project experience
From Research to Business
Lifted Relational Neural Networks: From Graphs to Deep Relational Learning
Pre-processing Techniques for the QSAR Problem
Class Expression Learning with Multiple Representations
Integrated Intelligent Systems for Engineering Design
Data Mining for Business Applications: Introduction
MaxSAT, Hard and Soft Constraints
Random Satisfiabiliy
Integrated Knowledge-based System for Product Design in Furniture Estimate
ATG 2.0: the Platform for Automatic Generation of Training Simulations
Designing World Closures for Knowledge-Based System Engineering
Study on the Influence of Intelligent Evacuation Guidance System of Highway Tunnel on Emergency Evacuation
A Qualitative Image Descriptor QIDL + N to Obtain Logics and Narratives Applied to Ambient Intelligent Systems
Weakly Supervised Reasoning by Neuro-Symbolic Approaches
Neuro-Symbolic Architectures for Combinatorial Problems in Structured Output Spaces
Symmetry and Satisfiability
A DIYD (Do It Yourself Design) e-commerce system for vehicle design based on Ontologies and 3D Visualization
Portrait Identification in Digitized Paintings on the Basis of a Face Detection System
The Specifics of Dedicated Data Warehouse Solutions
Resource-bounded Outlier Detection using Clustering Methods
Unsupervised Learning of Semantic Relations for Molecular Biology Ontologies
Graph Reasoning Networks and Applications
Algorithms and Architectures of Artificial Intelligence
Ontology Learning and Population: Bridging the Gap between Text and Knowledge
Computational Intelligence and Bioengineering - Essays in Memory of Antonina Starita
SAT Techniques for Modal and Description Logics
The Neural Blackboard Theory of Neuro-Symbolic Processing: Logistics of Access, Connection Paths and Intrinsic Structures
Logic Tensor Networks: Theory and Applications
I-Math: an Intelligent Accessible Mathematics system for People with Visual Impairment
A Classifier Ensemble Approach to Intrusion Detection for Network-Initiated Attacks
Classification of Melanoma Through Fused Color Features and Deep Neural Networks
Learning and Reasoning in Hybrid Structured Spaces
Learning Reasoning Strategies in End-to-End Differentiable Proving
Grounding Geographic Information in Perceptual Operations
GRMT: an Alternative Communication Tool for Individuals
A Risk Assessment of Ship Navigation in Complex Waters
Context Awareness Triggered by Multiple Perceptual Analyzers
A Survey on Applying Machine Learning Techniques for Behavioral Awareness
Spatial Data Mining in Practice: Principles and Case Studies
Novel Curve Signatures and Combination Method for Thai Online Character Recognition
A Methodology for Ontology Learning
A New Model-in-the-Loop Test Strategy for Autonomous Parallel Parking System
Autodidactic and Coachable Neural Architectures
Design and Development of Monitoring Agents for Assisting Nasa Engineers with Shuttle Ground Processing
Morphological Segmentation of Plantar Pressure Images by Using Mean Shift Local De-Dimensionality
Dynamic hardware-based optimization for adaptive array antennas
Embedding Intelligence into EDA Tools
Interpretation of gene expression microarray experiments
Worst-Case Upper Bounds
A Constraint-Based Approach to Learning and Reasoning
Emotion Recognition Using Feature Extraction Techniques
Neuro-Symbolic Semantic Learning for Chemistry
Knowledge Modelling Using UML Profile for Knowledge-Based Systems Development
An Attempt to Use the KEEL Tool to Evaluate Fuzzy Models for Real Estate Appraisal
Affect Aware Ambient Intelligence: Current and Future Directions
Discovering Visual Concepts and Rules in Convolutional Neural Networks
Combinatorial Designs by SAT Solvers
Visual Traffic Surveillance: A Concise Survey
Evaluation of Software Quality
Approximate Model Counting
Where and Who? Person Tracking and Recognition System
Approximation Methods for Efficient Learning of Bayesian Networks
Conditional and Preferential Logics: Proof Methods and Theorem Proving
State of the Art in AI Applied to Ambient Intelligence
Classification Visualization across Mapping on a Sphere
Recommender System Technologies based on Argumentation 1
Quantification of Customer Multi-Preference and Motivation through Data and Text Mining in New Product Design
Modeling and Verification of Reactive Software Using LOTOS
Modeling and Simulation of Dynamic Location Allocation Strategy for Stereo Garage
Neuro-Symbolic AI = Neural + Logical + Probabilistic AI
Compendium of Neurosymbolic Artificial Intelligence
Stochastic Boolean Satisfiability
Agile Software Development at Sabre Holdings
A case study on the System for Paleographic Inspections (SPI): challenges and new developments
Determination of Opening Learning Scenarios in Intelligent Tutoring Systems
Intelligent Processing of Medical Images in the Wavelet Domain
Using Artificial Intelligence for Intrusion Detection
Grid Enabled Virtual Storage System Using Service Oriented Architecture
Development of Safety-Critical Systems with RTCP-Nets Support
Supervised Machine Learning: A Review of Classification Techniques
On some Problems with Modelling of Exceptions in UML
Random Satisfiability
Logic Meets Learning: From Aristotle to Neural Networks
Maximum Satisfiability
Neural-Symbolic Interaction and Co-Evolving
Learning Logic Explanations by Neural Networks
Visual Affect Recognition
A Class of Algorithms for Distributed Constraint Optimization
Design of Fuzzy Models through Particle Swarm Optimization
Customer Validation of Commercial Predictive Models
Handbook of Satisfiability - Second Edition
Complete Algorithms
Conceptual Modelling and Automated Implementation of Rule-Based Systems
Embedding-Based First-Order Rule Learning in Large Knowledge Graphs
Design for Emergence - Collaborative Social Play with Online and Location-Based Media
Weakly Supervised Approaches for Ontology Population
Usability of UML Modeling Tools
Quantified Boolean Formulas
Translation Accuracy Influence on the Retrieval Results
CMMI Process Improvement Project in ComputerLand
Data Modeling with UML 2.0
Explainable Neuro-Symbolic Hierarchical Reinforcement Learning
A Bayesian Methodology for Estimating Uncertainty of Decisions in Safety-Critical Systems
Energy and Environmental Long-Term Monitoring System for Inhabitants' Well-Being
Neuro-Symbolic Spatio-Temporal Reasoning
Many Valued Algebraic Structures as the Measures for Comparison
Innovative Trends in Personalized Software Engineering and Information Systems - The Case of Intelligent and Adaptive E-learning Systems
Selection and Testing of Reporting Tools for an Internet Cadastre Information System
Behavioural Patterns from Cellular Data Streams and Outdoor Lighting as Strong Allies for Smart Urban Ecosystems
Formal Approach to Prototyping and Analysis of Modular Rule-Based Systems
SMiLE - Session Mobility in mobiLe Environments
Part IV: Real world AI applications in Computer Engineering
Image Identification Based on the Pupil Size Analysis During Human-Computer Interaction
Software Engineering: Evolution and Emerging Technologies