search

lidingpku / inference-web

Automatically exported from code.google.com/p/inference-web
0 stars 0 forks source link

pmlj:fromAnswer max cardinality 1 #6

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
max 1 cardinality prevents an InferenceStep from pointing to more than NodeStep.

CSV conversion case:

Two files are the result of a single invocation of a converter.
Each file needs to be justified by the invocation.

TPTP proofs case:

Current Solution: 
Make a duplicate InferenceStep that has the exact same attributes.

Original issue reported on code.google.com by tim...@gmail.com on 12 Aug 2010 at 4:13

GoogleCodeExporter commented 9 years ago

Original comment by liding...@gmail.com on 12 Aug 2010 at 4:56

GoogleCodeExporter commented 9 years ago 
Discussed at http://inference-web.org/wiki/IW_Meeting_2010-08-12

Original comment by tim...@gmail.com on 12 Aug 2010 at 5:07