4987 search results - page 7 / 998 » Support Ordered Resolution |
158
Voted
TIME
2003
IEEE
15 years 11 months ago
2003
IEEE
191
click to vote
TABLEAUX
2000
Springer
15 years 10 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 ...
134
Voted
EJC
1998
15 years 6 months ago
1998
145
Voted
JAR
2011
15 years 1 months ago
2011
170
click to vote
ODR
2008
15 years 7 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. ...