Publications
Export 7 results:
Filters: Author is Jim Carciofini [Clear All Filters]
Reasoner Performance on Ontologies for Operations. 6th International Conference on Knowledge Engineering and Ontology Development.
.
2014. .
2010. .
2010.
ARINC 659 scheduling: problem definition. 1994 Proceedings Real-Time Systems Symposium.
.
1994. Managing Disjunction for Practical Temporal Reasoning. Third International Conference on Principles of Knowledge Representation and Reasoning (1992).
.
1992. Scheduling with Partial Orders and a Causal Model. The Sixth Annual Workshop on Space Operations Applications and Research (SOAR 1992). :251-258.
.
1992.