ICSE '89 Proceedings of the 11th international conference on Software engineering
Derivation from first principles of belief values generated in networks by message passing
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Journal of the ACM (JACM)
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
IEEE Transactions on Software Engineering - Special issue on software maintenance
A softbot-based interface to the Internet
Communications of the ACM
Burden of proof in legal argumentation
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
COLT '95 Proceedings of the eighth annual conference on Computational learning theory
Some arguments about legal arguments
Proceedings of the 6th international conference on Artificial intelligence and law
Abductive Knowledge Base Updates for Contextual Reasoning
Journal of Intelligent Information Systems
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
Logical tool of knowledge engineering: using entailment logic rather than mathematical logic
CSC '91 Proceedings of the 19th annual conference on Computer Science
View-based query processing for regular path queries with inverse
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Constraint satisfaction and database theory: a tutorial
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
An axiomatic treatment of three qualitative decision criteria
Journal of the ACM (JACM)
A neuroidal architecture for cognitive computation
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Plausibility measures and default reasoning
Journal of the ACM (JACM)
On decision-theoretic foundations for defaults
Artificial Intelligence
Logic-based artificial intelligence
Nonmonotonicity and Compatibility Relations in Belief Structures
Annals of Mathematics and Artificial Intelligence
Bilattices and Reasoning in ArtificialIntelligence: Concepts and Foundations
Artificial Intelligence Review
Deductive Approximate Reasoning Systems
IEEE Transactions on Knowledge and Data Engineering
A Computationally Tractable Nonmonotonic Logic
IEEE Transactions on Knowledge and Data Engineering
Current Approaches to Handling Imperfect Information in Data and Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Reasoning as Prioritized Argumentation
IEEE Transactions on Knowledge and Data Engineering
A Knowledge Representation Model for Multiuser Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Paraconsistent Query Answering Systems
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Non-Monotonic Knowledge Evolution in VLKDBs
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
A General Theory of Deduction, Induction, and Learning
DS '01 Proceedings of the 4th International Conference on Discovery Science
Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
View-Based Query Processing and Constraint Satisfaction
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
ISMVL '95 Proceedings of the 25th International Symposium on Multiple-Valued Logic
Paraconsistent Circumscription: First-Order Case
ISMVL '95 Proceedings of the 25th International Symposium on Multiple-Valued Logic
The description logic handbook
Abductive reasoning with recurrent neural networks
Neural Networks - 2003 Special issue: Advances in neural networks research — IJCNN'03
A computational treatment of lexical rules in HPSG as covariation in lexical entries
Computational Linguistics
Semantics for a theory of defeasible reasoning
Annals of Mathematics and Artificial Intelligence
Encyclopedia of Computer Science
Recent improvements and benchmark results for the Paramax ATIS system
HLT '91 Proceedings of the workshop on Speech and Natural Language
Journal of the American Society for Information Science and Technology
Any-world assumptions in logic programming
Theoretical Computer Science
On designing a language for electronic commerce
International Journal of Electronic Commerce - Special issue: Systems for computer-mediated digital commerce
Here's the Beef: Answer Set Programming !
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Monotonic Variable Consistency Rough Set Approaches
International Journal of Approximate Reasoning
Mapping problem-space to solution-space features: a feature interaction approach
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
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
Learning partially observable deterministic action models
Journal of Artificial Intelligence Research
Random worlds and maximum entropy
Journal of Artificial Intelligence Research
Temporal projection and explanation
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
How to prefer more specific defaults in terminological default logic
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Plausibility measures: a general approach for representing uncertainty
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Dynamic semantics for tense and aspect
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
On decision theoretic foundations for defaults
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
On the representation of nonmoniomc relations in the theory of evidence
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A formal theory for spatial representation and reasoning in biomedical ontologies
Artificial Intelligence in Medicine
Generic entity resolution with negative rules
The VLDB Journal — The International Journal on Very Large Data Bases
Logic-based knowledge representation
Artificial intelligence today
Plausibility measures and default reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A formal theory of multiple agent nonmonotonic reasoning
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 generalized theory of model preference
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
Formalizing reasoning about change: a qualitative reasoning approach
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
A tableau algorithm for paraconsistent and nonmonotonic reasoning in description logic-based system
APWeb'11 Proceedings of the 13th Asia-Pacific web conference on Web technologies and applications
Challenges in answer set solving
Logic programming, knowledge representation, and nonmonotonic reasoning
Rainbow of computer science
Reasoning in non-axiomatic logic: a case study in medical diagnosis
AGI'11 Proceedings of the 4th international conference on Artificial general intelligence
An experimental comparison of numerical and qualitative probabilistic reasoning
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
To vladimir lifschitz on his 65th birthday
Correct Reasoning
What Is A Nonmonotonic Consequence Relation?
Fundamenta Informaticae
Varying Selection Functions To Relate Conditional Logics And Preferential Models
Fundamenta Informaticae
| Hi-index | 0.02 |