Search

Your search keyword '"*FIRST-order logic"' showing total 133 results

Search Constraints

Start Over You searched for: Descriptor "*FIRST-order logic" Remove constraint Descriptor: "*FIRST-order logic" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
133 results on '"*FIRST-order logic"'

Search Results

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

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

6. A Decision Method for First-Order Stream Logic

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

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

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

17. An Isabelle/HOL Formalization of the SCL(FOL) Calculus

18. The Path to Autonomous Learners

20. Universal First-Order Quantification over Automata

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

29. From Paradox to Truth : An Introduction to Self-reference in Formal Language

30. First-order separation over countable ordinals

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

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