yusuke1997/dblp-id-title huggingface dataset:
Set Partitions and the Meaning of the Same
Toward discourse representation via pregroup grammars
Some Considerations on Branching Areas of Time
ML Systems: A Proof Theory for Contexts
Dynamic Interpretations of Constraint-Based Grammar Formalisms
Adding a temporal dimension to a logic system
Spanish Inflectional Morphology in DATR
Yoad Winter's Elements of Formal Semantics, 2016, Edinburgh Advanced Textbooks in Linguistics (Edinburgh University Press) - Paperback, pp. 258. ISBN 978 0 7486 4043 0
A Modern Perspective on Type Theory From its Origins until Today
A Proof-Theoretic Semantics for Adjectival Modification
A Hilbert-Style Axiomatisation for Equational Hybrid Logic
Strong Completeness and Limited Canonicity for PDL
On the Modal Logic of the Non-orthogonality Relation Between Quantum States
A First-Order Axiomatization of the Theory of Finite Trees
Model Checking for Hybrid Logic
Group Theory and Computational Linguistics
Commutative Lambek Grammars
Zooming In, Zooming Out
Introduction to Natural Language Semantics, Henriëtte de Swart
The German Vorfeld and Local Coherence
A Double Team Semantics for Generalized Quantifiers
Bidirectional Optimization from Reasoning and Learning in Games
A Power Algebra for Theory Change
A Rational Reconstruction of the Domain of Feature Structures
On Beall's New Interpretation of $$WK_{3}$$ W K 3
Hybrid Languages
Optimality Theory as a Family of Cumulative Logics
Inverse Linking, Possessive Weak Definites and Haddock Descriptions: A Unified Dependent Type Account
Frege, Contextuality and Compositionality
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5
Volker Weber
Language, Truth and Logic in Mathematics, Jaakko Hintikka
Infobase Change: A First Approximation
Fibring Logics, Dov M. Gabbay
Subatomic Negation
Automata for Epistemic Temporal Logic with Synchronous Communication
A New Correctness Criterion for Cyclic Proof Nets
John Barwise and Lawrence Moss, Vicious Circles: On the mathematics of Non-Wellfounded Phenomena
Learning to Apply Theory of Mind
A Diagrammatic Calculus of Syllogisms
Circular Languages
Variables as Stacks
Circularity or Lacunae in Tarski's Truth-Schemata
Bisimulations for Temporal Logic
Sequent Images of Normal Derivations and Natural Deduction Images of Derivations without M-cuts
Nominal Comparatives and Generalized Quantifiers
Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic
A Modal Two-Variable Fragment of Second-Order Propositional Modal Logic
A Resource Sensitive Interpretation of Lexical Functional Grammar
Towards a Robuster Interpretive Parsing - Learning from Overt Forms in Optimality Theory
Special Issue Including Selected Papers from the "Logic and Linguistics" Workshop of the 4th World Congress on Universal Logic
Forms of Representation: An Interdisciplinary Theme for Cognitive Science, Donald Peterson, ed
Compositionality and Model-Theoretic Interpretation
Natural Deduction for Modal Logic of Judgment Aggregation
Discourse and Information Structure
The Cooper Storage Idiom
Dynamic Negation, the One and Only
Tree Models and (Labeled) Categorial Grammar
A Note on the Rational Closure of Knowledge Bases with Both Positive and Negative Knowledge
A Class of Implicative Expansions of Kleene's Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz's 3-Valued Logic Ł3
Non-deterministic Logic of Informal Provability has no Finite Characterization
The Constructibility of Artificial Intelligence (as Defined by the Turing Test)
What Is Context For ? Syntax in a Non-Abstract World
Comparison Across Domains in Delineation Semantics
Connecting Information Structure and Discourse Structure through "Kontrast": The Case of Colloquial Russian Particles -TO, [Zcaron]E, and VED'
The Empirical Base of Linguistics: Grammaticality Judgments and Linguistic Methodology, Carson T. Schütze
The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich
Filtered Belief Revision: Syntax and Semantics
Some Notes on the Formal Properties of Bidirectional Optimality Theory
Proof-Theoretic Aspects of the Logic of Scope
' if p then q ' ... and all that: Logical Elements in Reasoning and Discourse
From word to sentence: a pregroup analysis of the object pronoun who ( m )
What Makes an Effective Representation of Information: A Formal Account of Observational Advantages
Discourse Processing in Attention-Deficit Hyperactivity Disorder (ADHD)
A Propositional Cirquent Calculus for Computability Logic
Cognitive Status, Information Structure, and Pronominal Reference to Clausally Introduced Entities
Logical Geometries and Information in the Square of Oppositions
Epistemic Logic for Rule-Based Agents
Possibility and Dyadic Contingency
The Basic Constructive Logic for Negation-Consistency
Equiparadoxicality of Yablo's Paradox and the Liar
The Semijoin Algebra and the Guarded Fragment
The Lambek calculus enriched with additional connectives
λ-Terms, Logic, Determiners and Quantifiers
Interpreting Probability
Indentification in the Limit of Categorial Grammars
Cooperation in Games and Epistemic Readings of Independence-Friendly Sentences
On the Origin of Ambiguity in Efficient Communication
Extensions of First-Order Logic, Maria Manzano
A Simplified Form of Condensed Detachment
Abductive Logics in a Belief Revision Framework
Hierarchies of Modal and Temporal Logics with Reference Pointers
A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems
A Computational Treatment of Anaphora and Its Algorithmic Implementation
Linear temporal logic as an executable semantics for planning languages
Proof Nets and the Complexity of Processing Center Embedded Constructions
Iterated Admissibility Through Forcing in Strategic Belief Models
Uniqueness of Normal Proofs in Implicational Intuitionistic Logic
Supplementing Entity Coherence with Local Rhetorical Relations for Information Ordering
Deciding Regular Grammar Logics with Converse Through First-Order Logic
Lambek Calculus and its relational semantics: Completeness and incompleteness
Residual Contraction
A proof-theoretic study of the correspondence of hybrid logic and classical logic
Hybrid Logic Meets IF Modal Logic
Types as Graphs: Continuations in Type Logical Grammar
Propositional Forms of Judgemental Interpretations
Expressive Power of "Now" and "Then" Operators
Extensive Games as Process Models
A Revised Projectivity Calculus for Inclusion and Exclusion Reasoning
Correction: Non-Monotonicity and Contraposition
Introduction: Toward a Unified Theory of Context?
Coalition and Relativised Group Announcement Logic
Modal Pure Type Systems
Resolving Conflicting Information
Distributivity, Collectivity, and Cumulativity in Terms of (In)dependence and Maximality
A Dynamic Analysis of Minimizers in Chinese lian...dou Construction
Are tableaux an improvement on truth-tables?
Not Only Barbara
Similarity Relations and the Preservation of Solidity
One Connection between Standard Invariance Conditions on Modal Formulas and Generalized Quantifiers
Erratum to: Grammar Induction by Unification of Type-logical Lexicons
Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero
The Family of Ambiguity Logics
Scope Dominance with Monotone Quantifiers over Finite Domains
D-LTAG System: Discourse Parsing with a Lexicalized Tree-Adjoining Grammar
Concrete Digital Computation: What Does it Take for a Physical System to Compute?
Book Review: Word Sense Disambiguation: The Case for Combinations of Knowledge Sources, Mark Stevenson, The University of Chicago Press, 2003, ISBN 1-57586-390-1
All Ravens can be Black, After All
A dynamic logic of action
A Remark on Collective Quantification
A Constructive Solution to the Ranking Problem in Partial Order Optimality Theory
Contexts in Dynamic Predicate Logic
Optionality, Scope, and Licensing: An Application of Partially Ordered Categories
Relational Syllogisms with Numerical Quantifiers and Beyond
Biography of Alexandre Dikovsky
Applying Allen's Constraint Propagation Algorithm for Non-Linear Time
Underspecification, Parsing Mismatches and Routinisation: The Historical Development of the Clitic Systems of Greek Dialects
Extending Lambek Grammars to Basic Categorial Grammars
Recovery and Epistemic Residue
Quantification in Natural Languages (Volumes I & II), E. Bach, E. Jelinek, A. Kratzer, and B.H. Partee, eds
A Syntactic Framework with Probabilistic Beliefs and Conditionals for the Analysis of Strategic Form Games
Erratum to: On Definability in Dependence Logic
The Syntactic Process: Language, Speech, and Communication, Mark Steedman
Confused Terms in Ordinary Language
Equivalential Structures for Binary and Ternary Syllogistics
Editorial: An Invitation to Cognitive Science
Cut-Rule Axiomatization of the Syntactic Calculus L0
Editorial: Belief Revision Theory Today
Paradigms for Language Theory and Other Essays, Jaakko Hintikka
Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi
Linguistic and Visual Cognition: Verifying Proportional and Superlative Most in Bulgarian and Polish
Action Type Deontic Logic
Labelled Deductive Systems, Volume 1, Dov M. Gabbay
Some Considerations on Non-linear Time Intervals
An Extended Branching-Time Ockhamist Temporal Logic
A Dynamic Logic of Agency II: Deterministic DLA {\mathcal{DLA}} , Coalition Logic, and Game Theory
Completeness and Incompleteness for Plausibility Logic
The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-free Tree Grammars
A modal perspective on the computational complexity of attribute value grammar
Capturing the Varieties of Natural Language Inference: A Systematic Survey of Existing Datasets and Two Novel Benchmarks
Names and Quantifiers: Bringing Them Together in Classical Logic
Syntactic Codes and Grammar Refinement
Who Should Be My Friends? Social Balance from the Perspective of Game Theory
Introduction: Static and Dynamic Aspects of Syntactic Structure
Reasoning with Ambiguity
Preferential Accessibility and Preferred Worlds
On the Membership Problem for Non-Linear Abstract Categorial Grammars
Blockage Revision
How to Pass a Turing Test
Semantic Bootstrapping of Type-Logical Grammar
The Constraint Language for Lambda Structures
Rational Acceptance and Conjunctive/Disjunctive Absorption
Algebraic Effects for Extensible Dynamic Semantics
In All But Finitely Many Possible Worlds: Model-Theoretic Investigations on 'Overwhelming Majority' Default Conditionals
Exploring the Future with Resource-Bounded Agents
Reasoning about Information Change
On the expressive power of categorial grammars with unique category assignment
Basic Simple Type Theory, J. Roger Hindley
Probabilities as Ratios of Ranges in Initial-State Spaces
Editorial: Logic and Games
The Class of All Natural Implicative Expansions of Kleene's Strong Logic Functionally Equivalent to Łkasiewicz's 3-Valued Logic Ł3
Changes of disjunctively closed bases
Construction-Based Compositional Grammar
An Epistemic Separation Logic with Action Models
A Logic for Reasoning About Knowledge of Unawareness
Hybrid Counterfactual Logics
From Counterfactual Conditionals to Temporal Conditionals
A basic system of paraconsistent Nelsonian logic of conditionals
Fragments of Language
Implicit Epistemic Aspects of Constructive Logic
Non-Monotonicity and Contraposition
Support and Sets of Situations
Logical Foundations for Hybrid Type-Logical Grammars
An Expressivist Bilateral Meaning-is-Use Analysis of Classical Propositional Logic
Syntactic Structures and Recursive Devices: A Legacy of Imprecision
Undivided and Indistinguishable Histories in Branching-Time Logics
Idempotency, Output-Drivenness and the Faithfulness Triangle Inequality: Some Consequences of McCarthy's (2003) Categoricity Generalization
A Mathematical Model of Prediction-Driven Instability: How Social Structure Can Drive Language Change
A 'Natural Logic' inference system using the Lambek calculus
Terminating Tableau Systems for Hybrid Logic with Difference and Converse
Quotation via Dialogical Interaction
Correction to: On the Logical Philosophy of Assertive Graphs
Syntactic Calculus with Dependent Types
A Logic for Conditional Local Strategic Reasoning
Henry Prakken: Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Children's Application of Theory of Mind in Reasoning and Language
Towards an Algebraic Semantics for Implicatives
Displaying Modal Logic, Heinrich Wansing
Referentiality and Configurationality in the Idiom and the Phrasal Verb
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
Monotonicity and Collective Quantification
On the completeness of the Lambek Calculus with respect to relativized Relational Semantics
Generalized quantifiers and modal logic
A survey of multiple contractions
Elements of Machine Learning, Pat Langley
The Human Capacity for Measurement with a Unit
A Matricial Vue of Classical Syllogistic and an Extension of the Rules of Valid Syllogism to Rules of Conclusive Syllogisms with Indefinite Terms
A Cut-Free Gentzen Formulation of Basic Propositional Calculus
Linguistic Databases, John Nerbonne, ed
PGF: A Portable Run-time Format for Type-theoretical Grammars
Substructural Logics with Mingle
Diversification of Object-Languages for Propositional Logics
Jaakko Hintikka, The Principles of Mathematics Revisited
Dialogue Systems as Proof Editors
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power
Complexity of the Two-Variable Fragment with Counting Quantifiers
Logic Reduced To Bare (Proof-Theoretical) Bones
Anaphoric Conservativity
Introduction to the Special Issue on the Mathematics of Language
Formal Models for Real People
Choice revision
The Fall of "Adams' Thesis"?
On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms
AGM Contraction and Revision of Rules
Speaking about Transitive Frames in Propositional Languages
How Diagrams Can Support Syllogistic Reasoning: An Experimental Study
Knowledge Condition Games
Automatic Ambiguity Resolution in Natural Language, Alexander Franz
Efficiency of Pregroups and the French Noun Phrase
The Complexity of Hybrid Logics over Equivalence Relations
A New Theory of Quantifiers and Term Connectives
Vector Space Semantics: A Model-Theoretic Analysis of Locative Prepositions
Truth Diagrams Versus Extant Notations for Propositional Logic
On the Logical Philosophy of Assertive Graphs
Scope control and grammatical dependencies
A Theory of Hierarchical Consequence and Conditionals
Factive Presuppositions, Accommodation and Information Structure
A Calculus for First Order Discourse Representation Structures
Syllogistic Logic with Comparative Adjectives
Editorial: Cognitive Actions in Focus
Language-Theoretic and Finite Relation Models for the (Full) Lambek Calculus
A Substructural Approach to Explicit Modal Logic
Iterated AGM Revision Based on Probability Revision
Combinations of Stit and Actions
Partly Free Semantics for Some Anderson-Like Ontological Proofs
NL λ as the Logic of Scope and Movement
The Situation Calculus: A Case for Modal Logic
Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics
Effective Logic Computation, Klaus Truemper
The Relationship between KLM and MAK models for Nonmonotonic Inference Operations
Semantics as a Foundation for Psychology: A Case Study of Wason's Selection Task
Ambiguous Discourse in a Compositional Context. An Operational Perspective
Interpretation of Hybrid Counterfactual Logic into Hybrid Tense Logic: and Comparison of Their Expressive Power on Temporal Sphere Models
Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood
Relevant Answers to WH-Questions
Information Flow: The Logic of Distributed Systems, Jon Barwise and Jerry Seligman
Formal Models of Awareness
Logical models of mathematical texts II: Legality conventions for division by zero in inconsistent contexts
Chaos in game dynamics
On the (Complete) Reasons Behind Decisions
On structural parallelism in formal music semantics
Elementary Definability and Completeness in General and Positive Modal Logic
Editorial: Modal Logic and Dynamic Semantics
Refined Epistemic Entrenchment
Conditional Probability Meets Update Logic
Paraconsistency and Plausible Argumentation in Generative Grammar: A Case Study
Entrenchment versus Dependence: Coherence and Foundations inBelief Change
Natural Language Semantics and Computability
Strengthening Brady's Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators
Categorial Inference and Modal Logic
Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents
L. Csirmaz, D. Gabbay, M. de Rijke, eds., Logic Colloquium '92, Studies in Logic Language, and Information
Querying Linguistic Trees
A Refinement of de Bruijn's Formal Language of Mathematics
The LOGIDATA+ Model
Incremental Vocabulary Extensions in Text Understanding Systems
LILOG-DB: Database Support for Knowledge Based Systems
Attribute Description Formalisms ... and the Rest of the World
The LOGIDATA+ Prototype System
The Language STUF
Modeling Semantic Interity Contraints in Object-Oriented Database Schemas
Solving Pseudo-Boolean Constraints
The Formulator
Bridging Objects with Logical Rules: Towards Object Oriented Deductive Databases
The Decomposition Property of Non-Deterministic Databases
On Representing the Temporal Structure of Texts
Applying OOAD in the Design and Implementation of an Intelligent Geographic Information System
Document Allocation In Multiprocessor Information Retrieval Systems
A Flexible Parser for a Linguistic Development Environment
Prototypes in the LOGIDATA+ Project
COMPOSE: A System For Composite Specification And Detection
The Architecture of an Object Base Environment for Simulation
Verb Order and Head Movement
Taxonomic Reasoning in LOGIDATA+
Deductive Aspects of Three-Valued Logic
The Trace of Building a Large AI System
Introducing LILOG
Knowledge Packets and Knowledge Packet Structure
Efficient Parallel Recovery in Replicated Databases
Interval Constraint Logic Programming
Why a Hill Can't be a Valley: Representing Gestalt and Position Properties of Objects with Object Schemata
Sortal Information in Lexical Concepts
Towards Flexible Distributed Information Retrieval
Constraints in Term Algebras: An Overview of Constraint Solving Techniques
Effective Implementation of Negation in Database Logic Query Languages
A Relational Model and SQL-like Query Language for Spatial Databases
Travel Agency: A LOGIDATA+ Application
The STUF Workbench
The Bermuda Triangle: Natural Language Semantics Between Linguistics, Knowledge Representation, and Knowledge Processing
Linear Constraint Solving in CLP-Languages
The Text Understanding System LEU/2
On the Use of Constraints in Automated Deduction
Abstract Interpretation and Finite Domain Symbolic Constraints
Unification-ID/LP Grammars: Formalization and Parsing
An Architecture for Cooperating Constraint Solvers on Reals
Management of Extended Update Operations
The LILOG Inference Engine
An Object-Oriented Knowledge Model for KBMS-supported Evolutioinary Prototyping of Software Systems
Processing of Spatial Expressions in LILOG
LOA: The LOGIDATA+ Object Algebra
Constructing a Context for LEU/2
Anaphora and Domain Restriction
The LOGIDATA+ Language and Semantics
Verbs of Motion and Position: On the Optionality of the Local Argument
Transition From A Relation To Object Model Implementation
Chart-Parsing of STUF Grammars
Multimedia Database Systems
A Temporal Query Language For A Conceptual Model
MOOD*: An Architecture for Object Oriented Access to a Relational Data Base
Taxonomic Reasoning with Cycles in LOGIDATA+
The Background Knowledge of the LILOG System
Imagining CLP(A, equiv alpha beta)
Introducing Taxonomic Reasoning in LOGIDATA+
FEMUS: A Federated Multilingual Database System
Modules in Logic Programming: A Framework for Knowledge Management
The Definition of Kernel Oz
A Knowledge Engineering Environment for LILOG
A Data Model for Time-Series Analysis
Text Understanding - The Challenges to Come
Amalgame: A Tool for Creating Interoperating, Persistent, Heterogeneous Components
Access Control in Object-Oriented Database Systems - Some Approaches and Issues
Indexical Databases
LOGIDATA+: Overview
from Knowledge Structures to Text Structures
Concurrency and Concurrent Constraint Programming
Presupposition, Anaphora, and Lexical Content
Morphological Processing in the Two-Level Paradigm
Gap-Handling Mechanisma In Categorial Grammars
Communication and Synchronization Issues in Distributed Multimedia Database Systems
Representing Word Meanings
A Formalism for Natural Language - STUF
Phenomena of Localization
Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages
Advanced Database Systems
The LILOG Ontology from a Linguistic Point of View
An Alternative Phrase Structure Account of Symmetric Coordination
The Knowledge Representation Language L-LILOG
Object-Oriented Representation of Depictions on the Basis of Cell Matrices
Toupie: a Constraint Language for Model Checking
Knowledge Based Control of the LILOG Inference Engine: Kinds of Metaknowledge
The Grammars of LILOG
Outlines of LEU/2 Lexicology
Evaluation of Negative Logic Programs
Knowledge Engineering in the Context of Related Fields of Research
Integrating a Generation Component into a Natural Language Understanding System
Correctness and Enforcement of Multidatabase Interdependencies
Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers
Enhancing the Constraint-Solving Power of CLP(FD) by Means of Path-Consistency Methods
Managing Lexical Knowledge in LEU/2
The Treatment of Plurality in L-LILOG
Text Understanding in LILOG, Integrating Computational Linguistics and Artificial Intelligence, Final Report on the IBM Germany LILOG-Project
Cybsersecurity Issues in Robotics
A Server-Aided Computation Protocol Revisited for Confidentiality of Cloud Service
Guest Editorial: Advances in Applied Security
Partial Paving Strategy: Application to optimize the Area Coverage Problem in Mobile Wireless Sensor Networks
Privacy-Preserving Analysis for Remote Video Anomaly Detection in Real Life Environments
Designing Energy-Efficient Wireless Language Learning Platforms for Remote Education
Constructing a Secure Point-to-Point Wireless Environment by Integrating Diffie-Hellman PKDS RSA and Stream Ciphering for Users Known to Each Other
A Belief Rule Based Expert System to Predict Earthquake under Uncertainty
The Electronic Cash Protocol Based on Dynamic Group Signature
Intelligent Agriculture Through Cognitive IoT: A WSN-Based Congestion Control Approach
An Optimized and Cost - Effective Resource Management Model for Multi - Tier 5G Wireless Mobile Networks
Congestion-aware Weighted Sum Routing for Enhanced Network Lifetime in Cognitive Radio Sensor Networks
Open-Source Android App Detection considering the Effects of Code Obfuscation
A Novel Video-on-Demand Caching Scheme using Hybrid Fuzzy Logic Least Frequency and Recently Used with Support Vector Machine
𝑃c𝜀𝜅max-Means++: Adapt-𝑃 Driven by Energy and Distance Quality Probabilities Based on 𝜅-Means++ for the Stable Election Protocol (SEP)
Intrusion Detection System Using Chaotic Walrus Optimization-based Convolutional Echo State Networks for IoT-assisted Wireless Sensor Networks
Efficient variant of Rainbow using sparse secret keys
Implementing Ubiquitous Computing for Remote Monitoring of Marine Infrastructure in Harsh Environments
Enhancing SVO Logic for Mobile IPv6 Security Protocols
Towards Detecting and Classifying Malicious URLs Using Deep Learning
Enhanced Tomato Leaf Disease Detection Using Inception V3 With Dual Attention Mechanisms
An Innovative Approach for the Management of Cross-Coupling Interference in Street Lighting Networks
Optimizing Deep Learning Algorithm for Tears Sensor Data Analysis: An Algorithmic Analysis
Design of Intelligent Protection and Promotion System for Non-Heritage Music Inheritance based on Internet of Things
An Analytical Approach to Using and Implementing Beacons: Opportunities and Challenges
Assessment of Sustainable Transportation Model Using Energy-Efficient Algorithm