Martin Rezk
The following publications of Martin Rezk are available:
- A Logic Based Approach to the Static Analysis of Production Systems (at RR2009)
- Representing L1 Domain Descriptions as Partially Defined Actions of Transaction Logic (at RR2011)
- Reasoning with Actions in Transaction Logic (at RR2011)
- Combining Production Systems and Ontologies (at RR2011)
Resource URI on the dog food server: http://data.semanticweb.org/person/martin-rezk
Explore this resource elsewhere: