yusuke1997/dblp-id-title huggingface dataset:
Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps
An Axiom System for Basic Hybrid Logic with Propositional Quantifiers
Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels
Descriptive Complexity of Graph Spectra
Reasoning with Uncertainty by Nmatrix-Metric Semantics
First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization
Substructural Logic of Proofs
Ludics and Its Applications to Natural Language Semantics
A Short Introduction to SHACL for Logicians
Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs
On the Value of Variables
An Infinitely-Often One-Way Function Based on an Average-Case Assumption
Rigid First-Order Hybrid Logic
Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Complexes
Independence-Friendly Logic Without Henkin Quantification
Observational Completeness on Abstract Interpretation
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
Interval Valued QL-Implications
Structural Completeness and Superintuitionistic Inquisitive Logics
A Logical Approach to Context-Specific Independence
Continuous Truth II: Reflections
Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting
Quantifying Notes
Formalization of the Undecidability of the Halting Problem for a Functional Language
Characterizing Relative Frame Definability in Team Semantics via the Universal Modality
Generalized Relations in Linguistics and Cognition
The Word Problem for Finitely Presented Quandles is Undecidable
Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings
On Combinatorial Proofs for Logics of Relevance and Entailment
Solovay's Completeness Without Fixed Points
A Classical Propositional Logic for Reasoning About Reversible Logic Circuits
Categories: How I Learned to Stop Worrying and Love Two Sorts
Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus
Descriptive Complexity of Deterministic Polylogarithmic Time
Uniform Lyndon Interpolation for Basic Non-normal Modal Logics
Subsumption-Linear Q-Resolution for QBF Theorem Proving
Insensitive Games: Game Semantics for Modal Insensitivity
A Characterisation of Definable NP Search Problems in Peano Arithmetic
Axiomatization and Decidability of Tense Information Logic
Coherent Diagrammatic Reasoning in Compositional Distributional Semantics
Adversary Lower Bounds for Nonadaptive Quantum Algorithms
A CTL-Based Logic for Program Abstractions
Second-Order False-Belief Tasks: Analysis and Formalization
A Logic of "Black Box" Classifier Systems
Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006
Modules over Monads and Linearity
On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order
Partial Realization in Dynamic Justification Logic
Minimization via Duality
Skolem Theory and Generalized Quantifiers
An Introduction to Context Logic
An Epistemic Generalization of Rationalizability
Algorithmically Broad Languages for Polynomial Time and Space
Deep Inference in Bi-intuitionistic Logic
Foundations of Satisfiability Modulo Theories
On the Formalization of Some Results of Context-Free Language Theory
Infinitary Refinement Types for Temporal Properties in Scott Domains
On the Length of Medial-Switch-Mix Derivations
Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings
Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time Computability
On Distributed Monitoring of Asynchronous Systems
Completions of Basic Algebras
Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper)
Logic-Based Probabilistic Modeling
Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Mechanisation of PDA and Grammar Equivalence for Context-Free Languages
Towards an Induction Principle for Nested Data Types
Tabular Intermediate Logics Comparison
Modal Logic via Global Consequence
A Formalization of Brouwer's Argument for Bar Induction
On the Formal Semantics of IF-Like Logics
Talks on Quantum Computing
Parallelism in Realizability Models
Note on Globally Sound Analytic Calculi for Quantifier Macros
Parameterized Complexity of Propositional Inclusion and Independence Logic
An Exponential Lower Bound for Proofs in Focused Calculi
Knowledge, Time, and Logical Omniscience
Logics with Copy and Remove
A Semantical View of Proof Systems
Tense Logics over Lattices
Quantum Probabilistic Dyadic Second-Order Logic
Pregroup Calculus as a Logic Functor
Strong Normalization and Confluence for Reflexive Combinatory Logic
Handling Verb Phrase Anaphora with Dependent Types and Events
An Equation-Based Classical Logic
Query Answering in Description Logics: The Knots Approach
Labelled Sequent Calculi for Inquisitive Modal Logics
Information, Awareness and Substructural Logics
Formal Lifetime Reliability Analysis Using Continuous Random Variables
Abstract Cyclic Proofs
Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars
Strict-Tolerant Conditional Logics
The Epistemology of Nondeterminism
Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics
A Separation Logic with Histories of Epistemic Actions as Resources
Quantitative Global Memory
Modal Logics with Counting
Denotation of Sentential Complements
Logic of Visibility in Social Networks
Reverse Mathematics and Computability Theory of Domain Theory
The Satisfiability Problem in a Separation Logic of Relations
Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics
Initiality for Typed Syntax and Semantics
Mathematical Logic for Life Science Ontologies
Expressivity of Many-Valued Modal Logics, Coalgebraically
Formalizing Turing Machines
The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable
Advanced Kripke Frame for Quantum Logic
Logical Form as a Determinant of Cognitive Processes
Admissible Rules: From Characterizations to Applications
Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language
Lattice Logic Properly Displayed
Maximally Multi-focused Proofs for Skew Non-Commutative MILL
Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Non-monotonic Reasoning via Dynamic Consequence
Material Dialogues for First-Order Logic in Constructive Type Theory
Lambek Calculus with Banged Atoms for Parasitic Gaps
Independence in Database Relations
Observational Effort and Formally Open Mappings
Syntactic Concept Lattice Models for Infinitary Action Logic
10th Workshop on Logic, Language, Information and Computation, WoLLIC 2003, Ouro Preto, Minas Gerais, Brazil, July 29 - August 1, 2003
A Case for Property-Type Semantics
On Anaphora and the Binding Principles in Categorial Grammar
Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces
Numerical Constraints for XML
Factive Complements are Not Always Unique Entities: A Case Study with Bangla remember
Aleatoric Propositions: Reasoning About Coins
: An Action-Based Logic for Reasoning about Contracts
Propositional Reasoning about Saturated Conditional Probabilistic Independence
Algebraic Semantics for Quasi-Nelson Logic
Non Normal Logics: Semantic Analysis and Proof Theory
Validity in Choice Logics - A Game-Theoretic Investigation
Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures
Characterizations for XPath R (đownarrow )
Expressing Extension-Based Semantics Based on Stratified Minimal Models
The Undecidability of Orthogonal and Origami Geometries
Deciding Open Definability via Subisomorphisms
Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders
Reinstatement and the Requirement of Maximal Specificity in Argument Systems
A Duality for Algebras of Lattice-Valued Modal Logic
On Propositional Program Equivalence (Extended Abstract)
Proof-Net as Graph, Taylor Expansion as Pullback
Interval Additive Generators of Interval T-Norms
Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints
A Finite Model Property for Gödel Modal Logics
Closure Ordinals of the Two-Way Modal µ-Calculus
Computable Execution Traces
Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
True Concurrency of Deep Inference Proofs
Complexity Thresholds in Inclusion Logic
The Expressive Power of k-ary Exclusion Logic
Deep Induction for Inductive Families
Univalent Foundations of Mathematics
Intersection Type Systems and Explicit Substitutions Calculi
Semantic Equivalence of Graph Polynomials Definable in Second Order Logic
A Simple Loopcheck for Intuitionistic K
A Geometry of Interaction Machine for Gödel's System T
Provability Games for Non-classical Logics
Subordination Algebras as Semantic Environment of Input/Output Logic
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests
Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
A Representation Theorem for Finite Gödel Algebras with Operators
Paraconsistent Constructive Modal Logic
Structural Extensions of Display Calculi: A General Recipe
Classic-Like Analytic Tableaux for Finite-Valued Logics
An Evidence Logic Perspective on Schotch-Jennings Forcing
Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing
A Knowledge Modeling Approach for AI Applications Based on Legal Reasoning in the Semantic Web
Proceedings of the 3rd Workshop on Augmented Intelligence for Technology-Assisted Reviews Systems (ALTARS 2024) co-located with the 46th European Conference on Information Retrieval (ECIR 2024), Glasgow, Scotland, March 28, 2024 (hybrid event)
Towards Explainable Total Recall in TAR for eDiscovery Using Retraining of the Underlying Neural Network Model
Stopping Methods Based on Point Processes: Recent Developments
An Interdisciplinary Approach to Legal Terminology: Challenges of the "Algorithmic Turn" in Legal Science
Exploring the Use of a Large Language Model for Data Extraction in Systematic Reviews: A Rapid Feasibility Study
Technology Assisted Review Systems: Current and Future Directions
Extracting Information From Scientific Articles to Compile Data on Ecological Impacts of Biological Invasions
Factors Affecting the Performance of Reviewers in a Large-Scale Technology-Assisted Review Project
Leveraging Cochrane Systematic Literature Reviews for Prospective Evaluation of Large Language Models
Implementierung von built-in Constraints für endliche Wertebereiche in Minerva
11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270
Integrating Time Constraints into Constraint-Based Configuration Models
Describing and Measuring the Complexity of SAT encodings for Constraint Programs
Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
Declaratively Querying and Visualizing Knowledge Bases in Xml
Eine Logikprogrammiersprache mit attribut- und konstruktorbasierten Sorten
Partielle Maschinencodegenerierung für binäres Prolog
The Compilation of a Set-Based Logic Language for Generic Parallel Machines
Polymorphe Typinferenz für Prolog
Incremental Generation of Parsers for Knowledge Manipulation in PROLOG
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics
Constraintbasierte Raumplanung für Universitäten
Static and dynamic variable sorting strategies for backtracking-based search algorithms
Attempto: Specifications in Controlled Natural Language
Finite Domain Algorithms and their Verification in the Concurrent Constraint Language Oz
Ein massiv paralleles Modell für die Logikprogrammierung
Embedding Defeasible Logic Programs into Generalized Logic Programs
Reduce-To-The-Max: ein schneller Algorithmus für Multi-Ressourcen-Probleme
Cardinality-Operator & Constraint Hierarchien: Metaconstraints zur Behandlung weicher Randbedingungen
From Theorem Proving to Logic Programming
Übersicht über heuristische, fallbasierte und modellbasierte Problemlösungsmethoden in der Diagnostik
PROLOG + Datenbanken = deduktive Datenbanken?
Temporal Logic Programming with Bounded Universal (Modality) Goals
Rekonfiguration komplexer industrieller Produkte mittels constraint-logischer Programmierung
Solving Real Linear Ask Constraints
How to Teach Difference Lists?
Erweiterte Modellierung mit linearen Constraints und deren Einbettung in bestehende constraintlogische Programmiersprachen
Hilfsmattaufgaben als arithmetische Constraints
Web Services Based on Prolog and Xml
OPERA Project: An Approach Towards Parallelism Exploitation on Logic Programming
Using Logic Programming and Coroutining for VLSI Design
A Constraint - Based Language for Autonomous Agents in Virtual Worlds
Logic Programming with KARL
On Modularity Properties of Partial Semantics for Disjunctive Logic Programs
Integrating XQuery and Logic Programming
TkCurry: A Declarative Approach to GUI Programming
Residuation with Type Constraints is Complete
Analysing the CHR Implementation of Union-Find
Der Tableau-Browser SNARKS (system description)
Relational Models for Tabling Logic Programs in a Database
Automated Exercises for Constraint Programming
Dynamic Logic Programming and world state evaluation in computer games
Towards Ubiquitous Maintenance - Defining Invocation of Plant Maintenance Agents in Real Workspace by Spatial Programming
Scaling up the Abstract Machine for Unification of OSF-Terms to do Head-Corner Parsing with Large-Scale Typed Unification Grammars
PACS: The Portland Aachen Curry System
A Dual Fixpoint Approach for Deriving the Disjunctive Well-Founded Semantics
Executable denotations for concurrent languages using Concurrent Transaction Logic
An Application of Logic Programming in Type Systems of Visual Languages
Collaborative Agents - A Fresh Look at Constraint Solving
Redundante Constraints und Heuristiken zum effizienten Lösen von Problemen der Ablaufplanung mit CHIP
Impact- and Cost-Oriented Propagator Scheduling for Faster Constraint Propagation
Prototyping Real-Time Systems Using Logic Programming
A Concept for the Implementation of LSE Narrowing
Proceedings of the Tenth Logic Programming Workshop, WLP 94, 5-7 Octobert 1994, Univerity of Zurich, Switzerland. Technical Report 94/10
Type Inference in CHR Programs for the Composition of Constraint Systems
Extended Logic Programs with Dynamic Preference Information: Extended Abstract
Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases
ORCAS: Towards a CHR-Based Model-Driven Framework of Reusable Reasoning Components
Funktional-logische Programmierung mittels Methoden der constraint-logischen Programmierung
Lazy Unification with Inductive Simplification
CAPP: Statische Codeanalyse von PROLOG Programmen
Evolving Algebras for Specification of Logic Programming Systems
Declarative Evaluation of Ontologies with Rules
An Evaluation of a Rule-Based Language for Classification Queries
Combining Domain Splitting with Network Decomposition for Application in Model-Based Engineering
Guard Simplification in CHR programs
Curry: A Multi-Paradigm Declarative Language (system description)
Java Type Unification with Wildcards
Constraint-basierte Planung und Konfiguration (system description)
An Overview of the LOLA System (system description)
Concurrent Engineering to Wisdom Engineering
LeanEA: A Lean Evolving Algebra Compiler
Fransforming object-oriented domain models into declarative CLP expressions
Type-based Nondeterminism Checking in Functional Logic Programs
The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses
Überprüfung von Integritätsbedingungen in deduktiven Datenbanken durch SLDNF-Beweisanalyse und -strukturierung
DialogEngines - Dialog Agents for Web-Based Self Service Consulting
Discovering "Eureka Steps" in Transforming Logic Programs
Verifizierte Implementierung funktional-logischer Sprachen
Global Consistency in CLP(PB)
Co-ordinating Parallel Computation through Equational Constraints
Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models
14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000
9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universität Hagen, Germany, Informatik-Bericht 146
Incremental Learning of Transfer Rules for Customized Machine Translation
A Pragmatic Approach to Pre-testing Prolog Programs
Truth and knowledge fixpoint semantics for many-valued logic programming
A lambda-Calculus with Logical Features
A Resource-Oriented Deductive Approach Towards Hierarchical Planning
Logic Programming Techniques for Handling Navigational Problems of Hypermedia Systems
A PROLOG Tool for Slicing Source Code
Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining
Interpreting XPath by Iterative Pattern Matching with Paisley
Object-Oriented Constraint Programming in Java Using the Library firstcs
Optimizing the Evaluation of XPath Using Description Logics
Realising the Alternative Resources Constraint
Causal Subgroup Analysis for Detecting Confounding
Complete Analysis for Definite Logic Programs
Integrating Records into Concurrent Constraint Programming: A Case Study for DFKI Oz (Abstract)
INTERDIP - Ein Interaktiver Constraint-basierter Dienstplaner für Krankenstationen
Attempto - Englisch als (formale) Spezifikationssprache (system description)
Automatic Granularity Analysis in Logic Programming
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR
A Guide for Manual Construction of Difference-List Procedures
Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means
Encoding of Planning Problems and Their Optimizations in Linear Logic
Evaluating ASP and commercial solvers on the CSPLib (Preliminary work)
Anwendung von CLP(R) auf Neurocomputing
Automatic Testing of Operation Invariance
Towards Program Synthesis From A Samll Example Set
On the Complexity of Generalized Horn Clause Intuionistic Logic
Probabilistic Reasoning with Maximum Entropy - The System PIT (system description)
A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints
Generierung von Typ-Information durch abstrakte Interpretation nach einer modifizierten OLDT-Resolution
Zur Modellierung in der ordnungssortierten logischen Programmierung
Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP
Analysis of Robotics Applications in CLP
The SETHEO System (system description)
Eine bidirektionale Maschine für die Auswertung logischer Programme
Mining Semantic Structures in Movies
Ein effizientes constraint-logisches Verfahren zur Eingrenzung der optimalen Lösungen von Problemen der Ablaufplanung
New Missing Solution Method for Trace Trees
SLDENF-Resolution
Adding Constraint Handling Rules to Curry
Visual Generalized Rule Programming Model for Prolog with Hybrid Operators
Constrained Partial Deduction
Slicing zur Fehlersuche in Logikprogrammen
Logic Programs with Contextually Scoped Negation
Interprozedurale Registerallokation durch Quelltexttransformationen
Deductive and Inductive Reasoning on Spatio-Temporal Data
A Modified Abductive Framework
Algorithmic Aspects of Model Representations
19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005
Declarative Multi-paradigm Programming
Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser
A Sequent Calculus for Intuitionistic Default Logic
Implementing Prolog Programs Free from Unification
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics
Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules
The Use of Inductive Logic Programming for the Developement of the Statistical Software Tool CORA (system description)
Mixed Fixpoint Theory for Disjunktive Deductive Databases
Another Method for Compiling Datalog
Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, Wittenberg, Germany, September 15-17, 2014
Expressing Interaction in Combinatorial Auction through Social Integrity Constraints
Integrating Antilemma-Constraints into SLD-Resolution
Logikprogrammierung ohne Modelltheorie?
Complex Certainty Factors for Rule Based Systems - Detecting Inconsistent Argumentations
A Data Structure for Efficient Deduction in Disjunctive Logic Programs
Deliberate Agent Reconcile Reactive and Goal-Oriented Agents
Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers
A Dynamic Approach to Deductive Query Evaluation
A Characterization of the Stable Semantics by Partial Evaluation
The Kiel Curry System KiCS
Efficient Edge-Finding on Unary Resources with Optional Activities
Effective Modeling with Constraints
Implementing Default Reasoning Using Quantified Boolean Formulae
Exploring Non-Determinism in Graph Algorithms
Transforming Deductive into Active Databases
Implementation techniques for Prolog
An Environment for Building Prolog Programs Based on Knowledge about their Construction
Logikprogrammieren mit frei wählbarer Auswertungsrichtung
Nebenläfige Objekte und Logische Programmierung
Declarative Web data extraction and annotation
INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals
Cmodels for Tight Disjunctive Logic Programs
Benutzerdefinierte Constraints
Ein einheitlicher Rahmen für die Behandlung der Negation in logischen Programmen
WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000
Helping Researchers To Construct Scientific Models: A Tool From Inductive Logic Programming
Learning without Model-theoretic Improvements
Logic Programming with Sets by Membership-Constraints
20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006
Level Mapping Characterizations of Selector Generated Models for Logic Programs
FLORID - A Prototype for F-Logic (system description)
Non-monotonic Integrity Constraints
Wissensbasen im World Wide Web: Eine Herausforderung für die logische Programimerung
cTI: Bottom-Up Termination Inference for Logic Programs
Towards a Declarative and Efficient Glass-Box CLP Language
SQL Based Frequent Pattern Mining with FP-Growth
A Framework for Symbolic Simulation of Hybrid Systems in Constraint Logic Programming
Extending Homeomorphic Embedding in the Context of Logic Programming
Causal Theories as Logic Programs
Logische Spezifikation von Steuerkonstrukten imperativer Programmiersprachen
Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10
Über Methoden des constrainbasierten Lösens von Problemen der Stundenplanung
Program Transformations for Constraint-Based Grammar Formalism
Debugging Prolog Using Annotations
dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework
Typen für logikbasierte aktive Objekte
Computing with Hierarchic Specifications
DB CSPA Framework and Algorithms for Applying Constraint Solving within Relational Databases
Voting Theory in Answer Set Programming
Constructive Disjunction in Oz
Complete First-Order Axiomatization of Finite or Infinite M-extended Trees
Deliberation Through Reflection
Weak Order Equivalence for Logic Programs with Preferences
A Unifying Framework for Abductive and Constraint Logic Programming