Knowledge, probability, and adversaries
Journal of the ACM (JACM)
Reasoning about knowledge and probability
Journal of the ACM (JACM)
Probabilistic predicate transformers
ACM Transactions on Programming Languages and Systems (TOPLAS)
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
Stochastic processes as concurrent constraint programs
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Computational Logic (TOCL)
Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic (TOCL)
Probabilistic temporal databases, I: algebra
ACM Transactions on Database Systems (TODS)
ACM Transactions on Database Systems (TODS)
Agents dealing with time and uncertainty
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Set-theoretic completeness for epistemic and conditional logic
Annals of Mathematics and Artificial Intelligence
Probabilistic Reasoning Under Coherence in System P
Annals of Mathematics and Artificial Intelligence
Probabilistic Default Reasoning with Conditional Constraints
Annals of Mathematics and Artificial Intelligence
Journal of Logic, Language and Information
Axiomatization of frequent itemsets
Theoretical Computer Science
Complexity results for structure-based causality
Artificial Intelligence
Axiomatization of Frequent Sets
ICDT '01 Proceedings of the 8th International Conference on Database Theory
ICDT '03 Proceedings of the 9th International Conference on Database Theory
The modal logic of probability
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Probalilistic Logic Programming under Maximum Entropy
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
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
A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A Logic of Probability with Decidable Model-Checking
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Quantified beliefs and believed quantities
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Betting boolean-style: a framework for trading in securities based on logical formulas
Proceedings of the 4th ACM conference on Electronic commerce
A fuzzy modal logic for belief functions
Fundamenta Informaticae
Reasoning about Uncertain Contexts in Pervasive Computing Environments
IEEE Pervasive Computing
Combining probabilistic logic programming with the power of maximum entropy
Artificial Intelligence - Special issue on nonmonotonic reasoning
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Aggregate operators in probabilistic databases
Journal of the ACM (JACM)
Positive and negative expectations and the deontic nature of social conventions
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Betting Boolean-style: a framework for trading in securities based on logical formulas
Decision Support Systems - Special issue: The fourth ACM conference on electronic commerce
ACM SIGACT News
Approximate Inverse Frequent Itemset Mining: Privacy, Complexity, and Approximation
ICDM '05 Proceedings of the Fifth IEEE International Conference on Data Mining
Probabilistic logic under coherence: complexity and algorithms
Annals of Mathematics and Artificial Intelligence
Heterogeneous temporal probabilistic agents
ACM Transactions on Computational Logic (TOCL)
Weak nonmonotonic probabilistic logics
Artificial Intelligence
Anonymity and information hiding in multiagent systems
Journal of Computer Security
Logics for reasoning about cryptographic constructions
Journal of Computer and System Sciences - Special issue on FOCS 2003
Weakly complete axiomatization of exogenous quantum propositional logic
Information and Computation
Complexity of Fuzzy Probability Logics
Fundamenta Informaticae
A probabilistic logic based on the acceptability of gambles
International Journal of Approximate Reasoning
International Journal of Approximate Reasoning
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Satisfiability and Meaning of Formulas and Sets of Formulas in Approximation Spaces
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Mixed Rational Assessments of Possibility and Probability Measures
Electronic Notes in Theoretical Computer Science (ENTCS)
Characterizing and reasoning about probabilistic and non-probabilistic expectation
Journal of the ACM (JACM)
Reasoning about probabilistic sequential programs
Theoretical Computer Science
ACM Transactions on Computational Logic (TOCL)
Complexity of fuzzy probability logics II
Fuzzy Sets and Systems
A Logical Formulation of Probabilistic Spatial Databases
IEEE Transactions on Knowledge and Data Engineering
Merging the local and global approaches to probabilistic satisfiability
International Journal of Approximate Reasoning
Dealing with logical omniscience
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Expressive probabilistic description logics
Artificial Intelligence
Itemset frequency satisfiability: Complexity and axiomatization
Theoretical Computer Science
The ECORA framework: A hybrid architecture for context-oriented pervasive computing
Pervasive and Mobile Computing
Annals of Mathematics and Artificial Intelligence
Probabilistic description logic programs under inheritance with overriding for the Semantic Web
International Journal of Approximate Reasoning
Specifying and reasoning about uncertain agents
International Journal of Approximate Reasoning
A logic with approximate conditional probabilities that can model default reasoning
International Journal of Approximate Reasoning
ACM Transactions on Information and System Security (TISSEC)
Towards an Epistemic Logic for Uncertain Agents
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Finding Most Probable Worlds of Probabilistic Logic Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Scaling Most Probable World Computations in Probabilistic Logic Programs
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
How to Restore Compactness into Probabilistic Logics?
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Approximate lineage for probabilistic databases
Proceedings of the VLDB Endowment
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Managing uncertainty and vagueness in description logics for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Probabilistic Logic over Paths
Electronic Notes in Theoretical Computer Science (ENTCS)
Pr$\mathcal{SH}$: A Belief Description Logic
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Temporalization of Probabilistic Propositional Logic
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Qualitative Possibilities and Necessities
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Using Histograms to Better Answer Queries to Probabilistic Logic Programs
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
A logic for reasoning about evidence
Journal of Artificial Intelligence Research
A logic for reasoning about upper probabilities
Journal of Artificial Intelligence Research
Random worlds and maximum entropy
Journal of Artificial Intelligence Research
Probabilistic deduction with conditional constraints over basic events
Journal of Artificial Intelligence Research
Inconsistency as qualified truth: A probability logic approach
International Journal of Approximate Reasoning
A fuzzy modal logic for belief functions
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Models and algorithms for probabilistic and Bayesian logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
The theory of interval probabilistic logic programs
Annals of Mathematics and Artificial Intelligence
Weak nonmonotonic probabilistic logics
Artificial Intelligence
Betting Boolean-style: a framework for trading in securities based on logical formulas
Decision Support Systems - Special issue: The fourth ACM conference on electronic commerce
Reasoning About Imperative Quantum Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Weakly complete axiomatization of exogenous quantum propositional logic
Information and Computation
A probabilistic approach to navigation in Hypertext
Information Sciences: an International Journal
Graphical models for imprecise probabilities
International Journal of Approximate Reasoning
A survey of context modelling and reasoning techniques
Pervasive and Mobile Computing
Reasoning about hybrid probabilistic knowledge bases
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
A complete probabilistic belief logic
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
PrDLs: a new kind of probabilistic description logics about belief
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
A probabilistic logic with polynomial weight formulas
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Probability Logic of Finitely Additive Beliefs
Journal of Logic, Language and Information
Probabilistic Logic with Conditional Independence Formulae
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Annotated probabilistic temporal logic
ACM Transactions on Computational Logic (TOCL)
Randomisation and derandomisation in descriptive complexity theory
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Dealing with logical omniscience: Expressiveness and pragmatics
Artificial Intelligence
Cost-based query answering in action probabilistic logic programs
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Probabilistic Logic with Conditional Independence Formulae
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
TAMC'11 Proceedings of the 8th annual conference on Theory and applications of models of computation
Continuous improvement through knowledge-guided analysis in experience feedback
Engineering Applications of Artificial Intelligence
A branching time logic with two types of probability operators
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Quantifier elimination for statistical problems
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
A logic for reasoning about upper probabilities
UAI'01 Proceedings of the Seventeenth conference on Uncertainty in artificial intelligence
Probabilistic logic programming under inheritance with overriding
UAI'01 Proceedings of the Seventeenth conference on Uncertainty in artificial intelligence
Magic inference rules for probabilistic deduction under taxonomic knowledge
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Empirical probabilities in monadic deductive databases
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Revisiting the semantics of interval probabilistic logic programs
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Probabilistic ontologies and relational databases
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
A logic for reasoning about evidence
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Non-monotonic negation in probabilistic deductive databases
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Reasoning about states of probabilistic sequential programs
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
A logic with coherent conditional probabilities
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Unifying logical and probabilistic reasoning
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A hybrid genetic and variable neighborhood descent for probabilistic SAT problem
HM'05 Proceedings of the Second international conference on Hybrid Metaheuristics
On the combination of logical and probabilistic models for information analysis
Applied Intelligence
Annotated Probabilistic Temporal Logic: Approximate Fixpoint Implementation
ACM Transactions on Computational Logic (TOCL)
A logic for quantum circuits and protocols
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
A probabilistic temporal logic that can model reasoning about evidence
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
On lifted inference for a relational probabilistic conditional logic with maximum entropy semantics
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
On real-valued evaluation of propositional formulas
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Focused most probable world computations in probabilistic logic programs
Annals of Mathematics and Artificial Intelligence
Satisfiability and Meaning of Formulas and Sets of Formulas in Approximation Spaces
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
A Fuzzy Modal Logic for Belief Functions
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Complexity of Fuzzy Probability Logics
Fundamenta Informaticae
A propositional probabilistic logic with discrete linear time for reasoning about evidence
Annals of Mathematics and Artificial Intelligence
Parallel Abductive Query Answering in Probabilistic Logic Programs
ACM Transactions on Computational Logic (TOCL)
Belief functions on distributive lattices
Artificial Intelligence
Probabilistic satisfiability and coherence checking through integer programming
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A simple logic for reasoning about incomplete knowledge
International Journal of Approximate Reasoning
Hi-index | 0.00 |