1401 search results - page 49 / 281 » Tool Integration for Reasoned Programming |
IV
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper aims to propose solutions to the issue of ontology visualization, by presenting intuitive and userfriendly ontology editing and visualization environments mainly orient...
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...
BMCBI
2010
13 years 9 months ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
ICLP
1997
Springer
14 years 28 days ago
1997
Springer
We introduce and explore a property of deductive data bases with updates wich we call total homeostaticity, and which substantially generalizes the following their property: ”fo...
WSC
2000
13 years 10 months ago
2000
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...