first-order-logic

19 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to add temporal variables to first-order logic formulas?
user_175888220
•
2
0
83
first-order-logic prolog nlp
Z3: is Nonlinear integer arithmetic undecidable or semi-decidable
user_140823850
•
2
1
147
decidable theorem-proving z3py z3 first-order-logic
How to solve first order ODE equations of motion with given init
user_168641580
•
1
0
63
eclipse-kepler newtons-method runge-kutta first-order-logic python
Z3 cannot check equivalence of two formulae
user_140823850
•
2
1
122
quantifiers z3py z3 first-order-logic python
Calling Z3 as black box from Ocaml
user_140823850
•
2
1
65
satisfiability z3 first-order-logic formal-verification ocaml
Solving predicate calculus problems with Z3 SMT
user_7854940
•
5
2
381
alloy smt z3 first-order-logic predicate
Are function symbols allowed in rule engines / Rete algorithm?
user_19371970
•
4
2
191
rete first-order-logic rule-engine artificial-intelligence
How can I construct terms in first-order logic using Coq?
user_146048600
•
2
1
193
coq first-order-logic
Prolog implementation of Beckert & Posegga's algorithm
Admin1
•
2
3
231
first-order-logic prolog
Why there is binary formula (thf_binary_formula) in the parse tree of TPTP (Thousand Problems...) formula?
user_13758820
•
1
1
42
antlr4 first-order-logic logic artificial-intelligence parsing
Hot Questions