Maintenance of stratified databases viewed as a belief revision system
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Security and inference in multilevel database and knowledge-base systems
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Teaching object-oriented programming with the KEE system
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
The concurrent logic programming language CP: Definition and operational semantics
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Oblog-2: A hybrid knowledge representation system for defeasible reasoning
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Reasoning with worlds and truth maintenance in a knowledge-based programming environment
Communications of the ACM
Managing knowledge about information system evolution
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
A distributed artificial intelligence approach to integrated engineering design
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
FAST: A large scale expert system for application and system software performance tuning
SIGMETRICS '88 Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems
An assumption-based localization technique for switching system
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Representing the structure of a legal argument
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Issue spotting in a system for searching interpretation spaces
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
A practical approach to semantic configuration management
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Integer programming vs. expert systems: an experimental comparison
Communications of the ACM
An incremental method for generating prime implicants/implicates
Journal of Symbolic Computation
On the efficiency of logic-based diagnosis
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Diagnosis of power plant faults using qualitative models and heuristic rules
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Projcon: an expert system for project controls in construction management
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Approximate Reasoning About the Semantic Effects of Program Changes
IEEE Transactions on Software Engineering
The implementation of a model-based belief revision system
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
The MVL theorem proving system
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Providing paradigm orientation without implementational handcuffs
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
On the complexity of propositional knowledge base revision, updates, and counterfactuals
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
IBM Journal of Research and Development
A categorized bibliography on incremental computation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The use of an ATMS in consistency checking of a legal expert system
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
CASE tool architecture for knowledge-based regression testing
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Preference-based decision making for cooperative knowledge-based systems
ACM Transactions on Information Systems (TOIS)
Modelling information retrieval agents with belief revision
SIGIR '94 Proceedings of the 17th annual international ACM SIGIR conference on Research and development in information retrieval
Computational situation theory
ACM SIGART Bulletin
The complexity of logic-based abduction
Journal of the ACM (JACM)
Integrating Multiple Paradigms within the Blackboard Framework
IEEE Transactions on Software Engineering
Distributed knowledge revision/integration
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
Dependency maintenance in declarative geometry modelling
SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications
Environmental decision support: a multi-agent approach
AGENTS '97 Proceedings of the first international conference on Autonomous agents
Proceedings of the 21st annual international ACM SIGIR conference on Research and development in information retrieval
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Abductive Knowledge Base Updates for Contextual Reasoning
Journal of Intelligent Information Systems
Decompositional, model-based learning and its analogy to diagnosis
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Non-deterministic languages to express deterministic transformations
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
GRASP: A Search Algorithm for Propositional Satisfiability
IEEE Transactions on Computers
Automatic knowledge acquisition in technical diagnosis
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Computer Supported Cooperative Work
Effective and Efficient Knowledge Base Refinement
Machine Learning
Multiobject Behavior Recognition by Event Driven Selective Attention Method
IEEE Transactions on Pattern Analysis and Machine Intelligence
An Assumption-based Truth Maintenance System in ActiveAid for UNIX Users
Artificial Intelligence Review - special issue on intelligent help systems for Unix part II: planning and knowledge representation
Consistency restoriation and explanations in dynamic CSPs----application to configuration
Artificial Intelligence
Reasoning about nonlinear system identification
Artificial Intelligence
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Logic Synthesis and Verification
Truly concurrent constraint programming
Theoretical Computer Science
Extending and implementing the stable model semantics
Artificial Intelligence
An Overview of Backtrack Search Satisfiability Algorithms
Annals of Mathematics and Artificial Intelligence
Model-based and qualitative reasoning: An introduction
Annals of Mathematics and Artificial Intelligence
Nonmonotonic reasoning: from complexity to algorithms
Annals of Mathematics and Artificial Intelligence
An Integrated Framework for Representing Design History
Applied Intelligence
A Knowledge-Based Mesh Generation System for Forging Simulation
Applied Intelligence
Dynamic Flexible Constraint Satisfaction
Applied Intelligence
Algorithmic Debugging and Hypothetical Reasoning
Automated Software Engineering
An Efficient Algorithm to Generate Prime Implicants
Journal of Automated Reasoning
Parallelization of a Hyper-Linking–Based Theorem Prover
Journal of Automated Reasoning
Minds and Machines
Human Plausible Reasoning for Intelligent Help
User Modeling and User-Adapted Interaction
A Computational Mechanism for Initiative in Answer Generation
User Modeling and User-Adapted Interaction
Efficient Algorithms for the Inference of Minimum Size DFAs
Machine Learning
Bilattices and Reasoning in ArtificialIntelligence: Concepts and Foundations
Artificial Intelligence Review
Autonomous Agents and Multi-Agent Systems
Representing Design Dependencies in an Issue-Based Style
IEEE Software
The Role of Artificial Intelligence in Understanding the Strategic Decision-Making Process
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Prolog/Rex-A Way to Extend Prolog for Better Knowledge Representation
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
A High-Level Petri Nets-Based Approach to Verifying Task Structures
IEEE Transactions on Knowledge and Data Engineering
Applications of Abduction: Testing Very Long Qualitative Simulations
IEEE Transactions on Knowledge and Data Engineering
A Language for Construction of Belief Networks
IEEE Transactions on Pattern Analysis and Machine Intelligence
Globe-Trotter: An Intelligent Flight Itinerary Planner
IEEE Expert: Intelligent Systems and Their Applications
Expert System Development: A Retrospective View of Five Systems
IEEE Expert: Intelligent Systems and Their Applications
Knowledge-Based Technology for Controlling Railway Stations
IEEE Expert: Intelligent Systems and Their Applications
Using Truth Maintenance Systems: A Tutorial
IEEE Expert: Intelligent Systems and Their Applications
Sales Configuration in Business Processes
IEEE Intelligent Systems
KJ3: a tool assisting formal validation of knowledge-based systems
International Journal of Human-Computer Studies
Rule-Based Consistency Enforcement for Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Electronic "How Things Work" Articles: Two Early Prototypes
IEEE Transactions on Knowledge and Data Engineering
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Systems Engineering Foundations of Software Systems Integration
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Solving Conflicting Beliefs with a Distributed Belief Revision Approach
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
Attacking the Complexity of Prioritized Inference Preliminary Report
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Intra-agent modality and nonmonotonic epistemic logic
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Non-Monotonic Knowledge Evolution in VLKDBs
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning
Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Efficient Relational Learning from Sparse Data
AIMSA '02 Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approach
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Argumentative Reasoning with ABEL
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Validation and Reparation of Knowledge Bases
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Projection in Adaptive Constraint Handling
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
On the Verification of an Expert System: Practical Issues
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Semantic Verification of Rule-Based Systems with Arithmetic Constraints
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
The unified problem-solving method development language UPML
Knowledge and Information Systems
FLAMES: A Fuzzy Logic ATMS and Model-based Expert System for Analog Diagnosis
EDTC '96 Proceedings of the 1996 European conference on Design and Test
On the Sufficiency of Limited Testing for Knowledge Based Systems
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
VERITAS An Application for Knowledge Verification
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
An intelligent agent-based cooperative information processing model
Information management
Reasoning with Numeric and Symbolic Time Information
Artificial Intelligence Review
Probabilistic argumentation systems a new way to combine logic with probability
Journal of Applied Logic - Special issue on combining probability and logic
A consistency-based approach for belief change
Artificial Intelligence
The Knowledge Engineering Review
Reasoning with inconsistency in structured text
The Knowledge Engineering Review
The Knowledge Engineering Review
Hard, flexible and dynamic constraint satisfaction
The Knowledge Engineering Review
Knowledge maintenance: the state of the art
The Knowledge Engineering Review
Rationale in planning: causality, dependencies, and decisions
The Knowledge Engineering Review
A knowledge-based architecture for intelligent design support
The Knowledge Engineering Review
Belief revision: from theory to practice
The Knowledge Engineering Review
Disjunctions and inheritance in the context feature structure system
EACL '93 Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics
Interactive incremental chart parsing
EACL '89 Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics
A logic for semantic interpretation
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
Incremental parsing and reason maintenance
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
Towards a dynamic theory of belief-sharing in cooperative dialogues
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 2
Concretion: assumption-based understanding
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1
Maintaining consistency and plausibility in integrated natural language understanding
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 2
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 2
B-SURE: a believed situation and uncertain-action representation environment
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 3
B-SURE: a believed situation and uncertain-action representation environment
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 3
Speculative Computation Through Consequence-Finding in Multi-Agent Environments
Annals of Mathematics and Artificial Intelligence
Bilattices and modal operators
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Theoretical foundations for belief revision
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Stable independence and complexity of representation
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
A model based reasoning approach for generating plausible crime scenarios from evidence
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
A formal logic-based language and an automated verification tool for computer forensic investigation
Proceedings of the 2005 ACM symposium on Applied computing
Computers and Operations Research
Optimal refinement of rule bases
AI Communications
Launch commit criteria monitoring agent
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Argumentation and the Dynamics of Warranted Beliefs in Changing Environments
Autonomous Agents and Multi-Agent Systems
Consequence finding and computing answers with defaults
Journal of Intelligent Information Systems
Study of the diagnosability of automated production systems based on functional graphs
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Probabilistic abductive computation of evidence collection strategies in crime investigation
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Compilability of propositional abduction
ACM Transactions on Computational Logic (TOCL)
An improved model-based method to test circuit faults
Theoretical Computer Science
A constraint solver for model-based engineering
AI Communications
Optimal refinement of rule bases
AI Communications
Checking the consistency of a hybrid knowledge base system
Knowledge-Based Systems
IEEE Intelligent Systems
Conflict-directed A* and its role in model-based embedded systems
Discrete Applied Mathematics
On computing all abductive explanations from a propositional Horn theory
Journal of the ACM (JACM)
The Carneades model of argument and burden of proof
Artificial Intelligence
Manipulating sets in common Lisp
ACM SIGPLAN Lisp Pointers
Just enough learning (of association rules): the TAR2 "Treatment" learner
Artificial Intelligence Review
An algorithm for computing theory prime implicates in first order logic
International Journal of Information and Communication Technology
Dynamic context management for pervasive applications
The Knowledge Engineering Review
What makes propositional abduction tractable
Artificial Intelligence
A compiled model for faults diagnosis based on different techniques
AI Communications - Model-Based Systems
Optimizing requirements decisions with keys
Proceedings of the 4th international workshop on Predictor models in software engineering
KNOWLEDGE-BASED VALIDATION FOR HYDROLOGICAL INFORMATION SYSTEMS
Applied Artificial Intelligence
Extending uncertainty formalisms to linear constraints and other complex formalisms
International Journal of Approximate Reasoning
Syndication on the Web using a description logic approach
Web Semantics: Science, Services and Agents on the World Wide Web
ACII '07 Proceedings of the 2nd international conference on Affective Computing and Intelligent Interaction
Management of repair in human-computer interaction
Human-Computer Interaction
Distributed Consistency-Based Diagnosis
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
How Can Agents Know What to Assume When?
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Incremental state based diagnosis
Advanced Engineering Informatics
Assumption Based Peg Unification for Crime Scenario Modelling
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
The heuristic methods of obtaining the effective measurement in diagnostic systems
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Base Belief Change and Optimized Recovery
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Extending the BDI architecture with commitments
Proceedings of the 2006 conference on Artificial Intelligence Research and Development
Proceedings of the 2006 conference on Integrated Intelligent Systems for Engineering Design
On the Logic of Theory Change: Relations between Incision and Selection Functions
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Test Generation for Model-Based Diagnosis
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Legal reasoning with argumentation schemes
Proceedings of the 12th International Conference on Artificial Intelligence and Law
QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Approximate compilation for embedded model-based reasoning
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Journal of Artificial Intelligence Research
Towards model-based diagnosis of coordination failures
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Dependency-directed reconsideration belief base optimization for truth maintenance systems
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Recommending travel packages upon distributed knowledge
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
NESTA: NASA engineering shuttle telemetry agent
IAAI'05 Proceedings of the 17th conference on Innovative applications of artificial intelligence - Volume 3
Dynamic distributed constraint reasoning
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Incremental algorithms for approximate compilation
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Journal of Artificial Intelligence Research
Planning graph heuristics for belief space search
Journal of Artificial Intelligence Research
OPUS: an efficient admissible algorithm for unordered search
Journal of Artificial Intelligence Research
Model-based diagnosis using structured system descriptions
Journal of Artificial Intelligence Research
Experiences implementing a parallel ATMS on a shared-memory multiprocessor
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Conspiracy numbers and caching for searching and/or trees and theorem-proving
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
A theorem prover for prioritized circumscription
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
The generation of 'critical problems' by abstract interpretations of student models
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Temporally coarse representation of behavior for model-based troubleshooting of digital circuits
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Minimal change and maximal coherence: a basis for belief revision and reasoning about actions
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A knowledge-level account of abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
An analysis of ATMS-based techniques for computing Dempster-Shafer belief functions
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Relating the TMS to autoepistemic logic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
On the relation between truth maintenance and autoepistemic logic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Introducing actions into qualitative simulation
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
"Physical negation": integrating fault models into the general diagnostic engine
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Candidate ordering and elimination in model-based fault diagnosis
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A tractable class of abduction problems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A new algorithm for incremental prime implicate generation
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Domain filtering can degrade intelligent backtracking search
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Satisfiability of boolean formulas over linear constraints
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Nonmonotonic model inference: a formalization of student modeling
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Test case generation using KBS strategy
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Connections between the ATMS and AGM belief revision
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
On the relationship between probabilistic logic and π-CMS
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Model-based diagnosis in the real world: lessons learned and challenges remaining
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Deduction-based region-use planning
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Model-based diagnosis using causal networks
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A logical account of relevance
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Dominance and subsumption in constraint-posting planning
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
An algebraic foundation for truth maintenance
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
An improved constraint-propagation algorithm for diagnosis
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
GHOST: experimenting conflicts countermeasures in the pilot's activity
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Formalizing and using persistency
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Consequence-finding based on ordered linear resolution
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A logically complete reasoning maintenance system based on a logical constraint solver
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Contexts for nonmonotonic RMSes
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Query answering in circumscription
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Representing diagnostic knowledge for probabilistic Horn abduction
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Diagnosing tree-decomposable circuits
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Scaling up self-explanatory simulators polynomial time compilation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Verification of knowledge bases based on containment checking
Artificial Intelligence
Consistency management system for spatial navigation
ISC '07 Proceedings of the 10th IASTED International Conference on Intelligent Systems and Control
Design Problems, Frames and Innovative Solutions
Proceedings of the 2009 conference on Design Problems, Frames and Innovative Solutions
Knowledge based crime scenario modelling
Expert Systems with Applications: An International Journal
Logic of agreement: Foundations, semantic system and proof theory
International Journal of Approximate Reasoning
Towards adaptive interpolative reasoning
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
Incremental Classification of Description Logics Ontologies
Journal of Automated Reasoning
Study of the diagnosability of automated production systems based on functional graphs
Mathematics and Computers in Simulation
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Probabilistic modeling of alarm observation delay in network diagnosis
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Improved algorithms for deriving all minimal conflict sets in model-based diagnosis
ICIC'07 Proceedings of the intelligent computing 3rd international conference on Advanced intelligent computing theories and applications
Enhancing self-organising emergent systems design with simulation
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
History matters: incremental ontology reasoning using modules
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Communication Error Determination System for Multi-layered or Chained Situations
Fundamenta Informaticae - Intelligent Data Analysis in Granular Computing
Forward chaining logic programming with the ATMS
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
CP as a general-purpose constraint-language
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Synthesizing algorithms with performance constraints
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Efficiency analysis of multiple-context TMSS in scene representation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Found ations of assumption-based truth maintenance systems: preliminary report
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Incremental inference: getting multiple agents to agree on what to do next
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Reasoning about fluids via molecular collections
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Explanation-based failure recovery
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Making partial choices in constraint reasoning problems
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
A benchmark diagnostic model generation system
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Forward chaining logic programming with the ATMS
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
CP as a general-purpose constraint-language
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Synthesizing algorithms with performance constraints
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Efficiency analysis of multiple-context TMSS in scene representation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Found ations of assumption-based truth maintenance systems: preliminary report
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Incremental inference: getting multiple agents to agree on what to do next
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Reasoning about fluids via molecular collections
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Explanation-based failure recovery
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Making partial choices in constraint reasoning problems
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Qualitative multiple-fault diagnosis of continuous dynamic systems using behavioral modes
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Dynamic constraint satisfaction problems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Some applications of graph bandwidth to constraint satisfaction problems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
The belief calculus and uncertain reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Computing stable models by using the ATMS
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Abductive and default reasoning: a computational core
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
QPC: a compiler from physical models into qualitative differential equations
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Qualitative reasoning with microscopic theories
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A hybrid framework for representing uncertain knowledge
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Theory Reduction, theory revision, and retranslation
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Efficiency of production systems when coupled with an assumption based truth maintenance system
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Using attention in belief revision
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
CATMS: an ATMS which avoids label explosions
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Verification of multi-level rule-based expert systems
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
An efficient first-order horn-clause abduction system based on the ATMS
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
The common order-theoretic structure of version spaces and ATMS's
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
ACP: reason maintenance and inference control for constraint propagation over intervals
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Controlling inequality reasoning in a TMS-based analog diagnosis system
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Efficient propositional constraint propagation
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Using deep structure to locate hard problems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Consistency-based diagnosis in physiological domains
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Self-explanatory simulations: scaling up to large models
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
The complexity of propositional default logics
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Bidirectional chart generation of natural language texts
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Propositional logic of context
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Real-time self-explanatory simulation
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Fast context switching in real-time propositional reasoning
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Detecting redundant production rules
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Abductive inference methods in problems of job planning in complex objects
Journal of Computer and Systems Sciences International
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Approximate model-based diagnosis using greedy stochastic search
Journal of Artificial Intelligence Research
Assumption-based reasoning in dynamic normative agent systems
Web Intelligence and Agent Systems
State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning
Artificial Intelligence
Hybrid integration of reasoning techniques in suspect investigation
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
Controlling logical inference in multilevel database systems
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
A proposal for student modeling based on ontologies and diagnosis rules
Expert Systems with Applications: An International Journal
Review: on the evolving relation between belief revision and argumentation
The Knowledge Engineering Review
Compositional Bayesian modelling for computation of evidence collection strategies
Applied Intelligence
Requirements evolution drives software evolution
Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution
Context-dependent OWL reasoning in sindice - experiences and lessons learnt
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Finding all justifications of OWL entailments using TMS and MapReduce
Proceedings of the 20th ACM international conference on Information and knowledge management
Generating the structure of a fuzzy rule under uncertainty
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Exploiting uncertain and temporal information in correlation
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Belief maintenance in Bayesian networks
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Incremental probabilistic inference
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Argumentative inference in uncertain and inconsistent knowledge bases
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Possibilistic assumption based truth maintenance system, validation in a data fusion application
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
A reason maintenance system dealing with vague data
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Handling uncertainty during plan recognition in task-oriented consultation systems
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Methods for model-based reasoning within agent-based Ambient Intelligence applications
Knowledge-Based Systems
Incrementally maintaining materializations of ontologies stored in logic databases
Journal on Data Semantics II
Approximate model-based diagnosis using preference-based compilation
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Belief revision of GIS systems: the results of REV!GIS
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Formal consistency verification of deliberative agents with respect to communication protocols
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
An integration of FDI and DX techniques for determining the minimal diagnosis in an automatic way
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
A temporal logic-based model for forensic investigation in networked system security
MMM-ACNS'05 Proceedings of the Third international conference on Mathematical Methods, Models, and Architectures for Computer Network Security
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Conflict-Directed a* search for soft constraints
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Drake: an efficient executive for temporal plans with choice
Journal of Artificial Intelligence Research
Modeling information retrieval with probabilistic argumentation systems
IRSG'98 Proceedings of the 20th Annual BCS-IRSG conference on Information Retrieval Research
Physiological applications of consistency-based diagnosis
Artificial Intelligence in Medicine
An evaluation of expert system development tools
Expert Systems: The Journal of Knowledge Engineering
A cooperative problem-solver for investment management
International Journal of Information Management: The Journal for Information Professionals
Expert Systems with Applications: An International Journal
Modelling the dynamics of reasoning processes: Reasoning by assumption
Cognitive Systems Research
Discovering hidden structure in factored MDPs
Artificial Intelligence
Agile requirements evolution via paraconsistent reasoning
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Using Possibilistic Logic for Modeling Qualitative Decision: ATMS-based Algorithms
Fundamenta Informaticae
Fundamenta Informaticae
Critical reasoning: AI for emergency response
Applied Intelligence
Product configuration as decision support: The declarative paradigm in practice
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Abduction in work-planning problems in complex objects
Scientific and Technical Information Processing
The route to success: a performance comparison of diagnosis algorithms
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Beyond physical product configuration --Configuration in unusual domains
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
Hi-index | 0.04 |