Using temporal hierarchies to efficiently maintain large temporal databases
Journal of the ACM (JACM)
Representing and reasoning about open-textured predicates
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Qualitative and quantitative time interval constraint networks
CSC '91 Proceedings of the 19th annual conference on Computer Science
Logic representation of processes in work activity coordination
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
An authorization model for temporal data
Proceedings of the 7th ACM conference on Computer and communications security
ACM Computing Surveys (CSUR)
An authorization model for temporal and derived data: securing information portals
ACM Transactions on Information and System Security (TISSEC)
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
The Possibilistic Handling of Irrelevance in Exception-Tolerant Reasoning
Annals of Mathematics and Artificial Intelligence
Applied Intelligence
Parameters for Utilitarian Desires in a Qualitative Decision Theory
Applied Intelligence
Behavioural Conflicts in a Causal Specification
Automated Software Engineering
Resolving Conflicting Information
Journal of Logic, Language and Information
Default Reasoning as Situated Monotonic Inference*
Minds and Machines
Spatial Cognition and Computation
Reified Temporal Logics: An Overview
Artificial Intelligence Review
Extensions to SQL for Historical Databases
IEEE Transactions on Knowledge and Data Engineering
A Dynamic Manifestation Approach for Providing Universal Access to Digital Library Objects
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Reasoning as Prioritized Argumentation
IEEE Transactions on Knowledge and Data Engineering
Reasoning with cause and effect
AI Magazine
Declarative Representations of Multiagent Systems
IEEE Transactions on Knowledge and Data Engineering
Confidence Relations as a Basis for Uncertainty Modeling, Plausible Reasoning, and Belief Revision
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Self-manifestation of composite multimedia objects to satisfy security constraints
Proceedings of the 2003 ACM symposium on Applied computing
Dealing with different time scales in formal specifications
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Temporal reasoning in process planning
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
The Knowledge Engineering Review
A practical nonmonotonic theory for reasoning about speech acts
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 3
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 3
Logical Preference Representation and Combinatorial Vote
Annals of Mathematics and Artificial Intelligence
The Discrete Event Concept as a Paradigm for the “Perception-Based Diagnosis” of Sachem
Journal of Intelligent and Robotic Systems
Bilattices and modal operators
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Supporting conditional delegation in secure workflow management systems
Proceedings of the tenth ACM symposium on Access control models and technologies
Using duration models to reduce fragmentation in audio segmentation
Machine Learning
Situated nonmonotonic temporal reasoning with BABY‐SIT
AI Communications
Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae
ACM Transactions on Computational Logic (TOCL)
Distance-based paraconsistent logics
International Journal of Approximate Reasoning
Inheritance comes of age: applying nonmonotonic techniques to problems in industry
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
Ordinal and probabilistic representations of acceptance
Journal of Artificial Intelligence Research
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
Prediction is deduction but explanation is abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Skeptical inheritance: computing the intersection of credulous extensions
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
On the relation between autoepistemic logic and circumscription
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
The logic of time structures: temporal and nonmonotonic features
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Explanation in the situation calculus
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
Belief change based on global minimisation
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Within the letter of the law: open-textured planning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Possibilistic logic, preferential models, non-monotonicity and related issues
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Reified temporal theories and how to unreify them
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
EPDL: a logic for causal reasoning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Specificity and inheritance in default reasoning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Sound and efficient non-monotonic inference
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Modelling Object Typicality in Description Logics
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Probabilistic temporal networks: A unified framework for reasoning with time and uncertainty
International Journal of Approximate Reasoning
Knowledge representation for stochastic decision processes
Artificial intelligence today
An approach to reasoning about continuous change for applications in planning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Causal theories for nonmonotonic reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
The generalized theory of model preference
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A probabilistic interpretation for lazy nonmonotonic reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Rationality and its roles in reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
A critique of Yoav Shoham's theory of causal reasoning
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
A logic and time nets for probabilistic inference
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
The semantics of event prevention
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A new unification method for temporal reasoning with constraints
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Belief extrapolation (or how to reason about observations and unpredicted change)
Artificial Intelligence
Belief functions and default reasoning
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Transforming prioritized defaults and specificity into parallel defaults
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Coping with the limitations of rational inference in the framework of possibility theory
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Possible world partition sequences: a unifying framework for uncertain reasoning
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
From conditional oughts to qualitative decision theory
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Forecasting sleep apnea with dynamic network models
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
DW4TR: A Data Warehouse for Translational Research
Journal of Biomedical Informatics
A fault-tolerant default logic
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A logic of graded possibility and certainty coping with partial inconsistency
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Planning based on reasoning about information changes
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
Making contextual intensional logic nonmonotonic
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
On the co-operation between abductive and temporal reasoning in medical diagnosis
Artificial Intelligence in Medicine
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Multiple representations and multi-modal reasoning in medical diagnostic systems
Artificial Intelligence in Medicine
A Critical Examination Of Model Preference Defaults
Fundamenta Informaticae
Rough Set Based Reasoning About Changes
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Trust and ecological rationality in a computing context
ACM SIGCAS Computers and Society - Selected Papers from The Ninth International Conference on Computer Ethics: Philosophical Enquiry
Defeasible inheritance-based description logics
Journal of Artificial Intelligence Research
Hi-index | 0.00 |