A logic-based foundation of discrete event modeling and simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Abstraction mechanisms in discrete-event inductive modeling
WSC '96 Proceedings of the 28th conference on Winter simulation
Using Abstrips Abstractions -- Where do WeStand?
Artificial Intelligence Review
Constructing predicate mappings for goal-dependent abstraction
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem
Journal of Automated Reasoning
Solving Open Questions and Other Challenge Problems Using Proof Sketches
Journal of Automated Reasoning
Using Abstract Resources to Control Reasoning
Journal of Logic, Language and Information
Abstracting soft constraints: framework, properties, examples
Artificial Intelligence
Semantic Abstractions in the Multimedia Domain
IEEE Transactions on Knowledge and Data Engineering
A Constraint-Based Approach to the Description of Competence
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Abstraction and Phase Transitions in Relational Learning
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
A Method for Finding Consistent Hypotheses Using Abstraction
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Linearly Bounded Reformulations of Unary Databases
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Abstractions for Knowledge Organization of Relational Descriptions
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
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
Formalizing Approximate Objects and Theories: Some Initial Results
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Formalizing Regions in the Spatial Semantic Hierarchy: An AH-Graphs Implementation Approach
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Perception-Based Granularity Levels in Concept Representation
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Abstraction and Refinement in Higher Order Logic
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
AbsCon: A Prototype to Solve CSPs with Abstraction
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Linearly Bounded Reformulations of Conjunctive Databases
CL '00 Proceedings of the First International Conference on Computational Logic
Hierarchical model-based diagnosis based on structural abstraction
Artificial Intelligence
Constraint Solving for Proof Planning
Journal of Automated Reasoning
Introduction to the special volume on reformulation
Artificial Intelligence - Special volume on reformulation
Towards a practical theory of reformulation for reasoning about physical systems
Artificial Intelligence - Special volume on reformulation
Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency
Discrete Event Dynamic Systems
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
AI Communications
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Multistrategy Operators for Relational Learning and Their Cooperation
Fundamenta Informaticae
Exploiting functional dependencies in declarative problem specifications
Artificial Intelligence
USING A THEOREM PROVER FOR REASONING ON CONSTRAINT PROBLEMS
Applied Artificial Intelligence
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
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
An Adaptive Cartography of DTV Programs
EUROITV '08 Proceedings of the 6th European conference on Changing Television Environments
Approximate Structure-Preserving Semantic Matching
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Approximate structure preserving semantic matching
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Parametric abstraction of behavioral modes for model-based diagnosis
AI Communications
Representation dependence in probabilistic inference
Journal of Artificial Intelligence Research
Building and refining abstract planning cases by change of representation language
Journal of Artificial Intelligence Research
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Abstraction via approximate symmetry
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Second-order matching modulo evaluation: a technique for reusing proofs
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A semantic theory of abstractions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Representation dependence in probabilistic inference
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Introduction to the Special Volume on Reformulation
Artificial Intelligence - Special volume on reformulation
Towards a practical theory of reformulation for reasoning about physical systems
Artificial Intelligence - Special volume on reformulation
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
An optimized algorithm for abstraction based routing in connection oriented networks
SPECTS'09 Proceedings of the 12th international conference on Symposium on Performance Evaluation of Computer & Telecommunication Systems
Hierarchical planning through operator and world abstraction using ontology for home service robots
ICACT'09 Proceedings of the 11th international conference on Advanced Communication Technology - Volume 3
Towards automated reasoning on the properties of numerical constraints
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Reformulating constraint satisfaction problems to improve scalability
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Relaxation of qualitative constraint networks
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Computing and using lower and upper bounds for action elimination in MDP planning
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Formalizing the abstraction process in model-based diagnosis
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Abstraction and complexity measures
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Reformulating CSPs for scalability with application to geospatial reasoning
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Chronoscopes: a theory of underspecified temporal representations
Proceedings of the 2005 international conference on Annotating, extracting and reasoning about time and events
Granularity in conceptual modelling: application to metamodels
ER'10 Proceedings of the 29th international conference on Conceptual modeling
IEEE Transactions on Intelligent Transportation Systems
Random thoughts on multi-level conceptual modelling
The evolution of conceptual modeling
A unified granular hybrid soft computing framework for vision engineering
International Journal of Advanced Intelligence Paradigms
Transforming and refining abstract constraint specifications
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Abstraction and generalization in reinforcement learning: a summary and framework
ALA'09 Proceedings of the Second international conference on Adaptive and Learning Agents
Formal specification of ontology networks
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Abstracting modelling languages: a reutilization approach
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Multistrategy Operators for Relational Learning and Their Cooperation
Fundamenta Informaticae
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Reusable abstractions for modeling languages
Information Systems
Trust and matching algorithms for selecting suitable agents
ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining
| Hi-index | 0.00 |