James G. Schmolze
According to our database1, James G. Schmolze authored at least 20 papers between 1981 and 2009.
Legend:Book In proceedings Article PhD thesis Other
Practical reasoning about knowledge states for open world planning with sensing.
Journal of Applied Non-Classical Logics, 2009
Efficient Open World Reasoning for Planning.
Logical Methods in Computer Science, 2006
Hierarchical clustering of mixture tying using a partially observable Markov decision process.
Proceedings of the INTERSPEECH 2005, 2005
Planning with POMDPs Using a Compact, Logic-Based Representation.
Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005
PSIPLAN: Open World Planning with y-Forms.
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000
Detecting redundancy among production rules using term rewrite semantics.
Knowl.-Based Syst., 1999
Detecting Redundant Production Rules.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997
Rewrite Semantics for Production Rule Systems: Theory and Applications.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
A Tool for Testing Confluence of Production Rules.
Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, 1995
Comparison of Three Algorithms for Ensuring Serializable Executions in Parallel Production Systems.
Proceedings of the 10th National Conference on Artificial Intelligence, 1992
Guaranteeing Serializable Results in Synchronous Parallel Production Systems.
J. Parallel Distrib. Comput., 1991
The NIKL experience.
Computational Intelligence, 1991
Parallel Production Systems.
Proceedings of the Parallelization in Inference Systems, 1990
A Parallel Asynchronous Distributed Production System.
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990
Terminological Knowledge Representation Systems Supporting N-ary Terms.
Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989
Physics for Robots.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986
An Overview of the KL-ONE Knowledge Representation System.
Cognitive Science, 1985
Classification in the KL-ONE Knowledge Representation System.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983
Research in knowledge representation for natural language understanding: Bolt, Beranek, and Newman.
SIGART Newsletter, 1982
Second KL-One Workshop (Report).
AI Magazine, 1981