yusuke1997/dblp-id-title huggingface dataset:
Tight Multi-User Security Bound of DbHtS
Preface to Volume 2022, Issue 1
Practical Cube Attack against Nonce-Misused Ascon
Revisiting Leakage-Resilient MACs and Succinctly-Committing AEAD More Applications of Pseudo-Random Injections
Exploring the Six Worlds of Gröbner Basis Cryptanalysis: Application to Anemoi
Finding Bit-Based Division Property for Ciphers with Complex Linear Layers
Cube Attacks with Elimination Strategy: Key Recovery Attacks on Trivium
Security of Symmetric Primitives under Incorrect Usage of Keys
On the Generalization of Butterfly Structure
New Low-Memory Algebraic Attacks on LowMC in the Picnic Setting
Optimally Secure Tweakable Block Ciphers with a Large Tweak from n-bit Block Ciphers
Influence of the Linear Layer on the Algebraic Degree in SP-Networks
Small Stretch Problem of the DCT Scheme and How to Fix It
Direct construction of quasi-involutory recursive-like MDS matrices from 2-cyclic codes
Frequency-smoothing encryption: preventing snapshot attacks on deterministically encrypted data
New Key-Recovery Attack on Reduced-Round AES
Key Prediction Security of Keyed Sponges
Algorithm Substitution Attacks: State Reset Detection and Asymmetric Modifications
Duel of the Titans: The Romulus and Remus Families of Lightweight AEAD Algorithms
ISAP - Towards Side-Channel Secure Authenticated Encryption
Key-Recovery Attacks on Full Kravatte
LM-DAE: Low-Memory Deterministic Authenticated Encryption for 128-bit Security
Provable Security of SP Networks with Partial Non-Linear Layers
Differential-Linear Cryptanalysis of Reduced Round ChaCha
On the Usage of Deterministic (Related-Key) Truncated Differentials and Multidimensional Linear Approximations for SPN Ciphers
Practical Evaluation of FSE 2016 Customized Encoding Countermeasure
Practical Key-Recovery Attack on MANTIS5
A Security Analysis of Deoxys and its Internal Tweakable Block Ciphers
Key Assignment Scheme with Authenticated Encryption
Extending the Quasidifferential Framework: From Fixed-Key to Expected Differential Probability
Searching for Subspace Trails and Truncated Differentials
Automated Search Oriented to Key Recovery on Ciphers with Linear Key Schedule Applications to Boomerangs in SKINNY and ForkSkinny
Spectral analysis of ZUC-256
Improved Preimage Attacks on 4-Round Keccak-224/256
On the Feistel Counterpart of the Boomerang Connectivity Table Introduction and Analysis of the FBCT
Cryptanalysis of Full-Round BipBip
Cryptanalysis of Low-Data Instances of Full LowMCv2
The design of Xoodoo and Xoofff
Efficient Side-Channel Secure Message Authentication with Better Bounds
A New Practical Cube Attack via Recovering Numerous Superpolys
New Properties of the Double Boomerang Connectivity Table
Constructing Committing and Leakage-Resilient Authenticated Encryption
PLCrypto: A Symmetric Cryptographic Library for Programmable Logic Controllers
Comprehensive security analysis of CRAFT
BEANIE - A 32-bit Cipher for Cryptographic Mitigations Against Software Attacks
Classification of Balanced Quadratic Functions
Towards Low-Latency Implementation of Linear Layers
Partitions in the S-Box of Streebog and Kuznyechik
Xoodyak, a lightweight cryptographic scheme
Increasing Precision of Division Property
Differentially 4-Uniform Permutations with the Best Known Nonlinearity from Butterflies
MILP Modeling for (Large) S-boxes to Optimize Probability of Differential Characteristics
Revisiting the Extension of Matsui's Algorithm 1 to Linear Hulls: Application to TinyJAMBU
LIZARD - A Lightweight Stream Cipher for Power-constrained Devices
On Constructing AEs with Leakage and Faults
Improved Rectangle Attacks on SKINNY and CRAFT
Permutation-Based Hash Chains with Application to Password Hashing
Significantly Improved Cryptanalysis of Salsa20 with Two-Round Criteria
Key Committing Security of AEZ and More
ShiftRows Alternatives for AES-like Ciphers and Optimal Cell Permutations for Midori and Skinny
New Yoyo Tricks with AES-based Permutations
Boomerang Switch in Multiple Rounds. Application to AES Variants and Deoxys
On the Security of Split-and-Lookup-Based ZK-Friendly Primitives
Symmetric Twin Column Parity Mixers and Their Applications
On Large Tweaks in Tweakable Even-Mansour with Linear Tweak and Key Mixing
Chosen-Prefix Collisions on AES-like Hashing
Catching the Fastest Boomerangs Application to SKINNY
Dialga: A Family of Low-Latency Tweakable Block Ciphers Using Multiple Linear Layers
Design of a Linear Layer Optimised for Bitsliced 32-bit Implementation
The Large Block Cipher Vistrutah
Exploiting Weak Diffusion of Gimli: Improved Distinguishers and Preimage Attacks
Design of Lightweight Linear Diffusion Layers from Near-MDS Matrices
Rocca: An Efficient AES-based Encryption Scheme for Beyond 5G
Constructive Circumscription
Efficient Computation of the Well-Founded Semantics over Big Data
Lloyd-Topor completion and general stable models
Stable model semantics for founded bounds
Relational theories with null values and non-herbrand stable models
Query evaluation and optimization in the semantic web
OntoScene, A Logic-Based Scene Interpreter: Implementation and Application in the Rock Art Domain
Normal forms for answer sets programming
State space computation and analysis of Time Petri Nets
Achievements in answer set programming
Introduction to the 33rd international conference on logic programming special issue
Editorial (by the Editor in Chief)
Model Explanation via Support Graphs
Omission-based Abstraction for Answer Set Programs - ERRATUM
NP Datalog: A logic language for expressing search and optimization problems
Efficient algebraic effect handlers for Prolog
Programming finite-domain constraint propagators in Action Rules
Computing large and small stable models
Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021)
Loop formulas for description logic programs
Book review: Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University press, 2003, ISBN 0-521-81802-8
An infinitary encoding of temporal equilibrium logic
Timed soft concurrent constraint programs: An interleaved and a parallel approach
Inductive Logic Programming in Databases: From Datalog to DL+log
Answer Set Programming, by Vladimir Lifschitz, Springer NatureSwitzerland AG, ISBN 978-3-030-24657-0
Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning
SMCHR: Satisfiability modulo constraint handling rules
Introduction to the special issue on Programming with Answer Sets
Threads and or-parallelism unified
Programming in logic without logic programming
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson's Logic
Detection and exploitation of functional dependencies for model generation
Introduction to the 27th International Conference on Logic Programming Special Issue
A structured alternative to Prolog with simple compositional semantics
Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities
A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics
A Constructive semantic characterization of aggregates in answer set programming
Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs
Models and Games by Jouko Väänänen, Cambridge University Press, Cambridge Studies in Advanced Mathematics Series 132, 2011. Hardcover, ISBN 978-0-521-51812-3, 367 pp
Metric Temporal Equilibrium Logic over Timed Traces
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates
Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
Putting logic-based distributed systems on stable grounds
Introduction to the TPLP special issue, logic programming in databases: From Datalog to semantic-web rules
Dynamic Consistency Checking in Goal-Directed Answer Set Programming
Predicate Pairing for program verification
FO(FD): Extending classical logic with rule-based fixpoint definitions
Verifying Tight Logic Programs with anthem and vampire
From Logic to Functional Logic Programs
A treatment of higher-order features in logic programming
Demand analysis with partial predicates
Transformations of logic programs with goals as arguments
On the stable model semantics for intensional functions
Integrating Logic Rules with Everything Else, Seamlessly
Modelling Multi-Agent Epistemic Planning in ASP
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
Checking termination of bottom-up evaluation of logic programs with function symbols
Ackermann Encoding, Bisimulations, and OBDDs
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies
SWI-Prolog and the web
An overview of Ciao and its design philosophy
ALPprolog - A new logic programming method for dynamic domains
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems
Action-Centered Information Retrieval
Introduction to the 28th international conference on logic programming special issue
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
On finitely recursive programs
Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs
RedAlert: Determinacy inference for Prolog
A Distributed Approach to LARS Stream Reasoning (System paper)
Verifying Termination and Error-Freedom of Logic Programs with block Declarations
Redundant Sudoku rules
Computing convex hulls with a linear solver
The jobs puzzle: Taking on the challenge via controlled natural language processing
Constraint programming viewed as rule-based programming
Automated Verification of Weak Equivalence within the SMODELS System
The rise and fall of semantic rule updates based on SE-models
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
Constraint Handling Rules by Thom Frühwirth, Cambridge University Press, 2009. Hard cover: ISBN 978-0-521-87776-3
eclingo : A Solver for Epistemic Logic Programs
Characterizing and extending answer set semantics using possibility theory
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
Inference and learning in probabilistic logic programs using weighted Boolean formulas
Speedup of Logic Programs by Binarization and Partial Deduction
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
Embedding defeasible logic into logic programming
An ASP Framework for the Refinement of Authorization and Obligation Policies
Declarative Approaches to Counterfactual Explanations for Classification
Book review: Term Rewriting Systems by "Terese" (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.), Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 55, 2003, hard cover: ISBN 0-521-39115-6
Planning as tabled logic programming
Train Scheduling with Hybrid Answer Set Programming
Incremental maintenance of overgrounded logic programs with tailored simplifications
Temporal phylogenetic networks and logic programming
A CLP heap solver for test case generation
A concurrent constraint programming interpretation of access permissions
Specifying and Verbalising Answer Set Programs in Controlled Natural Language
Products of weighted logic programs
Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs
Evaluation and Application of Portfolio Approaches in Constraint Programming
(Co-)Inductive semantics for Constraint Handling Rules
Inconsistency Proofs for ASP: The ASP - DRUPE Format
An Improved Proof-Theoretic Compilation of Logic Programs
Clingo goes linear constraints over reals and integers
Interdefinability of defeasible logic and logic programming under the well-founded semantics
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
Probabilistic legal reasoning in CHRiSM
Integrating design synthesis and assembly of structured objects in a visual design language
Abstract Environment Trimming
The language features and architecture of B-Prolog
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
Decomposable theories
Dominating Set Reconfiguration with Answer Set Programming
Automatic verification of timed concurrent constraint programs
Constraint-based automatic verification of abstract models of multithreaded programs
Logic programming with satisfiability
Provenance Guided Rollback Suggestions
Learning Hybrid Algorithms for Vehicle Routing Problems
Constraint solving for finite model finding in SMT solvers
Diagnostic reasoning with A-Prolog
On the cooperation of the constraint domains , R , and F in CFLP
On Signings and the Well-Founded Semantics
as Input Language for Answer Set Solvers
Knowledge Authoring for Rules and Actions
On relation between constraint answer set programming and satisfiability modulo theories
ASP-Core-2 Input Language Format
TCHR: a framework for tabled CLP
A three-valued semantics for logic programmers
Algebraic Approach to Causal Logic Programs
N3Logic: A logical framework for the World Wide Web
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues
Here and There with Arithmetic
Guarded hybrid knowledge bases
Programming with Higher-Order Logic , by Dale Miller and Gopalan Nadathur, Cambridge University Press, 2012, Hardcover, ISBN-10: 052187940X, xiv + 306 pp
Introduction to the 24th international conference on logic programming special issue
A CHR-based implementation of known arc-consistency
Unifying Framework for Optimizations in Non-Boolean Formalisms
Estimating the overlap between dependent computations for automatic parallelization
Fixpoint semantics and optimization of recursive Datalog programs with aggregates
Fuzzy linguistic logic programming and its applications
Book review: Introduction to Constraint Databases by Peter Revesz. Texts in Computer Science, Springer-Verlag, 2002, ISBN 0-387-98729-0, xiv + 393 pages, 112 illustrations, hardcover
Combining decidability paradigms for existential rules
Fuzzy answer sets approximations
"What if?" in Probabilistic Logic Programming
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12
Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping
Specialization of functional logic programs based on needed narrowing
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach
Proving correctness of imperative programs by linearizing constrained Horn clauses
Solving Horn Clauses on Inductive Data Types Without Induction
Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper)
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM
Practical run-time checking via unobtrusive property caching
Forgetting in Answer Set Programming - A Survey
Logic programming for finding models in the logics of knowledge and its applications: A case study
On Cascade Products of Answer Set Programs
FreeCHR - An Algebraic Framework for Constraint Handling Rules Embeddings
Symbolic Specialization of Rewriting Logic Theories with Presto
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings)
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning
Book review: Logic for Learning: Learning Comprehensible Theories from Structured Data by John W. Lloyd, Springer-Verlag, 2003, ISBN 3-540-42027-4
A program-level approach to revising logic programs under the answer set semantics
Reasoning About Study Regulations in Answer Set Programming
Editorial: 29th International Conference on Logic Programming special issue
The Semantics of Gringo and Proving Strong Equivalence
Justifying answer sets using argumentation
Reducing fuzzy answer set programming to model finding in fuzzy logics
Rethinking Defeasible Reasoning: A Scalable Approach
Introduction to the 31st International Conference on Logic Programming special issue
Towards Inverse Execution of Constraint Handling Rules
A Logic Framework for P2P Deductive Databases
Constraint Logic Programming using ECLiPSe Krzysztof Apt and Mark Wallace, Cambridge University Press, 2007 Hardback, ISBN 9780521866286, 348 pages
Visualizing Answer Set Programming
Program completion in the input language of GRINGO
Rewriting recursive aggregates in answer set programming: back to monotonicity
Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers
Probabilistic reasoning with answer sets
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
Concolic Testing in CLP
A non-termination criterion for binary constraint logic programs
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
Catching the Ouroboros: On debugging non-ground answer-set programs
selp: A Single-Shot Epistemic Logic Program Solver
Semantic code browsing
Problem Solving with the Enfragmo System
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism
A Tribute to Alain Colmerauer
LogicObjects: A Portable and Extensible Approach for Linguistic Symbiosis between an Object-Oriented and a Logic Programming Language
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
Test case generation for object-oriented imperative languages in CLP
Logic programming in the context of multiparadigm programming: the Oz experience
Computing preferred answer sets by meta-interpretation in answer set programming
A Proof Theoretic Study of Soft Concurrent Constraint Programming
CP-logic: A language of causal probabilistic events and its relation to logic programming
A Probabilistic Extension of Action Language ${\cal BC}$+}$
Rewriting and narrowing for constructor systems with call-time choice semantics
Introduction to the special issue on probability, logic and learning
Boosting Answer Set Optimization with Weighted Comparator Networks
Introduction to the 37th International Conference on Logic Programming Special Issue II
Efficient tabling of structured data with enhanced hash-consing
ASPeRiX, a first-order forward chaining approach for answer set computing
Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific, Hardback: ISBN 981-256-101-3, xiv + 408 pages
Tau Prolog: A Prolog Interpreter for the Web
The YAP Prolog system
Smart Expansion Techniques for ASP-Based Interactive Configuration
Constraint functional logic programming over finite domains
Introduction to the 39 th International Conference on Logic Programming Special Issue
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
Querying XML documents in logic programming
Automated termination analysis for logic programs with cut
Handbook of Practical Logic and Automated Reasoning , John Harrison, Cambridge University Press, 2009. Hardcover, ISBN-13: 978-0-521-89957-4, 681 pp. + xix, $135.00
Interactive Model Expansion in an Observable Environment
Operating Room (Re)Scheduling with Bed Management via ASP
A Gentle Guide to Constraint Logic Programming via ECLiPSe by Antoni Niederliński, xiii + 509 pages, published by Jacek Skalmierski Computer Studio, Third Edition, 2014
Formalization of psychological knowledge in answer set programming and its application
SUNNY-CP and the MiniZinc challenge
ASP-FZN: A Translation-Based Constraint Answer Set Solver
Model checking with probabilistic tabled logic programming
Towards Parametrizing Logic Program Analysis: Two Examples
Object-Oriented Knowledge Bases in Logic Programming
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs
On Program Completion, with an Application to the Sum and Product Puzzle
ASP with non-herbrand partial functions: a language and system for practical use
Relativized hyperequivalence of logic programs for modular programming
Transforming floundering into success
BigYAP: Exo-compilation meets UDI
Towards Computational Morality with Logic Programming
Proving infinitary formulas
Efficient local unfolding with ancestor stacks
Temporalized logics and automata for time granularity
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics
On the Configuration of More and Less Expressive Logic Programs
Symbolic Rule Extraction From Attention-Guided Sparse Representations in Vision Transformers
A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There
Engineering an Efficient Native ASP Solver
GPU Accelerated Compact-Table Propagation
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020)
Propositional Defeasible Logic has Linear Complexity
The Semantics of Metaprogramming in Prolog
A Backward Analysis for Constraint Logic Programs
On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications
Horn clauses as an intermediate representation for program analysis and transformation
On modular termination proofs of general logic programs
Characterization of logic program revision as an extension of propositional revision
Introduction to the Special Issue on Logic Programming and the Web
Temporal Minimal-World Query Answering over Sparse ABoxes
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
The power of non-ground rules in Answer Set Programming
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables
On the correctness of pull-tabbing
A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns
Action Programming In Rewriting Logic
Improving adherence to heart failure management guidelines via abductive reasoning
Model Checking Linear Logic Specifications
Lock-free atom garbage collection for multithreaded Prolog
Hybrid metabolic network completion
Enhancing the expressive power of the U-Datalog language
Checking modes of HAL programs
Efficient Knowledge Compilation Beyond Weighted Model Counting
Logic program specialisation through partial deduction: Control issues
Sized Type Analysis for Logic Programs
Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library
onlineSPARC: A Programming Environment for Answer Set Programming
On the Equivalence between Logic Programming and SETAF
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications
On Systematic Construction of Correct Logic Programs
Domain-Independent Cost-Optimal Planning in ASP
CHR(PRISM)-based probabilistic logic learning
Hybrid conditional planning using answer set programming
Backdoors to the Tractability of Answer Set Programming
Monitoring and Visualizing Answer Set Solving
SAT-based termination analysis using monotonicity constraints over the integers
Reasoning with Forest Logic Programs and f-hybrid knowledge bases
CHR grammars
On the problem of computing the well-founded semantics
Winning Snake: Design Choices in Multi-Shot ASP
Logic programming with social features
Simulating Dynamic Systems Using Linear Time Calculus Theories
Removing redundant arguments automatically