• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 624 matches

• 2024
• 
  Xiaofeng Jiang, Mohd Shareduwan Mohd Kasihmuddin, Yueling Guo, Yuan Gao, Mohd. Asyraf Mansor, Nur Ezlin Zamri, Muhammad Fadhil Marsani:
  J-type random 2, 3 satisfiability: a higher-order logical rule in discrete hopfield neural network. Evol. Intell. 17(5): 3317-3336 (2024)
• 
  Andrew Bacon:
  Mathematical Modality: An Investigation in Higher-order Logic. J. Philos. Log. 53(1): 131-179 (2024)
• 
  Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal:
  Asynchronous Probabilistic Couplings in Higher-Order Separation Logic. Proc. ACM Program. Lang. 8(POPL): 753-784 (2024)
• 
  Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, Lars Birkedal:
  Tachis: Higher-Order Separation Logic with Credits for Expected Costs. Proc. ACM Program. Lang. 8(OOPSLA2): 1189-1218 (2024)
• 
  Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers:
  Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing. Proc. ACM Program. Lang. 8(POPL): 1385-1417 (2024)
• 
  Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal:
  Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement. Proc. ACM Program. Lang. 8(POPL): 241-272 (2024)
• 
  Smriti Srivastava, Rajesh Kumar:
  Design and application of a novel higher-order type-n fuzzy-logic-based system for controlling the steering angle of a vehicle: a soft computing approach. Soft Comput. 28(6): 4743-4758 (2024)
• 
  Darius Foo, Yahui Song, Wei-Ngan Chin:
  Staged Specification Logic for Verifying Higher-Order Imperative Programs. FM (1) 2024: 501-518
• 
  Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat:
  Logical Predicates in Higher-Order Mathematical Operational Semantics. FoSSaCS (2) 2024: 47-69
• 
  Céline Hocquette, Sebastijan Dumancic, Andrew Cropper:
  Learning Logic Programs by Discovering Higher-Order Abstractions. IJCAI 2024: 3421-3429
• 
  Johannes Niederhauser, Chad E. Brown, Cezary Kaliszyk:
  Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic. IJCAR (1) 2024: 86-104
• 
  Marco Maggesi, Cosimo Perini Brogi:
  Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic. ISoLA (2) 2024: 297-315
• 
  Daniel Ranalter, Chad E. Brown, Cezary Kaliszyk:
  Experiments with Choice in Dependently-Typed Higher-Order Logic. LPAR 2024: 311-320
• 
  Adam Dingle:
  A Natural-Language Proof Assistant for Higher-Order Logic (Work in Progress). PAAR+SC²@IJCAR 2024: 57-73
• 
  Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat:
  Logical Predicates in Higher-Order Mathematical Operational Semantics. CoRR abs/2401.05872 (2024)
• 
  Thomas Traversié:
  Kuroda's Translation for Higher-Order Logic. CoRR abs/2404.19503 (2024)
• 
  Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, Lars Birkedal:
  Tachis: Higher-Order Separation Logic with Credits for Expected Costs. CoRR abs/2405.20083 (2024)
• 
  Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci, Panos Rondogiannis:
  The Stable Model Semantics for Higher-Order Logic Programming. CoRR abs/2408.10563 (2024)
• 
  Daniel Ranalter, Chad E. Brown, Cezary Kaliszyk:
  Experiments with Choice in Dependently-Typed Higher-Order Logic. CoRR abs/2410.08874 (2024)
• 
  Johannes Niederhauser, Chad E. Brown, Cezary Kaliszyk:
  Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version). CoRR abs/2410.14232 (2024)
• 2023
• 
  Anders Schlichtkrull:
  Soundness of the Q0 proof system for higher-order logic. Arch. Formal Proofs 2023 (2023)
• 
  Anil Kumar Nishad, Gunjan Aggarwal, Abhishekh:
  Hesitant fuzzy time series forecasting model of higher order based on one and two-factor aggregate logical relationship. Eng. Appl. Artif. Intell. 126: 106897 (2023)
• 
  Abel Jansma:
  Higher-Order Interactions and Their Duals Reveal Synergy and Logical Dependence beyond Shannon-Information. Entropy 25(4): 648 (2023)
• 
  Sylvie Doutre, Marie-Christine Lagasquie-Schiex:
  RAFDivider : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks. J. Appl. Non Class. Logics 33(3-4): 244-297 (2023)
• 
  Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic:
  Superposition for Higher-Order Logic. J. Autom. Reason. 67(1): 10 (2023)
• 
  Cezary Kaliszyk, Karol Pak:
  Combining Higher-Order Logic with Set Theory Formalizations. J. Autom. Reason. 67(2): 20 (2023)
• 
  Nur 'Afifah Rusdi, Mohd Shareduwan Mohd Kasihmuddin, Nurul Atiqah Romli, Gaeithry Manoharam, Mohd. Asyraf Mansor:
  Multi-unit Discrete Hopfield Neural Network for higher order supervised learning through logic mining: Optimal performance design and attribute selection. J. King Saud Univ. Comput. Inf. Sci. 35(5): 101554 (2023)
• 
  Marie-Christine Lagasquie-Schiex:
  Handling support cycles and collective interactions in the logical encoding of higher-order bipolar argumentation frameworks. J. Log. Comput. 33(2): 289-318 (2023)
• 
  Andrei Popescu, Dmitriy Traytel:
  Admissible Types-to-PERs Relativization in Higher-Order Logic. Proc. ACM Program. Lang. 7(POPL): 1214-1245 (2023)
• 
  Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato:
  Program logic for higher-order probabilistic programs in Isabelle/HOL. Sci. Comput. Program. 230: 102993 (2023)

skipping 594 more matches