The role of APL in a technical language as illustrated by a modest battle management program
APL '87 Proceedings of the international conference on APL: APL in transition
Communications of the ACM
Constraint-based query optimization for spatial databases
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
How good is that data in the warehouse?
ACM SIGMIS Database
Journal of the ACM (JACM)
To split or to conjoin: the question in image computation
Proceedings of the 37th Annual Design Automation Conference
Communications of the ACM
Parameter Estimation in Stochastic Logic Programs
Machine Learning
Simplification Rules for the Coherent Probability Assessment Problem
Annals of Mathematics and Artificial Intelligence
Probabilistic Default Reasoning with Conditional Constraints
Annals of Mathematics and Artificial Intelligence
Solution of Switching Equations Based on a Tabular Algebra
IEEE Transactions on Computers
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Issues in Learning Language in Logic
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Quasi-algebraic decompositions of switching functions
ARVLSI '95 Proceedings of the 16th Conference on Advanced Research in VLSI (ARVLSI'95)
Hazard detection by a quinary simulation of logic devices with bounded propagation delays
DAC '72 Proceedings of the 9th Design Automation Workshop
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
Combining probabilistic logic programming with the power of maximum entropy
Artificial Intelligence - Special issue on nonmonotonic reasoning
Probability Logic and Optimization SAT: The PSAT and CPA Models
Annals of Mathematics and Artificial Intelligence
Yin Yang bipolar logic and bipolar fuzzy logic
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Informatics and computer science intelligent systems applications
The linguistic reason why the computer will never think
ACM SIGLASH Newsletter
Probabilistic logic under coherence: complexity and algorithms
Annals of Mathematics and Artificial Intelligence
Weak nonmonotonic probabilistic logics
Artificial Intelligence
International Journal of Approximate Reasoning
ACM SIGAPL APL Quote Quad - In honor of Kenneth E. Iverson
Fuzzy sets and sheaves. Part I
Fuzzy Sets and Systems
Square Roots and Functional Decompositions of Boolean Functions
IEEE Transactions on Computers
Vector Boolean Algebra and Calculus
IEEE Transactions on Computers
Merging the local and global approaches to probabilistic satisfiability
International Journal of Approximate Reasoning
An efficient method to represent and process imprecise knowledge
Applied Soft Computing
Neural Computation
A hierarchical abstraction model for software engineering
Proceedings of the 2nd international workshop on The role of abstraction in software engineering
Sound, complete and scalable path-sensitive analysis
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Probabilistic logic with independence
International Journal of Approximate Reasoning
Extending Knowledge Base Update into First-Order Knowledge Bases
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Artificial Intelligence
Information Sciences: an International Journal
QI '09 Proceedings of the 3rd International Symposium on Quantum Interaction
An algorithm reliability of wireless networks for sum of disjoint poroduct and topological structure
WSEAS TRANSACTIONS on COMMUNICATIONS
Probabilistic-Logic Models: Reasoning and Learning with Relational Structures
Proceedings of the 2008 conference on Tenth Scandinavian Conference on Artificial Intelligence: SCAI 2008
First-order Generalization of the MPMA Belief Update Operator
Fundamenta Informaticae
Human Being and Mathematics Logical and Mathematical Thinking
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Variable forgetting in reasoning about knowledge
Journal of Artificial Intelligence Research
Models and algorithms for probabilistic and Bayesian logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Approximations of Modal Logic K
Electronic Notes in Theoretical Computer Science (ENTCS)
Graphical models for imprecise probabilities
International Journal of Approximate Reasoning
Lattice duality: The origin of probability and entropy
Neurocomputing
So mechanical or routine: The not original in Feist
Journal of the American Society for Information Science and Technology
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
Reasoning about the unknown in static analysis
Communications of the ACM
Reasoning under inconsistency: A forgetting-based approach
Artificial Intelligence
SAT as a Programming Environment for Linear Algebra
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A refuted conjecture on probabilistic satisfiability
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
On the isomorphism problem of concept algebras
Annals of Mathematics and Artificial Intelligence
Generating Ambiguity in the Laboratory
Management Science
Elicitation of probabilities for belief networks: combining qualitative and quantitative information
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Probabilistic logic with strong independence
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
A probabilistic logic for information retrieval
ECIR'05 Proceedings of the 27th European conference on Advances in Information Retrieval Research
A note on negation: a PCS-Completion of semilattices
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
First-order Generalization of the MPMA Belief Update Operator
Fundamenta Informaticae
Bruno de Finetti and imprecision: Imprecise probability does not exist!
International Journal of Approximate Reasoning
A model for “crisp reasoning” with fuzzy sets
International Journal of Intelligent Systems
Real, complex, and binary semantic vectors
QI'12 Proceedings of the 6th international conference on Quantum Interaction
Journal of Artificial Intelligence Research
Solutions for hard and soft constraints using optimized probabilistic satisfiability
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
Usage of Fuzzy, Rough, and Soft Set Approach in Association Rule Mining
International Journal of Artificial Life Research
A survey of computational intelligence approaches for software reliability prediction
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.06 |