Combined reasoning by automated cooperation
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|combined reasoning by automated cooperation }}
- [[]]
bibtex
{{#vardefine:pagename|Combined reasoning by automated cooperation }}{{#vardefine:key| }}
abstract:
download:
- paper: (http://www.ags.uni-sb.de/%7Echris/papers/J16.pdf)
- slides:
Facts about Combined reasoning by automated cooperationRDF feed
| Author | Christoph Benzmuller +, Volker Sorge +, Mateja Jamnik +, and Manfred Kerber + |
| Bibtype | article + |
| Doi | http://dx.doi.org/10.1016/j.jal.2007.06.003 + |
| Journal | J. Applied Logic + |
| Key | BS+08 + |
| Number | 3 + |
| Pages | 318-342 + |
| Paper url | http://www.ags.uni-sb.de/~chris/papers/J16.pdf + |
| Tag | Tactic +, Proof theory +, and Computer science + |
| Title | Combined reasoning by automated cooperation + |
| Volume | 6 + |
| Year | 2008 + |
