Publications

Export 7 results:
Filters: Author is Jim Carciofini  [Clear All Filters]
2014
Bell S, Carciofini J, Boddy M, Bonasso P.  2014.  Reasoner Performance on Ontologies for Operations. 6th International Conference on Knowledge Engineering and Ontology Development.
1994
Carpenter T, Driscoll K., Hoyme K, Carciofini J.  1994.  ARINC 659 scheduling: problem definition. 1994 Proceedings Real-Time Systems Symposium.
1992
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.