Search

Your search keyword '"*FIRST-order logic"' showing total 6,947 results

Search Constraints

Start Over You searched for: Descriptor "*FIRST-order logic" Remove constraint Descriptor: "*FIRST-order logic"
6,947 results on '"*FIRST-order logic"'

Search Results

1. Twin-Width IV: Ordered Graphs and Matrices.

2. Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler--Lehman Refinement Steps.

Catalog

Books, media, physical & digital resources

3. The Structure of Paradoxes in a Logic of Sentential Operators.

4. Investigations into Proof Structures.

5. Discrepancy and sparsity.

6. 策略动态组合优化多元演绎算法及应用.

7. Recommender systems based on neuro-symbolic knowledge graph embeddings encoding first-order logic rules.

8. Material dialogues for first-order logic in constructive type theory: extended version.

9. A simple continuous theory.

10. Truth and Finite Conjunction.

11. What is Logical Consequence?

12. Explicit Abstract Objects in Predicative Settings.

13. An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic.

14. Carnap's Problem, Definability and Compositionality.

15. First-order logic with metric betweenness – the case of non-definability of some graph classes

16. FIRST-ORDER RELEVANT REASONERS IN CLASSICAL WORLDS.

17. FORMAL LOGIC, INFORMAL REASONING, AND THEIR DISPUTABLE RELEVANCE.

18. A recently recurring mistake over Russell's theory of descriptions.

19. On Wittgenstein's Dispensation with " = " in the Tractatus and its Philosophical Background. A Critical Study.

20. Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL.

21. LK-IB: a hybrid framework with legal knowledge injection for compulsory measure prediction.

22. Arithmetic is Necessary.

23. Modelling Afthairetic Modality.

24. Quantified Modal Logics: One Approach to Rule (Almost) them All!

25. One Variable Relevant Logics are S5ish.

26. The first-order theory of binary overlap-free words is decidable.

27. ON TESTABILITY OF FIRST-ORDER PROPERTIES IN BOUNDED-DEGREE GRAPHS AND CONNECTIONS TO PROXIMITY-OBLIVIOUS TESTING.

28. Learning explanatory logical rules in non-linear domains: a neuro-symbolic approach.

29. Fundamental Logic Is Decidable.

30. The approach to AI emergence from the standpoint of future contingents.

33. Formally Expressing What a Program Should Do: The ACSL Language

34. Formal Proof of Meta-Theorem in First-Order Logic in Coq

36. A Decision Method for First-Order Stream Logic

37. On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus

40. Enhancing Rule Learning on Knowledge Graphs Through Joint Ontology and Instance Guidance

42. Formalizzazione del Quadrato Aristotelico.

43. A SYNTACTIC PROOF OF THE DECIDABILITY OF FIRST-ORDER MONADIC LOGIC.

44. Counterpart Theory and Actuality.

45. First-Order Logic with Adverbs.

46. FORBIDDEN INDUCED SUBGRAPHS AND THE ŁOŚ–TARSKI THEOREM.

47. Systems approaches to public service delivery: methods and frameworks.

48. ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS.

49. CATEGORICAL QUANTIFICATION.

50. Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.