Abstraction using generalization functions
Proc. of the 8th international conference on Automated deduction
Planning as search: a quantitative approach
Artificial Intelligence
Abstraction in planning
A formal model of abstraction for planning
A formal model of abstraction for planning
Automatically generating abstractions for problem solving
Automatically generating abstractions for problem solving
A critical look at Koblock's hierarchy mechanism
Proceedings of the first international conference on Artificial intelligence planning systems
Artificial Intelligence
Automatically generating abstractions for planning
Artificial Intelligence
Downward refinement and the efficiency of hierarchical problem solving
Artificial Intelligence
Artificial Intelligence
Abstraction Mappings in Mechanical Theorem Proving
Proceedings of the 5th Conference on Automated Deduction
ABSFOL: A Proof Checker with Abstraction
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Human Problem Solving
A semantic theory of abstractions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Planning with abstraction hierarchies can be exponentially less efficient
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Abstracting soft constraints: framework, properties, examples
Artificial Intelligence
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
HPGP: an abstraction-based framework for decision-theoretic planning
IDEAL'07 Proceedings of the 8th international conference on Intelligent data engineering and automated learning
A facet-based methodology for geo-spatial modeling
GeoS'11 Proceedings of the 4th international conference on GeoSpatial semantics
A faceted ontology for a semantic geo-catalogue
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Using secondary structure information to perform multiple alignment
Transactions on Computational Systems Biology III
Synthesizing plans for multiple domains
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Domains and context: First steps towards managing diversity in knowledge
Web Semantics: Science, Services and Agents on the World Wide Web
Hi-index | 0.00 |