| .vscode |
| A Prolog application for reasoning on maths puzzles with diagrams_files |
| jmc |
| 003.pdf | May 26, 2023, 8:25:19 PM | 294.26 KiB | |
| 021.pdf | May 28, 2023, 11:51:48 PM | 455.85 KiB | |
| 07_CHC_LIA.pdf | May 26, 2023, 8:20:47 PM | 18.34 MiB | |
| 10.1.1.50.7024.pdf | Jun 16, 2023, 11:31:09 AM | 161.50 KiB | |
| 10.1.1.50.7024.txt | Jun 16, 2023, 11:31:09 AM | 31.97 KiB | |
| 10.1.1.97.2353.pdf | Jun 16, 2023, 11:31:09 AM | 313.90 KiB | |
| 10.1.1.97.2353.txt | Jun 16, 2023, 11:31:09 AM | 35.35 KiB | |
| 10.1177@1073858420941528.pdf | Oct 10, 2022, 11:02:04 PM | 1.96 MiB | |
| 10.1515_pjbr-2017-0003.pdf | Sep 4, 2022, 6:14:02 AM | 1.59 MiB | |
| 1002756.pdf | Oct 30, 2022, 1:18:18 PM | 805.11 KiB | |
| 1093635589.pdf | Aug 5, 2022, 11:06:10 AM | 1.81 MiB | |
| 1093635592.pdf | Aug 5, 2022, 11:07:19 AM | 440.62 KiB | |
| 145456851011.22.1.pdf | Nov 8, 2022, 5:07:17 AM | 512.56 KiB | |
| 19880014812.pdf | Sep 21, 2022, 9:23:00 PM | 292.79 KiB | |
| 20220824.pdf | Aug 28, 2022, 4:09:22 AM | 31.77 KiB | |
| 2022pasp_parameter_learning_presentation.pdf | Sep 28, 2022, 4:57:02 AM | 223.78 KiB | |
| 20475-Article Text-24488-1-2-20220628.pdf | Oct 30, 2022, 11:24:35 PM | 17.89 MiB | |
| 2206.06986.pdf | May 26, 2023, 7:39:31 PM | 2.94 MiB | |
| 2305.05064v1.pdf | May 26, 2023, 8:20:22 PM | 301.23 KiB | |
| 332699923427-4533628139-registration.pdf | Sep 11, 2022, 7:42:38 PM | 78.90 KiB | |
| 332699923427-4533628139-registration2.pdf | Sep 11, 2022, 7:43:11 PM | 78.90 KiB | |
| 450.pdf | May 26, 2023, 8:19:21 PM | 448.53 KiB | |
| 81147287.pdf | May 26, 2023, 7:43:52 PM | 1.89 MiB | |
| 9781680838374-summary.pdf | Jul 11, 2022, 11:00:16 PM | 1.23 MiB | |
| 978-3-540-24664-0_17.pdf | May 29, 2023, 6:31:33 AM | 74.64 KiB | |
| 981344.981351.pdf | Jun 16, 2023, 11:31:09 AM | 804.20 KiB | |
| 981344.981351.txt | Jun 16, 2023, 11:31:09 AM | 37.43 KiB | |
| A_1022652016863.pdf | May 24, 2023, 4:41:54 PM | 2.60 MiB | |
| A_CCG-based_Compositional_Semantics_and_Inference_.pdf | Aug 30, 2022, 12:58:22 AM | 232.30 KiB | |
| A_General_Similarity_Framework_for_Horn_Clause_Log.pdf | May 26, 2023, 7:38:09 PM | 280.25 KiB | |
| A_Generalization_of_the_Least_General_Generalizati.pdf | Mar 25, 2023, 5:04:31 PM | 302.59 KiB | |
| A_logic_of_categorization.pdf | Dec 24, 2022, 4:28:49 AM | 135.63 KiB | |
| A_relational_approach_to_plane_based_obj.pdf | Jun 9, 2022, 2:31:39 AM | 256.59 KiB | |
| AbsoluteModeEngine.pdf | Jan 26, 2023, 5:09:59 PM | 90.04 KiB | |
| Affective_affordances_Improving_interfac.pdf | Sep 4, 2022, 10:02:47 AM | 344.98 KiB | |
| ai-dsl-techrep-2021-05_may.pdf | Apr 14, 2022, 12:24:25 PM | 1.10 MiB | |
| akimoto2018.pdf | Apr 2, 2022, 8:09:34 PM | 781.04 KiB | |
| ali-clnl92-small-disj.pdf | May 26, 2023, 7:37:56 PM | 173.83 KiB | |
| amstel-poesio.pdf | Jun 16, 2023, 11:31:09 AM | 12.10 MiB | |
| amstel-poesio.txt | Jun 16, 2023, 11:31:09 AM | 39.12 KiB | |
| An_Introduction_to_the_Syntax_and_Content_of_Cyc.pdf | Sep 18, 2022, 6:47:19 AM | 92.53 KiB | |
| a-new-technique-to-handle-local-minimum-for-imperfect-potential-.pdf | Apr 27, 2022, 9:31:43 AM | 645.99 KiB | |
| Antitonic_logic_programs.pdf | Apr 3, 2023, 7:27:02 PM | 25.92 MiB | |
| A Prolog application for reasoning on maths puzzles with diagrams.html | May 26, 2023, 8:33:51 PM | 863.85 KiB | |
| Article_LoT_GeometricShapes_preprint_v2.pdf | Nov 8, 2022, 5:07:42 AM | 1.77 MiB | |
| artigo-bica-journal.pdf | Sep 4, 2022, 6:12:01 AM | 4.04 MiB | |
| arXiv_2009.11564.pdf | May 26, 2023, 8:26:49 PM | 7.75 MiB | |
| At-Ease-with-Focus.pdf | Dec 21, 2022, 1:40:51 PM | 15.67 MiB | |
| BF01007461.pdf | May 26, 2023, 7:43:26 PM | 2.15 MiB | |
| bfb0020985.pdf | Jun 8, 2023, 3:21:15 AM | 251.50 KiB | |
| Boley_et_al_1995_COLAB.pdf | Mar 3, 2023, 4:27:52 PM | 4.57 MiB | |
| Bongard.Problems-Linhares-2000-Artificial_Intelligence.pdf | Aug 29, 2022, 12:43:21 AM | 296.87 KiB | |
| bridges2010.pdf | Apr 15, 2023, 7:23:12 PM | 623.04 KiB | |
| brugger2015.pdf | Mar 30, 2023, 11:05:28 AM | 447.44 KiB | |
| buildings-12-02213-v2.pdf | Dec 26, 2022, 6:26:58 AM | 6.78 MiB | |
| bundgaard2007.pdf | Apr 18, 2022, 6:40:03 AM | 168.91 KiB | |
| CH7_Machine Learning Algorithms in Prolog.pdf | May 24, 2023, 6:27:49 PM | 477.18 KiB | |
| cheng1985.pdf | Apr 16, 2022, 12:33:13 PM | 1.78 MiB | |
| COA-critiquer.pdf | Nov 12, 2022, 3:32:59 PM | 362.48 KiB | |
| Cogmic_space_for_narrative-based_world_representat.pdf | Mar 31, 2022, 7:54:37 AM | 1.33 MiB | |
| Combining_Event_Semantics_and_Degree_Semantics_for.pdf | May 25, 2023, 10:36:18 AM | 210.12 KiB | |
| conceptofground_abridged.pdf | Mar 20, 2022, 7:59:01 PM | 253.79 KiB | |
| csl93.pdf | May 26, 2023, 8:23:04 PM | 169.07 KiB | |
| csm1db-finaldissertation.doc | Jun 16, 2023, 11:31:09 AM | 2.14 MiB | |
| csm1db-finaldissertation.txt | Jun 16, 2023, 11:31:09 AM | 196.63 KiB | |
| CYC_Using_Common_Sense_Knowledge_to_Overcome_Britt.pdf | Aug 13, 2022, 1:49:58 PM | 3.63 MiB | |
| DEAM_Dialogue_Coherence_Evaluation_using_AMR-based.pdf | Oct 13, 2022, 6:21:08 AM | 1.63 MiB | |
| Deduction.pdf | Sep 13, 2022, 7:32:33 AM | 1.21 MiB | |
| Discourse_representation_structures_for_ace_60.pdf | Mar 31, 2023, 7:43:18 AM | 317.28 KiB | |
| Disentangling Embodied Cognition_ An Examination of the State Pr.pdf | Oct 4, 2022, 4:56:08 PM | 1.31 MiB | |
| dissertation.pdf | Jun 16, 2023, 11:31:09 AM | 1.44 MiB | |
| dissertation.txt | Jun 16, 2023, 11:31:09 AM | 536.02 KiB | |
| Early_connectionism_machines.pdf | Jul 28, 2022, 10:03:24 PM | 1.26 MiB | |
| Eduardo Morales_PhDThesis.pdf | May 26, 2023, 8:50:22 PM | 7.77 MiB | |
| Efficient_StreamArray_Processing_in_Logic_Programm.pdf | Mar 5, 2023, 3:14:16 PM | 1.03 MiB | |
| entropy-14-02100.pdf | Sep 7, 2022, 2:39:38 AM | 433.90 KiB | |
| Evans-R-2020-PhD-Thesis.pdf | Sep 11, 2022, 7:53:33 PM | 3.55 MiB | |
| Experimental_Development_Of_A_Focalization_Mechani.pdf | Mar 31, 2022, 8:43:12 AM | 1.58 MiB | |
| Extending_clpFD_by_Negative_Constraint_Solving.pdf | Dec 6, 2022, 11:37:11 AM | 249.20 KiB | |
| Extending_partial_pro_drop_in_Modern_Heb.pdf | Mar 30, 2023, 6:58:13 PM | 3.03 MiB | |
| Fast_and_flexible_Human_program_inductio.pdf | Nov 22, 2022, 3:17:14 PM | 1.36 MiB | |
| Fifty_Years_of_Prolog_and_Beyond.pdf | Mar 24, 2023, 2:10:18 PM | 885.34 KiB | |
| fncom-13-00001.pdf | May 16, 2022, 1:21:16 AM | 3.74 MiB | |
| fnins-12-00424.pdf | Feb 15, 2023, 7:21:50 AM | 181.56 KiB | |
| formulog-oopsla2020.pdf | May 26, 2023, 8:22:31 PM | 427.00 KiB | |
| forte-mlj-94.pdf | May 26, 2023, 7:43:37 PM | 327.64 KiB | |
| foster2006.pdf | Aug 5, 2022, 12:40:13 PM | 1.52 MiB | |
| From_society_to_cells_and_back_again_new_opportuni.pdf | Apr 25, 2022, 8:52:41 AM | 545.06 KiB | |
| FULLTEXT01.pdf | May 28, 2023, 5:42:02 PM | 3.67 MiB | |
| FULLTEXT01(2).pdf | May 28, 2023, 5:46:14 PM | 3.67 MiB | |
| Full text of _New frontiers in artificial intelligence _ joint JSAI 2001 workshop post-proceedings_.html.txt | Jun 16, 2023, 11:31:09 AM | 1.23 MiB | |
| FY 21-23 Mt Hood CHNA.pdf | Dec 29, 2022, 7:03:14 PM | 6.73 MiB | |
| good_representation.pdf | Mar 8, 2023, 11:37:38 PM | 1.98 MiB | |
| grammar-induction.pdf | Apr 8, 2023, 9:15:03 PM | 477.95 KiB | |
| Handling_the_Dynamics_of_Norms_A_Knowled.pdf | Dec 23, 2022, 10:37:36 AM | 113.85 KiB | |
| hornspec.pdf | May 26, 2023, 7:42:33 PM | 410.39 KiB | |
| iccbr11.pdf | Jun 16, 2023, 11:31:09 AM | 1.28 MiB | |
| iccbr11.txt | Jun 16, 2023, 11:31:09 AM | 41.67 KiB | |
| ICL-Beyond.pdf | Nov 9, 2022, 9:00:26 AM | 210.35 KiB | |
| ID3_decision_tree-_splicing.png | May 24, 2023, 4:49:03 PM | 203.76 KiB | |
| IJCLR_2022.pdf | Sep 28, 2022, 4:56:28 AM | 245.76 KiB | |
| ijerph-19-00386-v2.pdf | Jul 9, 2022, 12:10:17 AM | 353.17 KiB | |
| ilp98-nj.pdf | May 26, 2023, 8:20:36 PM | 643.67 KiB | |
| Inductive_Inference_of_Prolog_Programs_with_Linear.pdf | Oct 3, 2022, 3:56:40 AM | 918.46 KiB | |
| J96-1002.pdf | May 26, 2023, 8:33:18 PM | 1.79 MiB | |
| jklann-dissertation-final0902.pdf | Feb 4, 2023, 2:55:09 PM | 8.36 MiB | |
| kamp75.pdf | Oct 11, 2022, 5:05:14 AM | 2.10 MiB | |
| KaplanRogersCharlesDarwincopy2.pdf | Jul 14, 2022, 10:45:28 PM | 10.48 MiB | |
| lapshin2012.pdf | Oct 6, 2022, 9:02:56 PM | 178.68 KiB | |
| Learning_the_Structure_of_Probabilistic_Logic_Prog.pdf | Mar 18, 2023, 7:21:21 AM | 329.51 KiB | |
| Lenat_EURISKO.pdf | Oct 8, 2022, 6:25:43 PM | 6.03 MiB | |
| li-cc11.pdf | Jun 16, 2023, 11:31:09 AM | 1.06 MiB | |
| li-cc11.txt | Jun 16, 2023, 11:31:09 AM | 55.07 KiB | |
| LNAI-Buch.pdf | Jun 8, 2023, 3:22:07 AM | 2.41 MiB | |
| Logic_Programming_from_NLP_to_NLU.pdf | Jan 17, 2023, 4:35:02 AM | 64.45 KiB | |
| logiciel.pdf | Mar 2, 2023, 4:24:11 AM | 11.47 MiB | |
| MAIN_sciffgen_KAIS.pdf | May 26, 2023, 8:31:44 PM | 1.65 MiB | |
| mcburney2006.pdf | Jun 16, 2023, 11:31:09 AM | 223.80 KiB | |
| mcburney2006.txt | Jun 16, 2023, 11:31:09 AM | 118.89 KiB | |
| MedellinGasqueAng_Aug2013_12673.pdf | Jun 16, 2023, 11:31:09 AM | 3.77 MiB | |
| MedellinGasqueAng_Aug2013_12673.txt | Jun 16, 2023, 11:31:09 AM | 449.84 KiB | |
| Mentalrepresentations.pdf | Mar 25, 2022, 8:28:17 AM | 655.19 KiB | |
| MentalRotation.pdf | Aug 9, 2022, 6:36:35 AM | 413.36 KiB | |
| metagraphs-and-their-applications-2007.pdf | Mar 2, 2023, 4:24:05 AM | 3.01 MiB | |
| metalearning-in-computational-intelligence-2011.pdf | Apr 28, 2022, 11:07:47 AM | 5.59 MiB | |
| ML_Lecture_11.ppt | May 22, 2023, 5:10:02 AM | 128.00 KiB | |
| ml-90-axaebl.ps | May 26, 2023, 8:42:52 PM | 135.15 KiB | |
| ml93-final.ps | May 22, 2023, 12:03:42 PM | 129.84 KiB | |
| Modeling_the_Synchronization_of_Multimodal_Percept.pdf | Aug 8, 2022, 6:24:11 PM | 4.80 MiB | |
| molder_martin.pdf | Apr 16, 2022, 11:21:34 AM | 2.11 MiB | |
| NA_PDP_SOB_BOOK_430_2022_NA2PDGSOB80274E_R.pdf | Jan 8, 2023, 3:47:08 AM | 3.04 MiB | |
| nanopdf.com_sketching-for-knowledge-capture.pdf | Mar 30, 2022, 5:53:10 PM | 1.42 MiB | |
| Natural Language Processing wit - Lewis Tunstall.pdf | Jun 5, 2022, 8:50:11 PM | 6.29 MiB | |
| nbjorner-yurifest.pdf | May 26, 2023, 8:30:36 PM | 420.02 KiB | |
| One_size_does_not_fit_all.pdf | Sep 1, 2022, 5:58:03 PM | 255.95 KiB | |
| Open_RuleBench_Detailed_Report.pdf | Sep 1, 2022, 9:23:23 PM | 335.19 KiB | |
| Overview_of_Inductive_Logic_Programming_ILP_System.pdf | Mar 24, 2023, 8:49:14 PM | 272.62 KiB | |
| paper.pdf | May 28, 2023, 5:39:00 PM | 2.92 MiB | |
| piantadosi2016.pdf | Nov 8, 2022, 5:28:01 AM | 487.76 KiB | |
| pnas.88.10.4433.pdf | Oct 29, 2022, 4:33:25 AM | 1.42 MiB | |
| Presentation_and_representation_in_art-Ontic_and_g.pdf | Apr 18, 2022, 7:53:02 AM | 301.66 KiB | |
| presentation-Repairing_Numerical_Equations_in_Analogically_Blended_Theories_Using_Reformation.pdf | Sep 28, 2022, 7:51:11 AM | 608.87 KiB | |
| radul 2009.pdf | Feb 19, 2023, 12:34:50 PM | 838.20 KiB | |
| REVISING HORN FORMULAS.pdf | May 26, 2023, 7:38:27 PM | 546.48 KiB | |
| riedl-aaai-ss09.pdf | Jun 16, 2023, 11:31:09 AM | 179.39 KiB | |
| riedl-aaai-ss09.txt | Jun 16, 2023, 11:31:09 AM | 20.43 KiB | |
| robotics-09-00092.pdf | Sep 4, 2022, 10:05:22 AM | 2.16 MiB | |
| RobotManipulation.pdf | Sep 16, 2022, 5:30:31 AM | 3.29 MiB | |
| Russell2010KanikJ.Cosmol51008_pdf.pdf | Apr 13, 2022, 8:06:41 AM | 1.37 MiB | |
| s10867-009-9148-x.pdf | May 17, 2023, 6:57:06 AM | 967.32 KiB | |
| sbg14.pdf | Jun 16, 2023, 11:31:09 AM | 1.06 MiB | |
| sbg14.txt | Jun 16, 2023, 11:31:09 AM | 44.13 KiB | |
| semdial2007_decalog_proceedings.pdf | Jun 16, 2023, 11:31:09 AM | 5.05 MiB | |
| semdial2007_decalog_proceedings.txt | Jun 16, 2023, 11:31:09 AM | 705.18 KiB | |
| s-kcogsci95.pdf | Oct 8, 2022, 6:18:45 PM | 228.97 KiB | |
| snet-service-assemblages.pdf | Nov 4, 2022, 7:14:59 AM | 99.13 KiB | |
| Sophisticated_Knowledge_Representation_and_Reasoni.pdf | Oct 2, 2022, 11:15:04 PM | 308.66 KiB | |
| Spatio-temporal Negotiation Protocols.pdf | May 26, 2023, 8:29:19 PM | 1.72 MiB | |
| Speech_Acts_Categoricity_and_the_Meaning.pdf | Sep 2, 2022, 1:48:04 AM | 193.15 KiB | |
| SWISH_SWI-Prolog_for_Sharing.pdf | Oct 29, 2022, 1:02:43 PM | 927.89 KiB | |
| swj138_2.pdf | Jun 16, 2023, 11:31:09 AM | 3.16 MiB | |
| swj138_2.txt | Jun 16, 2023, 11:31:09 AM | 242.18 KiB | |
| Three_computer-based_models_of_storytelling_BRUTUS.pdf | Jun 16, 2023, 11:31:09 AM | 655.42 KiB | |
| Three_computer-based_models_of_storytelling_BRUTUS.txt | Jun 16, 2023, 11:31:09 AM | 87.51 KiB | |
| TJBurnessMLittThesis1975_original_C.pdf | May 4, 2022, 9:18:21 AM | 12.71 MiB | |
| TOCfin6.fm_11-28-07.pdf | May 30, 2023, 1:57:49 PM | 24.94 KiB | |
| tools-for-adding-knowledge-to-the-cyc-lskb.pdf | Aug 13, 2022, 1:48:38 PM | 606.47 KiB | |
| Toward_Logic_Based_Cognitively_Robust_Sy.pdf | Sep 2, 2022, 1:38:53 AM | 272.40 KiB | |
| Towards_a_practical_model_to_facilitate_reasoning_.pdf | Feb 9, 2023, 7:13:10 AM | 4.66 MiB | |
| Towards_an_ML-Style_Polymorphic_Type_System_for_C.pdf | Oct 12, 2022, 4:02:57 AM | 754.59 KiB | |
| Types_and_Programming_Languages.pdf | Oct 12, 2022, 4:03:23 AM | 2.13 MiB | |
| UCAM-CL-TR-511.pdf | Feb 4, 2023, 1:18:08 PM | 1.88 MiB | |
| vdoc.pub_agent-oriented-programming-from-prolog-to-guarded-definite-clauses.pdf | Sep 12, 2022, 5:00:49 PM | 1.48 MiB | |
| vieillard-baron2008.pdf | Apr 5, 2023, 11:02:42 AM | 862.46 KiB | |
| View-centric_reasoning_for_Linda_and_Tuple_Space_c.pdf | Mar 29, 2023, 8:12:11 AM | 393.40 KiB | |
| WC_Classic_PDP_Clark_Oct_2022.pdf | Jan 8, 2023, 3:45:26 AM | 4.28 MiB | |
| woollett2011.pdf | Oct 10, 2022, 11:04:41 PM | 1.38 MiB | |
| xirogiannis2002.pdf | Apr 19, 2023, 5:42:26 AM | 1.64 MiB | |
|