Author:
Ginsberg Matthew L.,Smith David E.
Reference19 articles.
1. Towards a general theory of action and time;Allen;Artificial Intelligence,1984
2. A truth maintenance system;Doyle;Artificial Intelligence,1979
3. STRIPS: a new approach to the application of theorem proving to problem solving;Fikes;Artificial Intelligence,1971
4. J. J. Finger. Exploiting Constraints in Design Synthesis. PhD thesis, Stanford University, Stanford, CA, 1987.
5. Counterfactuals;Ginsberg;Artificial Intelligence,1986
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Discussion;Intelligent Systems Reference Library;2023
2. On Expansion and Contraction of DL-Lite Knowledge Bases;SSRN Electronic Journal;2019
3. Updating DL-Lite Ontologies Through First-Order Queries;Lecture Notes in Computer Science;2016
4. A Lewisian Logic of Causal Counterfactuals;Minds and Machines;2011-11-18
5. Operator Behavior Modelling in a Submarine;Combinations of Intelligent Methods and Applications;2011