During the last decades market competition created various constellations of collaborative integration between enterprises: integration of parts of the value chain or integration ...
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
Stuart F. Allen, Robert L. Constable, Richard Eato...
When a whole knowledge base must be derived for a fuzzy rule-based system, learning methods usually address this task with two or more sequential stages by separately designing ea...
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
We present an extension of the DLVHEX system to support RIF-Core, a dialect of W3C’s Rule Interchange Format (RIF), as well as combinations of RIF-Core and OWL2RL ontologies. DLV...