• 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 28 matches

• 2023
• 
  Debarun Bhattacharjya, Oktie Hassanzadeh, Ronny Luss, Keerthiram Murugesan:
  Probabilistic Rule Induction from Event Sequences with Logical Summary Markov Models. IJCAI 2023: 5667-5675
• 
  Jiacheng Xu, Chao Chen, Fuxiang Zhang, Lei Yuan, Zongzhang Zhang, Yang Yu:
  Internal Logical Induction for Pixel-Symbolic Reinforcement Learning. KDD 2023: 2825-2837
• 2021
• 
  Nuria Brede, Hugo Herbelin:
  On the logical structure of choice and bar induction principles. LICS 2021: 1-13
• 
  Nuria Brede, Hugo Herbelin:
  On the logical structure of choice and bar induction principles. CoRR abs/2105.08951 (2021)
• 2020
• 
  Mayukh Das, Nandini Ramanan, Janardhan Rao Doppa, Sriraam Natarajan:
  Few-Shot Induction of Generalized Logical Concepts via Human Guidance. Frontiers Robotics AI 7: 122 (2020)
• 2019
• 
  Mayukh Das, Nandini Ramanan, Janardhan Rao Doppa, Sriraam Natarajan:
  One-Shot Induction of Generalized Logical Concepts via Human Guidance. CoRR abs/1912.07060 (2019)
• 2018
• 
  Andres Campero, Aldo Pareja, Tim Klinger, Josh Tenenbaum, Sebastian Riedel:
  Logical Rule Induction and Theory Learning Using Neural Theorem Proving. CoRR abs/1809.02193 (2018)
• 2017
• 
  Wang-Zhou Dai, Zhi-Hua Zhou:
  Combining Logical Abduction and Statistical Induction: Discovering Written Primitives with Human Knowledge. AAAI 2017: 4392-4398
• 2016
• 
  Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch, Nate Soares, Jessica Taylor:
  Logical Induction. CoRR abs/1609.03543 (2016)
• 
  Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch, Nate Soares, Jessica Taylor:
  Logical Induction. Electron. Colloquium Comput. Complex. TR16 (2016)
• 2012
• 
  Vladik Kreinovich:
  Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity. Correct Reasoning 2012: 390-404
• 2011
• 
  Sean A. Fulop:
  Erratum to: Grammar Induction by Unification of Type-logical Lexicons. J. Log. Lang. Inf. 20(1): 135-136 (2011)
• 
  Renjie Yang, Min Tang:
  Bayesianism, Elimination Induction and Logical Reliability. LORI 2011: 396-397
• 2010
• 
  Sean A. Fulop:
  Grammar Induction by Unification of Type-logical Lexicons. J. Log. Lang. Inf. 19(3): 353-381 (2010)
• 
  Santiago Ontañón, Pilar Dellunde, Lluís Godo, Enric Plaza:
  Towards a Logical Model of Induction from Examples and Communication. CCIA 2010: 259-268
• 
  Alejandro Guerra-Hernández, Carlos Alberto González-Alarcón, Amal El Fallah Seghrouchni:
  Jason Induction of Logical Decision Trees: A Learning Library and Its Application to Commitment. MICAI (1) 2010: 374-385
• 2009
• 
  Chiaki Sakama, Katsumi Inoue:
  Brave induction: a logical framework for learning from incomplete information. Mach. Learn. 76(1): 3-35 (2009)
• 2007
• 
  Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue:
  Towards a Logical Reconstruction of CF-Induction. JSAI 2007: 330-343
• 
  Oliver Schulte:
  Logically Reliable Inductive Inference. Induction, Algorithmic Learning Theory, and Philosophy 2007: 157-178
• 2004
• 
  Dominic Widdows, Michael Higgins:
  Geometric Ordering of Concepts, Logical Disjunction, and Learning by Induction. AAAI Technical Report (3) 2004: 82-
• 2002
• 
  Samir Chopra, Eric Martin:
  Generalized Logical Consequence: Making Room for Induction in the Logic of Science. J. Philos. Log. 31(3): 245-280 (2002)
• 
  Michael Moortgat, Richard Moot:
  Using the Spoken Dutch Corpus for type-logical grammar induction. LREC 2002
• 2001
• 
  Stanislav Klimenko, Vladimir Rykov:
  Logical induction and deduction as principles of knowledge domain reflection in the corpus of texts. SMC 2001: 2890-2892
• 1999
• 
  Hendrik Blockeel:
  Top-Down Induction of First Order Logical Decision Trees. AI Commun. 12(1-2): 119-120 (1999)
• 
  Koichi Furukawa:
  From Deduction to Induction: Logical Perspective. The Logic Programming Paradigm 1999: 347-354
• 1998
• 
  Hendrik Blockeel, Luc De Raedt:
  Top-Down Induction of First-Order Logical Decision Trees. Artif. Intell. 101(1-2): 285-297 (1998)
• 1995
• 
  John C. Shepherdson:
  W. S. Jevons: his Logical Machine and Work Induction and Boolean Algebra. Machine Intelligence 15 1995: 489-505
• 1994
• 
  Hua Yang, Nabil El-Sherif, Nidal Isber, Mark Restivo:
  A logical state model of circus movement atrial flutter. Role of anatomic obstacles, anisotropic conduction and slow conduction zones on induction, sustenance, and overdrive paced modulation of reentrant circuits. IEEE Trans. Biomed. Eng. 41(6): 537-548 (1994)