yusuke1997/dblp-id-title huggingface dataset:
Understanding the Abstract Dialectical Framework
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context
The Oz Programming Model
Base-Based Model Checking for Multi-agent only Believing
Hamiltonian Cycle Reconfiguration with Answer Set Programming
Manipulating Skeptical and Credulous Consequences When Merging Beliefs
From Inductive Logic Programming to Relational Data Mining
A Logic-Based Question Answering System for Cultural Heritage
Propositional Clausal Defeasible Logic
Relevance and Revision - About Generalizing Syntax-based Belief Revision
Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings
Comparing Action Descriptions Based on Semantic Preferences
Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite Ontologies
Counting Complexity of Minimal Cardinality and Minimal Weight Abduction
Epistemic Reasoning About Rationality and Bids in Auctions
On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic Programs
Robust Alternating-Time Temporal Logic
Logical Omniscience and Classical Logic
Two Logical Dimensions
Preferred Answer Sets for Ordered Logic Programs
Modal Logics of Negotiation and Preference
Hierarchical Argumentation
Automatic Deductive Synthesis of Lisp Programs in the System ALISA
Towards State Update Axioms: Reifying Successor State Axioms
Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency
Non-classical Planning with a Classical Planner: The Power of Transformations
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems
A Possible World View and a Normal Form for the Constellation Semantics
Refinement-Based Enumeration of QBF Solutions
On the Complexity of Graded Modal Logics with Converse
A Constructive Type System Based on Data Terms
Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems
More on noMoRe
Requirement-Based Cooperative Theorem Proving
Complexity and Succinctness Issues for Linear-Time Hybrid Logics
Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies
Towards Top-k Query Answering in Description Logics: The Case of DL-Lite
An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS
An Algorithm for the Retrieval of Unifiers from Discrimination Trees
A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases
On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription
The Multi-Engine ASP Solver me-asp
Phased Labeled Logics of Conditional Goals
On Sceptical Versus Credulous Acceptance for Abstract Argument Systems
Repairing Non-monotonic Knowledge Bases
Sequent Systems for Lewis' Conditional Logics
A Complexity Assessment for Queries Involving Sufficient and Necessary Causes
Argumentative Reasoning with ABEL
Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach
Closure-Based Tractable Possibilistic Inference from Partially Ordered DL-Lite Ontologies
Pakota: A System for Enforcement in Abstract Argumentation
Dual Scale Detachment
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
Revising and Updating Using a Back-Up Semantics
dl2asp: Implementing Default Logic via Answer Set Programming
Characterizability in Horn Belief Revision
Opportunities for Argument-Centric Persuasion in Behaviour Change
The Universal Tangle for Spatial Reasoning
An Incremental Answer Set Programming Based System for Finite ModelComputation
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
Horn Contraction via Epistemic Entrenchment
Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞 ME Under the Principle of Maximum Entropy
New DLV Features for Data Integration
Polynomial-Length Planning Spans the Polynomial Hierarchy
Hierarchical Decision Making by Autonomous Agents
Constraint-Based Algorithm for Computing Temporal Invariants
The PLP System
SCC-Recursiveness in Infinite Argumentation
Towards a Formal Theory of Intentions
A Kripke Semantics for Intuitionistic Łukasiewicz Logic with Weak Excluded Middle
Doxastic Preference Logic: A New Look at Belief Revision
Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
Decomposition of Distributed Nonmonotonic Multi-Context Systems
Revisiting Reductants in the Multi-adjoint Logic Programming Framework
Combining Introspection and Communication with Rationality and Reactivity in Agents
A Logic for Belief Contraction
Credulous and Sceptical Argument Games for Preferred Semantics
Irrelevant Updates and Nonmonotonic Assumptions
AxSAT - Bringing Axioms to SAT Planning
Modular Paracoherent Answer Sets
Abductive Logic Programming with CIFF: System Description
A Translation-Based Approach for Revision of Argumentation Frameworks
Finitary S5-Theories
Efficient Reasoning for Inconsistent Horn Formulae
Probabilistic Abstract Dialectical Frameworks
An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems
optsat: A Tool for Solving SAT Related Optimization Problems
The DLV System
A Fluent Calculus Semantics for ADL with Plan Constraints
Beyond ALC reg : Exploring Non-Regular Extensions of PDL with Description Logics Features
A Normal Form for Linear Temporal Equilibrium Logic
Extending Horn Clause Theories by Reflection Principles
Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$
Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases
Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings
A Computationally Attractive First-Order Logic of Belief
Propositional State Event Logic
A System for the Use of Answer Set Programming in Reinforcement Learning
Improving the Normalization of Weight Rules in Answer Set Programs
Complexity and Algorithms for the Matching of Bag and Set Terms
Deontic Equilibrium Logic with eXplicit Negation
Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics
The D-FLAT System for Dynamic Programming on Tree Decompositions
The aspps System
On Temporal References via Definite Descriptions in First-Order Monadic Logic of Order
Model Reconciliation in Logic Programs
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems
Towards a Conditional Logic of Actions and Causation
Reasoning About Justified Belief Based on the Fusion of Evidence
Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
Concept Combination in Weighted DL
Propositional Lower Bounds: Generalization and Algorithms
Logic, Accountability and Design: Extended Abstract
Interval Temporal Logic Decision Tree Learning
Reasoning with Defeasible Arguments: Examples and Applications
A Proof-System for the Safe Execution of Tasks in Multi-agent Systems
NM3 - A Three-Valued Cumulative Non-Monotonic Formalism
Weak Argumentation Semantics and Unsafe Odd Cycles: Results and a Conjecture
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver
System aspmt2smt: Computing ASPMT Theories by SMT Solvers
Non-commutativity and Expressive Deductive Logic Databases
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases
Splitting Techniques for Conditional Belief Bases in the Context of c-Representations
The InfOCF Library for Reasoning With Conditional Belief Bases
Query Answering in the Description Logic Horn-
Temporal Here and There
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders
Two Approaches to Merging Knowledge Bases
Time Granularities and Ultimately Periodic Automata
Evolving Logic Programs
Revisiting Postulates for Inconsistency Measures
Representing Possibilities in Relation to Constraints and Agents
Knowledge without Modality: A Simplified Framework for Chronological Ignorance
Minimal Proof Search for Modal Logic K Model Checking
On the Issue of Reinstatement in Argumentation
The View-Update Problem for Indefinite Databases
Relational Markov Games
Prioritized Autoepistemic Logic
Introducing Role Defeasibility in Description Logics
Tractable Reasoning Using Logic Programs with Intensional Concepts
A Tableau for RoBCTL*
ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics
Engineering of Logics for the Content-Based Representation of Information
Conditional Descriptor Revision and Its Modelling by a CSP
Formalizing Goal Serializability for Evaluation of Planning Features
On the Semantics of Logic Programs with Preferences
An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics
Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming
Equality and Constrained Resolution
Z-log: Applying System-Z
SMILES: A Multi-purpose Learning System
Cut-Free Calculi and Relational Semantics for Temporal STIT Logics
A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information
delphic: Practical DEL Planning via Possibilities
Reasoning in Assumption-Based Argumentation Using Tree-Decompositions
On Logics of Group Belief in Structured Coalitions
Advancements in Resource-Driven Substructural Defeasible Logic
Modules and Specifications
Planning with Partial Observability by SAT
Closed-World Semantics for Conjunctive Queries with Negation over ELH _\bot Ontologies
'On Being Informed': Update Logics for Knowledge States
A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts
Measuring Dissimilarity between Judgment Sets
On the Relation Between ID-Logic and Answer Set Programming
Hypergraph Transversal Computation and Related Problems in Logic and AI
Line-Based Affine Reasoning in Euclidean Plane
On Knowledge, Strings, and Paradoxes
Logics with Probabilistic Team Semantics and the Boolean Negation
Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs
Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
Deciding Subsumption in Defeasible $\mathcal {ELI}_\bot $ with Typicality Models
A STIT-Extension of ATL
Axiomatising Logics with Separating Conjunction and Modalities
Cardinality Constraint Programs
On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples
Recovering Consistency by Forgetting Inconsistency
A Logical Account of Lying
Belief, Provability, and Logic Programs
On Arbitrary Selection Strategies for Basic Superposition
Tabling with Answer Subsumption: Implementation, Applications and Performance
What is a Horn Clause in Partial Logic?
Enhancing Temporal Planning by Sequential Macro-Actions
Equivalence of Logic Programs Under Updates
A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem
Semantics of Partial-Order Programs
On Hierarchical Task Networks
Non-Normal Modal Description Logics
Prohairetic Deontic Logic (PDL)
Comparing Planning Domain Models Using Answer Set Programming
The USA-Advisor: A Case Study in Answer Set Programming
Reactive Policies with Planning for Action Languages
Only Knowing with Confidence Levels: Reductions and Complexity
Truth and Preferences - A Game Approach for Qualitative Choice Logic
Semantic Knowledge Partitioning
The Tableau Prover Generator MetTeL2
An Infinite-Valued Semantics for Logic Programs with Negation
Data Graphs with Incomplete Information (and a Way to Complete Them)
Optimal Repairs in the Description Logic E ℒ Revisited
An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs
An Efficient Constraint Language for Polymorphic Order-sorted Resoluton
Dynamic Semantics and VP-Ellipsis
Verification of Context-Sensitive Knowledge and Action Bases
Fuzzy Answer Set Programming
Rule Calculus: Semantics, Axioms and Applications
Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations
A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach
Simultaneous Rigid Sorted Unification
Generalizing the Syntax of Terms in Mini-gringo
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics
Axiomatising Nash-Consistent Coalition Logic
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases
TAS-D ++ : Syntactic Trees Transformations for Automated Theorem Proving
The Optimal Model of a Program with Negation
Minimal Knowledge and Belief via Minimal Topology
Representing and Reasoning with Preferences
Combining Modes of Reasoning: An Application of Abstract Argumentation
A New Class of Explanations for Classifiers with Non-binary Features
Second-Order Quantifier Elimination in Modal Contexts
Hilbert-Style Axiomatization for Hybrid XPath with Data
Disjunctive Logic Program = Horn Program + Control Program
DRAT Proofs for XOR Reasoning
A Bayesian Extension of the Description Logic ALC
Metabolic Pathways as Temporal Logic Programs
Viewing Hypothesis Theories as Constrained Graded Theories
Exploiting Functional Dependencies in Declarative Problem Specifications
An Epistemic Logic for Multi-agent Systems with Budget and Costs
Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights
Efficient Inferencing for OWL EL
Soundness and Completeness of an "Efficient" Negation for Prolog
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem
An Implementation of Statistical Default Logic
A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ALC
Avoiding Logical Omniscience by Using Subjective Situations
Hyper Tableaux
Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings
A Tool to Facilitate Agent Deliberation
Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search
On Syntactic Forgetting Under Uniform Equivalence
A Logic for Anytime Deduction and Anytime Compilation
Beyond Maxi-Consistent Argumentation Operators
A Framework for Belief Update
What You Always Wanted to Know About Rigid E-Unification
Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic
An Implementation of a Lightweight Argumentation Engine for Agent Applications
P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web
Reduction Theorems for Boolean Formulas Using Delta-Trees
DLV MC : Enhanced Model Checking in DLV
Extensional Semantics for Higher-Order Logic Programs with Negation
Stable-Ordered Models for Propositional Theories with Order Operators
Inconsistencies in Ontologies
Past-Present Temporal Programs over Finite Traces
Verifying Communicating Agents by Model Checking in a Temporal Action Logic
Partially Adaptive Code Trees
Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings
Updates plus Preferences
On Dialogue Systems with Speech Acts, Arguments, and Counterarguments
Compactness Properties of Nonmonotonic Inference Operations
Profiling Answer Set Programming: The Visualization Component of the noMoRe System
Reasoning About Cognitive Attitudes in a Qualitative Setting
Tractable Combinations of Theories via Sampling
Reasoning about Dynamic Normative Systems
Similarity Saturation for First Order Linear Temporal Logic with UNLESS
Representing Action Domains with Numeric-Valued Fluents
COBA: A Consistency-Based Belief Revision System
Empirical Study on Human Evaluation of Complex Argumentation Frameworks
Conditional Epistemic Planning
Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics
Three-Valued Logics for Incomplete Information and Epistemic Logic
On the Credal Structure of Consistent Probabilities
On the Logic of 'Being Motivated to Achieve rho, Before delta'
Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond
Polynomial Approximations of Full Propositional Logic via Limited Bivalence
The QBFEVAL Web Portal
Hierarchical Identity-Based Signature with Short Public Keys
Design of Lightweight Web Page Tamper-Resistant Mechanism for Linux
Training Aggregation in Federated Learning
ADS-B Data Attack Detection Based on Generative Adversarial Networks
A Method of Malicious Bot Traffic Detection
Research and Application of Trusted Service Evaluation Model in Social Network
A Federated Learning Assisted Conditional Privacy Preserving Scheme for Vehicle Networks
Mixed Reality Cubicles and Cave Automatic Virtual Environment
IMES: An Automatically Scalable Invisible Membrane Image Encryption for Privacy Protection on IoT Sensors
The Effectiveness of Upward and Downward Social Comparison of Physical Activity in an Online Intervention
Cancelable Fingerprint Templates with Delaunay Triangle-Based Local Structures
A Defect Level Assessment Method Based on Weighted Probability Ensemble
Membership Inference Attacks Against Robust Graph Neural Network
A Collaborative Access Control Scheme Based on Incentive Mechanisms
An Efficient Dynamic Group Signatures Scheme with CCA-Anonymity in Standard Model
Cyber Safety Awareness and Culture Planning in South Africa
Realizing Information Flow Control in ABAC Mining
Towards an Open Framework Leveraging a Trusted Execution Environment
A Robust Zero Watermarking Algorithm for Medical Images Based on Tetrolet-DCT
Towards the Blockchain Technology for System Voting Process
An Automated Finger-Knuckle-Print Identification System Using Jointly RBF & RFT Classifiers
VDHGT: A Source Code Vulnerability Detection Method Based on Heterogeneous Graph Transformer
An SVM Based Secural Image Steganography Algorithm for IoT
An Information Theory Based Approach for Identifying Influential Spreaders in Temporal Networks
Design and Implementation of a Testbed for the Security Assessment of MANETs
Data Privacy Protection in Medical Alliance Chain Based on K-Anonymity
A Ciphertext-Policy Attribute-Based Encryption Scheme Supporting Keyword Search Function
A Blockchain Based Searchable Encryption Scheme for Multiple Cloud Storage
Efficient Privacy Protection Authentication Scheme in Vehicle Ad Hoc Networks
A Survey of Keylogger and Screenlogger Attacks in the Banking Sector and Countermeasures to Them
Dissecting Membership Inference Risk in Machine Learning
Post-quantum Privacy-Preserving Aggregation in Federated Learning Based on Lattice
A Biometric Key Generation Method for Fingerprint and Finger Vein Fusion
Speaker Recognition Based on Lightweight Neural Network for Smart Home Solutions
Behaviour-Based Anomaly Detection of Cyber-Physical Attacks on a Robotic Vehicle
Optimal Partitioning of LLC in CAT-enabled CPUs to Prevent Side-Channel Attacks
A Verifiable and Privacy-Preserving Credit Risk Prediction Under Secure Neural Network
Dummy Trajectory Generation Scheme Based on Deep Learning
Secure and Dynamic Outsourcing Computation of Machine Learning in Cloud Computing
A Regularization-Based Positive and Unlabeled Learning Algorithm for One-Class Classification of Remote Sensing Data
A Privacy-Preserving Delegable Auditing Scheme with Edge-Assisted Deduplication in IoT
Multi-hop Multi-key Homomorphic Encryption with Less Noise Under CRS Model
A New Provably Secure Identity-Based Multi-proxy Signature Scheme
Near-Optimal Collusion-Secure Fingerprinting Codes for Efficiently Tracing Illegal Re-distribution
Flexible and Survivable Single Sign-On
Detecting Control Flow in Smarphones: Combining Static and Dynamic Analyses
Cyberspace Safety and Security - 14th International Symposium, CSS 2022, Xi'an, China, October 16-18, 2022, Proceedings
Automated Detection System for Adversarial Examples with High-Frequency Noises Sieve
Cyberspace Safety and Security - 13th International Symposium, CSS 2021, Virtual Event, November 9-11, 2021, Proceedings
Confidence Curve for Continuous Authentication
DeT: Defending Against Adversarial Examples via Decreasing Transferability
Multiple-Bank E-Cash without Random Oracles
5G-XHaul: Enabling Scalable Virtualization for Future 5G Transport Networks
Versatile Mixed Reality Educational Spaces - A Medical Education Implementation Case
A Confidence-Guided Anomaly Detection Approach Jointly Using Multiple Machine Learning Algorithms
Privacy-Preserving Machine Learning Using Functional Encryptions for Multiple Models with Constant Ciphertext
A Multi-KGC Certificateless Anonymous Cloud Sharing Scheme with Threshold-Based Traceability
An Efficient Attribute Based Encryption Scheme in Smart Grid
Supporting User Authorization Queries in RBAC Systems by Role-Permission Reassignment
Two-Phase Locality-Sensitive Hashing for Privacy-Preserving Distributed Service Recommendation
A Secure and Efficient Certificateless Authenticated Key Agreement Scheme for Smart Healthcare
Policy-Based Vulnerability Assessment for Virtual Organisations
Improvised Model for Blockchain in Distributed Cloud Environment
An Improved Anti-collision Algorithm for ISO15693 RFID Systems
A logical high-level framework for Critical Infrastructure resilience and risk assessment
Noisy Smoothing Image Source Identification
Accountable Multi-authority Ciphertext-Policy Attribute-Based Encryption Without Key Escrow and Key Abuse
A Certificateless Aggregate Signature Scheme Based on Blockchain for EMR
An Image Denoising Algorithm Based on Singular Value Decomposition and Non-local Self-similarity
Static Detection of Dangerous Behaviors in Android Apps
CloudDPI: Cloud-Based Privacy-Preserving Deep Packet Inspection via Reversible Sketch
A Multilevel Graph Approach for Road Accidents Data Interpretation
Achieving Data Security, Access Control and Authentication of Controllers in Hierarchical Software Defined Networking with Attribute Based Encryption
Situation Calculus and Graph Based Defensive Modeling of Simultaneous Attacks
Users' Perceived Control, Trust and Expectation on Privacy Settings of Smartphone
A Novel Method of Template Protection and Two-Factor Authentication Protocol Based on Biometric and PUF
An Event-Based Approach for Discovering Activities of Daily Living by Hidden Markov Models
Big Data Based E-commerce Search Advertising Recommendation
Cloud Security Solution Based on Software Defined Network
A Multi-tier Ensemble Construction of Classifiers for Phishing Email Detection and Filtering
Research on Safety Early Warning Transmission Control Algorithm Based on Driving Stability
Semantic Location Privacy Protection Based on Privacy Preference for Road Network
Bank Card Number Identification Based on Template Matching Method
Securely Outsourcing Decentralized Multi-authority Attribute Based Signature
Sophisticated Phishers Make More Spelling Mistakes: Using URL Similarity against Phishing
Toward Ubiquitous MapReduce Processing
Multi-view DDoS Network Flow Feature Extraction Method via Convolutional Neural Network
Study of Wearable and 3D-Printable Vibration-Based Energy Harvesters
Multi-Domain Orchestration for NFV: Challenges and Research Directions
An Evaluation of the Efficacy of a Perceptually Controlled Immersive Environment for Learning Acupuncture
On the Equivalence of 2-Threshold Secret Sharing Schemes and Prefix Codes
A DP Canopy K-Means Algorithm for Privacy Preservation of Hadoop Platform
Cyberspace Safety and Security - 5th International Symposium, CSS 2013, Zhangjiajie, China, November 13-15, 2013, Proceedings
An Efficient Privacy-Preserving Palmprint Authentication Scheme Based on Homomorphic Encryption
A Bio-inspired Approach to Attack Graphs Analysis
Reliable object rating framework for content sharing system
File Recovery of High-Order Clearing First Cluster Based on FAT32
An Event-Based Packet Dropping Detection Scheme for Wireless Mesh Networks
Electricity Sales Forecasting Based on Model Fusion and Prophet Model