James G. Schmolze

According to our database1, James G. Schmolze authored at least 20 papers between 1981 and 2009.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2009
Practical reasoning about knowledge states for open world planning with sensing.
Journal of Applied Non-Classical Logics, 2009

2006
Efficient Open World Reasoning for Planning.
Logical Methods in Computer Science, 2006

2005
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

2000
PSIPLAN: Open World Planning with y-Forms.
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1999
Detecting redundancy among production rules using term rewrite semantics.
Knowl.-Based Syst., 1999

1997
Detecting Redundant Production Rules.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996
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

1995
A Tool for Testing Confluence of Production Rules.
Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, 1995

1992
Comparison of Three Algorithms for Ensuring Serializable Executions in Parallel Production Systems.
Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991
Guaranteeing Serializable Results in Synchronous Parallel Production Systems.
J. Parallel Distrib. Comput., 1991

The NIKL experience.
Computational Intelligence, 1991

1990
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

1989
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

1986
Physics for Robots.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985
An Overview of the KL-ONE Knowledge Representation System.
Cognitive Science, 1985

1983
Classification in the KL-ONE Knowledge Representation System.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982
Research in knowledge representation for natural language understanding: Bolt, Beranek, and Newman.
SIGART Newsletter, 1982

1981
Second KL-One Workshop (Report).
AI Magazine, 1981


  Loading...