4987 search results - page 7 / 998 » Support Ordered Resolution |
TIME
2003
IEEE
15 years 2 months ago
2003
IEEE
101
click to vote
TABLEAUX
2000
Springer
15 years 1 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
61
Voted
EJC
1998
14 years 9 months ago
1998
JAR
2011
14 years 4 months ago
2011
ODR
2008
14 years 11 months ago
2008
Current approaches for the design of Online Dispute Resolution (ODR) systems involve the replication of Alternative Dispute Resolution practices such as mediation and negotiation. ...