CTL-RP: A computation tree logic resolution prover.
- Published in:
- AI Communications, 2010, v. 23, n. 2/3, p. 111, doi. 10.3233/AIC-2010-0463
- By:
- Publication type:
- Article
Works matching IS 09217126 AND DT 2010 AND VI 23 AND IP 2/3
Results: 12
1
2
Automated theorem proving in quasigroup and loop theory.
- Published in:
- AI Communications, 2010, v. 23, n. 2/3, p. 267, doi. 10.3233/AIC-2010-0460
- By:
- Publication type:
- Article
3
Practical algorithms for unsatisfiability proof and core generation in SAT solvers.
- Published in:
- AI Communications, 2010, v. 23, n. 2/3, p. 145, doi. 10.3233/AIC-2010-0462
- By:
- Publication type:
- Article
4
Special issue on practical aspects of automated reasoning.
- Published in:
- AI Communications, 2010, v. 23, n. 2/3, p. 67, doi. 10.3233/AIC-2010-0455
- By:
- Publication type:
- Article
5
Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic 𝒮ℋ𝒬.
- Published in:
- AI Communications, 2010, v. 23, n. 2/3, p. 205, doi. 10.3233/AIC-2010-0456
- By:
- Publication type:
- Article
6
Subterm contextual rewriting.
- Published in:
- AI Communications, 2010, v. 23, n. 2/3, p. 97, doi. 10.3233/AIC-2010-0459
- By:
- Publication type:
- Article
7
An application of automated reasoning in natural language question answering.
- Published in:
- AI Communications, 2010, v. 23, n. 2/3, p. 241, doi. 10.3233/AIC-2010-0461
- By:
- Publication type:
- Article
8
Implementing a fair monodic temporal logic prover.
- Published in:
- AI Communications, 2010, v. 23, n. 2/3, p. 69, doi. 10.3233/AIC-2010-0457
- By:
- Publication type:
- Article
9
SOLAR: An automated deduction system for consequence finding.
- Published in:
- AI Communications, 2010, v. 23, n. 2/3, p. 183, doi. 10.3233/AIC-2010-0465
- By:
- Publication type:
- Article
10
Restricting backtracking in connection calculi.
- Published in:
- AI Communications, 2010, v. 23, n. 2/3, p. 159, doi. 10.3233/AIC-2010-0464
- By:
- Publication type:
- Article
11
Large theory reasoning with SUMO at CASC.
- Published in:
- AI Communications, 2010, v. 23, n. 2/3, p. 137, doi. 10.3233/AIC-2010-0466
- By:
- Publication type:
- Article
12
Interactive verification of concurrent systems using symbolic execution.
- Published in:
- AI Communications, 2010, v. 23, n. 2/3, p. 285, doi. 10.3233/AIC-2010-0458
- By:
- Publication type:
- Article