133 results on '"*FIRST-order logic"'
Search Results
2. Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
3. Formally Expressing What a Program Should Do: The ACSL Language
4. Formal Proof of Meta-Theorem in First-Order Logic in Coq
5. A Comparison of Text Representation Techniques and Encoder-Decoder Implementations in a Deep Neural Network for Converting Natural Language into Formal Logic Formulas
6. A Decision Method for First-Order Stream Logic
7. On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus
8. Model Theory of Nonstandard Structures with Applications
9. First-Order Logic
10. Enhancing Rule Learning on Knowledge Graphs Through Joint Ontology and Instance Guidance
11. Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework
12. Measurement Theory Meets Mereology in Multidimensionality in Resemblance Nominalism
13. LGEM+: A First-Order Logic Framework for Automated Improvement of Metabolic Network Models Through Abduction
14. Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond
15. A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness
16. Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates
17. An Isabelle/HOL Formalization of the SCL(FOL) Calculus
18. The Path to Autonomous Learners
19. VizAR: Visualization of Automated Reasoning Proofs (System Description)
20. Universal First-Order Quantification over Automata
21. Compositionality
22. Theoretical Foundations of Terminology
23. ALASCA: Reasoning in Quantified Linear Arithmetic
24. A Categorical Aspect of the Analogy Between Quantifiers and Modalities
25. Contributions of Logical Analysis for Mathematics Education
26. KLM-Style Defeasibility for Restricted First-Order Logic
27. Material Dialogues for First-Order Logic in Constructive Type Theory
28. Mathematical Background: A Review
29. From Paradox to Truth : An Introduction to Self-reference in Formal Language
30. First-order separation over countable ordinals
31. First-Order Logic
32. Dynamic Reconfiguration via Typed Modalities
33. Business Processes Meet Spatial Concerns: The sBPMN Verification Framework
34. Automatically Extracting OWL Versions of FOL Ontologies
35. Logical Treatment of Incomplete/Uncertain Information Relying on Different Systems of Rough Sets
36. Heuristic Backward Chaining Based on Predicate Tensorization
37. First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words
38. Interval Methods for Solving Various Kinds of Quantified Nonlinear Problems
39. Demonstratives in First-Order Logic
40. Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages
41. Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates
42. Betweenness in Order-Theoretic Trees
43. A First-Order Logic with Frames
44. Logics for First-Order Team Properties
45. The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation
46. Transitivity and Equivalence in Decidable Fragments of First-Order Logic: A Survey
47. Conditions for Unnecessary Logical Constraints in Kernel Machines
48. GRUNGE: A Grand Unified ATP Challenge
49. Automatic Generation of Logical Models with AGES
50. VIAP 1.1 : (Competition Contribution)
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.