Export 7 results:
Filters: Author is Jim Carciofini  [Clear All Filters]
Bell S, Carciofini J, Boddy M, Bonasso P.  2014.  Reasoner Performance on Ontologies for Operations. 6th International Conference on Knowledge Engineering and Ontology Development.
Carpenter T, Driscoll K., Hoyme K, Carciofini J.  1994.  ARINC 659 scheduling: problem definition. 1994 Proceedings Real-Time Systems Symposium.
Schrag R, Boddy M, Carciofini J.  1992.  Managing Disjunction for Practical Temporal Reasoning. Third International Conference on Principles of Knowledge Representation and Reasoning (1992).
Boddy M, Carciofini J, Hadden G.  1992.  Scheduling with Partial Orders and a Causal Model. The Sixth Annual Workshop on Space Operations Applications and Research (SOAR 1992). :251-258.