A uniform architecture for rule-based meta-reasoning and representation: a case study
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
CAKE: an implemented hybrid knowledge representation and limited reasoning system
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Knowledge compilation and theory approximation
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Handling infinite temporal data
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Interactive experiment planning to control knowledge-based simulation
WSC '91 Proceedings of the 23rd conference on Winter simulation
Aligning Logical and Psychological Perspectives on Diagrammatic Reasoning
Artificial Intelligence Review
Two approaches to efficient open-world reasoning
Logic-based artificial intelligence
Annals of Mathematics and Artificial Intelligence
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
Journal of Automated Reasoning
Document Generation and Picture Retrieval
VISUAL '99 Proceedings of the Third International Conference on Visual Information and Information Systems
Inclusion of Picture Sequences in Generated Documents
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Preprocessing of intractable problems
Information and Computation
High-level authoring of illustrated documents
Natural Language Engineering
Authoring multimedia documents using WYSIWYM editing
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 1
Semiotic schemas: a framework for grounding language in action and perception
Artificial Intelligence - Special volume on connecting language to the world
The complexity of model checking for propositional default logics
Data & Knowledge Engineering
Story understanding through multi-representation model construction
HLT-NAACL-TEXTMEANING '03 Proceedings of the HLT-NAACL 2003 workshop on Text meaning - Volume 9
A survey on knowledge compilation
AI Communications
On models, modelling and the distinctive nature of model-based reasoning
AI Communications
The Compactness of Belief Revision and Update Operators
Fundamenta Informaticae
On computing all abductive explanations from a propositional Horn theory
Journal of the ACM (JACM)
Applying GSAT to non-clausal formulas
Journal of Artificial Intelligence Research
Incremental recompilation of knowledge
Journal of Artificial Intelligence Research
On the hardness of approximate reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Logical specification of real-time granular systems in an object oriented language
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Model checking for nonmonotonic logics: algorithms and complexity
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Stochastic search and phase transitions: AI meets physics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Measuring and improving the effectiveness of representations
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Towards action prediction using a mental-level model
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Semiotic schemas: A framework for grounding language in action and perception
Artificial Intelligence - Special volume on connecting language to the world
Counterfactual reasoning with direct models
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Counterfactual reasoning with direct models
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
An optimally efficient limited inference system
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
The future of knowledge representation
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
A new method for solving hard satisfiability problems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Computing least common subsumers in description logics
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Reasoning with characteristic models
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Understanding script-based stories using commonsense reasoning
Cognitive Systems Research
DNF hypotheses in explanatory induction
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
The Compactness of Belief Revision and Update Operators
Fundamenta Informaticae
A Critical Examination Of Model Preference Defaults
Fundamenta Informaticae
| Hi-index | 0.00 |