4987 search results - page 7 / 998 » Support Ordered Resolution |
126
Voted
TIME
2003
IEEE
15 years 9 months ago
2003
IEEE
151
Voted
TABLEAUX
2000
Springer
15 years 7 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 ...
101
Voted
EJC
1998
15 years 3 months ago
1998
116
Voted
JAR
2011
14 years 10 months ago
2011
132
Voted
ODR
2008
15 years 5 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. ...