Search results for "Probabilistic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
66	Emad Saad	Probabilistic Reasoning by SAT Solvers.	ECSQARU	2009	DBLP DOI BibTeX RDF
61	Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, Giuseppe Sanfilippo	Probabilistic logic under coherence: complexity and algorithms.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	conditional probability assessment, logical constraint, conditional constraint, probabilistic logic under coherence, model-theoretic probabilistic logic, g-coherence, g-coherent entailment, algorithms, computational complexity
59	Thomas Lukasiewicz	Probabilistic logic programming with conditional constraints.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	conditional constraint, quantitative deduction, computational complexity, logic programming, probability, uncertainty, many-valued logic, probabilistic reasoning, probabilistic logic, probabilistic logic programming
51	Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis	Probabilistic data exchange.	ICDT	2010	DBLP DOI BibTeX RDF	probabilistic schema mapping, probabilistic solution, universal probabilistic solution, computational complexity, data integration, data exchange, probabilistic database, conjunctive query, certain answer
51	Jason George, Bo Marr, Bilge Saglam Akgul, Krishna V. Palem	Probabilistic arithmetic and energy efficient embedded signal processing.	CASES	2006	DBLP DOI BibTeX RDF	PCMOS, probabilistic arithmetic, low power, DSP, probabilistic computing
49	Emad Saad	Probabilistic Planning with Imperfect Sensing Actions Using Hybrid Probabilistic Logic Programs.	SUM	2009	DBLP DOI BibTeX RDF
48	Mark A. Girolami, Alexei Vinokourov, Ata Kabán	The Organization and Visualization of Document Corpora: A Probabilistic Approach.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	document corpora visualisation, generic probabilistic framework, unsupervised organisation, probabilistic hierarchical clustering, high-dimensional data collections, expectation maximisation algorithm, hierarchical probabilistic mixture methodology, asymmetric models, symmetric models, topographic relations, similar documents, latent trait model, vector space document representations, 2D grid, document handling, probabilistic approach, latent class models, text data, multinomial distribution, binomial distributions, document collections
48	Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan	Probabilistic Invariants for Probabilistic Machines.	ZB	2003	DBLP DOI BibTeX RDF	the B Method (B), Probability, probabilistic algorithms, weakest preconditions, program correctness, generalised substitutions
48	Ana Sokolova, Erik P. de Vink	Probabilistic Automata: System Types, Parallel Composition and Comparison.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF	probabilistic automata (transition systems), probabilistic bisimulation, preservation and reflection of bisimulation, non-determinism, parallel composition
47	Amol Deshpande	Increasing representational power and scaling reasoning in probabilistic databases.	ICDT	2010	DBLP DOI BibTeX RDF
47	Léa Meyer	Comparing the Power of Probabilistic Learning and Oracle Identification Under Monotonicity Constraints.	ALT	1998	DBLP DOI BibTeX RDF
47	Jianzhong Chen, Stephen H. Muggleton, José Carlos Almeida Santos	Learning probabilistic logic models from probabilistic examples.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Probabilistic inductive logic programming, Stochastic logic programs, Probabilistic examples, Abduction
46	Harald Nusser	A Generalization of Probabilistic Uniform Spaces.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	probabilistic semiuniform convergence spaces, (probabilistic) convergence spaces, (probabilistic) uniform spaces, topological universes, cartesian closedness, bireflective and bicoreflective subcategories, t-norms
46	T. S. Jayram, Andrew McGregor 0001, S. Muthukrishnan 0001, Erik Vee	Estimating statistical aggregates on probabilistic data streams.	PODS	2007	DBLP DOI BibTeX RDF	frequency moments, probabilistic streams, OLAP, mean, median
44	João Carlos Gluz, Rosa Maria Viccari, Cecilia Dias Flores, Louise J. Seixas	Formal Analysis of a Probabilistic Knowledge Communication Framework.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF	Probabilistic Knowledge Communication, Artificial Intelligence, Multiagent Systems, Agent Communication Languages, Probabilistic Logic
43	Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv	Incorporating constraints in probabilistic XML.	ACM Trans. Database Syst.	2009	DBLP DOI BibTeX RDF	probabilistic XML, sampling probabilistic data, constraints, Probabilistic databases
43	Andrea Calì, Thomas Lukasiewicz	An Approach to Probabilistic Data Integration for the Semantic Web.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF	Probabilistic data integration, probabilistic description logic programs, normal programs, probabilistic uncertainty, Semantic Web, description logics, well-founded semantics, answer set semantics
43	Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv	Incorporating constraints in probabilistic XML.	PODS	2008	DBLP DOI BibTeX RDF	probabilistic xml, sampling probabilistic data, constraints, probabilistic databases
43	Andrei Sabelfeld, David Sands 0001	Probabilistic Noninterference for Multi-Threaded Programs.	CSFW	2000	DBLP DOI BibTeX RDF	probabilistic bisimulation, probabilistic scheduling, probabilistic covert channels, hook-up, type-system-based analysis, semantics, confidentiality, noninterference
43	Emad Saad	Probabilistic Planning in Hybrid Probabilistic Logic Programs.	SUM	2007	DBLP DOI BibTeX RDF
43	Lakshmi N. Chakrapani, Pinar Korkmaz, Bilge Saglam Akgul, Krishna V. Palem	Probabilistic system-on-a-chip architectures.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Embedded systems, probabilistic computing
41	Dacheng Tao, Jimeng Sun 0001, Xindong Wu 0001, Xuelong Li 0001, Jialie Shen 0001, Stephen J. Maybank, Christos Faloutsos	Probabilistic Tensor Analysis with Akaike and Bayesian Information Criteria.	ICONIP (1)	2007	DBLP DOI BibTeX RDF	Akaike Information Criterion, Tensor, Probabilistic Inference, Probabilistic Principal Component Analysis, Bayesian Information Criterion
40	Krishna V. Palem, Lakshmi N. Chakrapani, Zvi M. Kedem, Lingamneni Avinash, Kirthi Krishna Muntimadugu	Sustaining moore's law in embedded computing through probabilistic and approximate design: retrospects and prospects.	CASES	2009	DBLP DOI BibTeX RDF	approximate arithmetic, approximate design, probabilistic CMOS, probabilistic arithmetic, probabilistic design, digital signal processing
39	T. S. Jayram, Andrew McGregor 0001, S. Muthukrishnan 0001, Erik Vee	Estimating statistical aggregates on probabilistic data streams.	ACM Trans. Database Syst.	2008	DBLP DOI BibTeX RDF	Probabilistic streams, frequency moments, OLAP, mean, median
39	Héctor Corrada Bravo, Raghu Ramakrishnan 0001	Optimizing mpf queries: decision support and probabilistic inference.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	aggregate queries, probabilistic inference
39	Luc De Raedt	Statistical Relational Learning: An Inductive Logic Programming Perspective.	PKDD	2005	DBLP DOI BibTeX RDF
38	Thomas Bernecker, Hans-Peter Kriegel, Matthias Renz, Florian Verhein, Andreas Züfle	Probabilistic frequent itemset mining in uncertain databases.	KDD	2009	DBLP DOI BibTeX RDF	probabilistic frequent itemsets, uncertain databases, frequent itemset mining, probabilistic data
38	Thomas Rölleke, Hengzhi Wu, Jun Wang 0032, Hany Azzam	Modelling retrieval models in a probabilistic relational algebra with a new operator: the relational Bayes.	VLDB J.	2008	DBLP DOI BibTeX RDF	DB + IR integration, Probabilistic databases, Retrieval models, Probabilistic relational modelling
38	Wojciech Ziarko	Partition Dependencies in Hierarchies of Probabilistic Decision Tables.	RSKT	2006	DBLP DOI BibTeX RDF	Probabilistic rough sets, decision table hierarchies, probabilistic dependencies
38	S. K. Michael Wong, Cory J. Butz	Constructing the Dependency Structure of a Multiagent Probabilistic Network.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	dependency structure, multiagent systems, data dependencies, probabilistic reasoning, conditional independence, Probabilistic networks
37	Anna Pogosyants, Roberto Segala, Nancy A. Lynch	Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study.	Distributed Comput.	2000	DBLP DOI BibTeX RDF	Randomized consensus, Verification, Performance analysis, Probabilistic automata
37	Norbert Fuhr, Ulrich Pfeifer	Probabilistic Information Retrieval as a Combination of Abstraction, Inductive Learning, and Probabilistic Assumptions.	ACM Trans. Inf. Syst.	1994	DBLP DOI BibTeX RDF	probabilistic indexing, logistic regression, controlled vocabulary, probabilistic retrieval
37	Tru H. Cao, Hoa Nguyen, Ma Nam	Modelling and Computing with Imprecise and Uncertain Properties in Object Bases.	Interval / Probabilistic Uncertainty and Non-Classical Logics	2008	DBLP DOI BibTeX RDF
37	Mingsheng Ying	Reasoning about probabilistic sequential programs in a probabilistic logic.	Acta Informatica	2003	DBLP DOI BibTeX RDF
36	Min Feng 0001, Rajiv Gupta 0001	Learning universal probabilistic models for fault localization.	PASTE	2010	DBLP DOI BibTeX RDF	bayesian network, fault localization, probabilistic inference, dynamic dependence graph
36	Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati 0001	Reasoning about actions with sensing under qualitative and probabilistic uncertainty.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	qualitative and probabilistic uncertainty, description logics, sensing, Reasoning about actions, imprecise probabilities, action languages
36	Usa Sammapun, Insup Lee 0001, Oleg Sokolsky, John Regehr	Statistical Runtime Checking of Probabilistic Properties.	RV	2007	DBLP DOI BibTeX RDF	statistical monitoring, Runtime verification, probabilistic properties
36	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Jeremy Sproston	Performance analysis of probabilistic timed automata using digital clocks.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Timed automata, Probabilistic model checking, Digital clocks
36	Krishna V. Palem	Energy Aware Computing through Probabilistic Switching: A Study of Limits.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	low-power design, Energy-aware systems, probabilistic computation
36	Sissades Tongsima, Edwin Hsing-Mean Sha, Chantana Chantrapornchai, David R. Surma, Nelson L. Passos	Probabilistic Loop Scheduling for Applications with Uncertain Execution Time.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	rotation scheduling, Scheduling, retiming, probabilistic approach, loop pipelining
36	Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne	Tank monitoring: a pAMN case study.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Probabilistic B, Probabilistic predicate transformers, Formal methods, Refinement
36	Elsa Carvalho, Jorge Cruz 0001, Pedro Barahona	Probabilistic Constraints for Inverse Problems.	Interval / Probabilistic Uncertainty and Non-Classical Logics	2008	DBLP DOI BibTeX RDF
36	Rolf Haenni, Jan-Willem Romeijn, Gregory R. Wheeler, Jon Williamson	Possible Semantics for a Common Framework of Probabilistic Logics.	Interval / Probabilistic Uncertainty and Non-Classical Logics	2008	DBLP DOI BibTeX RDF
36	Stephen H. Muggleton, Jianzhong Chen	A Behavioral Comparison of Some Probabilistic Logic Models.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
36	Luc De Raedt, Kristian Kersting	Probabilistic Inductive Logic Programming.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
35	Martin Pelikan	Probabilistic model-building genetic algorithms.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	genetic algorithm, optimization, learning, evolutionary computation, bayesian network, probabilistic model, estimation of distribution algorithm, eda, probabilistic model-building genetic algorithm
35	Benny Kimelfeld, Yuri Kosharovsky, Yehoshua Sagiv	Query evaluation over probabilistic XML.	VLDB J.	2009	DBLP DOI BibTeX RDF	Probabilistic XML, Approximate query evaluation, Query processing, Query optimization, Probabilistic databases
35	Jian Li 0015, Amol Deshpande	Consensus answers for queries over probabilistic databases.	PODS	2009	DBLP DOI BibTeX RDF	consensus answers, probabilistic and/xor tree, query processing, probabilistic databases, rank aggregation
35	Martin Pelikan	Probabilistic model-building genetic algorithms.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	genetic algorithm, optimization, learning, evolutionary computation, bayesian network, probabilistic model, estimation of distribution algorithm, EDA, probabilistic model-building genetic algorithm
35	Martin Pelikan	Probabilistic model-building genetic algorithms.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	pmbga, genetic algorithm, optimization, machine learning, evolutionary computation, probabilistic model, estimation of distribution algorithm, eda, probabilistic model-building genetic algorithm
35	Lars Grunske	Specification patterns for probabilistic quality properties.	ICSE	2008	DBLP DOI BibTeX RDF	csl, pctl, pctl*, probabilistic quality, probabilistic quality patterns, security, performance, reliability, safety, specification patterns
35	Frank Ciesinski, Marcus Größer	On Probabilistic Computation Tree Logic.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF	PCTL, PCTL*, probabilistic deterministic systems, probabilistic nondeterministic systems, quantitative model checking, scheduler, fairness, Markov decision processes, discrete time Markov chains
35	Fábio Gagliardi Cozman, Denis Deratani Mauá	Probabilistic Graphical Models Specified by Probabilistic Logic Programs: Semantics and Complexity.	Probabilistic Graphical Models	2016	DBLP BibTeX RDF
35	Manfred Jaeger	Probabilistic Decision Graphs - Combining Verification and AI Techniques for Probabilistic Inference.	Probabilistic Graphical Models	2002	DBLP BibTeX RDF
34	Michael P. Wellman, Max Henrion	Explaining 'Explaining Away'.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	causal explanation, general qualitative probabilistic analysis, intercausal reasoning, product synergy, qualitative probabilistic network, probabilistic belief, Occam's razor, probability, inference, inference mechanisms, explanation, uncertainty handling, belief maintenance
34	Kenneth W. Fertig, John S. Breese	Probability Intervals Over Influence Diagrams.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	Bayesian conditioning, point-valued probabilistic inference mechanisms, computational complexity, lower bounds, probability, sensitivity analysis, sensitivity analysis, inference mechanisms, Bayes methods, probability distributions, probabilistic reasoning, uncertainty handling, influence diagrams, probabilistic queries, conditional expectation
34	Prithviraj Sen, Amol Deshpande	Representing and Querying Correlated Tuples in Probabilistic Databases.	ICDE	2007	DBLP DOI BibTeX RDF
34	Thomas Lukasiewicz	Tractable Probabilistic Description Logic Programs.	SUM	2007	DBLP DOI BibTeX RDF
34	Emad Saad, Enrico Pontelli	Hybrid Probabilistic Logic Programs with Non-monotonic Negation.	ICLP	2005	DBLP DOI BibTeX RDF
34	Daniele Varacca, Hagen Völzer, Glynn Winskel	Probabilistic Event Structures and Domains.	CONCUR	2004	DBLP DOI BibTeX RDF
33	Fabio Crestani, Mounia Lalmas, C. J. van Rijsbergen, Iain Campbell	"Is This Document Relevant? ... Probably": A Survey of Probabilistic Models in Information Retrieval.	ACM Comput. Surv.	1998	DBLP DOI BibTeX RDF	probabilistic indexing, uncertain inference modeling, information retrieval, probabilistic modeling, probabilistic retrieval
33	Bengt Jonsson 0001, Wang Yi 0001	Fully Abstract Characterization of Probabilistic May Testing.	ARTS	1999	DBLP DOI BibTeX RDF
33	András Prékopa	Static Stochastic Programming Models.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Stochastic programming problem, Underlying deterministic problem, Probabilistic constraint, Individual probabilistic constraints, Joint probabilistic constraint, Programming under probabilistic constraint, Recourse model, Hybrid model
33	Evgeny Kharlamov, Werner Nutt, Pierre Senellart	Updating probabilistic XML.	EDBT/ICDT Workshops	2010	DBLP DOI BibTeX RDF	XML, complexity, updates, probabilistic databases
33	Prithviraj Sen, Amol Deshpande, Lise Getoor	PrDB: managing and exploiting rich correlations in probabilistic databases.	VLDB J.	2009	DBLP DOI BibTeX RDF	Lifted inference, Query processing, Graphical models, Bisimulation, Probabilistic databases, Uncertain databases
33	Luc De Raedt	Probabilistic Logic Learning - A Tutorial Abstract.	ICLP	2009	DBLP DOI BibTeX RDF	probabilistic logic learning, logic and learning, logic programming, inductive logic programming, statistical relational learning
33	Yixiang Chen, Hengyang Wu	Semantics of sub-probabilistic programs.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	sub-probabilistic programs, wp-calculus, total correctness
33	Zuobing Xu, Ram Akella	A new probabilistic retrieval model based on the dirichlet compound multinomial distribution.	SIGIR	2008	DBLP DOI BibTeX RDF	probabilistic retrieval model, language model, dirichlet distribution, multinomial distribution
33	Ning Lü, Xiong Wang	A Probabilistic SDG Approach to Fault Diagnosis of Industrial Systems.	ICIC (3)	2007	DBLP DOI BibTeX RDF	Probabilistic SDG, Qualitative SDG, Synthetic ammonia, Fault diagnosis, Bayesian network
33	Christel Baier, Marta Z. Kwiatkowska	Model Checking for a Probabilistic Branching Time Logic with Fairness.	Distributed Comput.	1998	DBLP DOI BibTeX RDF	Probabilistic processes, Verification, Temporal logic, Fairness
33	Norbert Fuhr, Thomas Rölleke	A Probabilistic Relational Algebra for the Integration of Information Retrieval and Database Systems.	ACM Trans. Inf. Syst.	1997	DBLP DOI BibTeX RDF	hypertext retrieval, logical retrieval model, uncortain data, vague predicates, relational data model, probabilistic retrieval, imprecise data
33	Niels Landwehr, Taneli Mielikäinen	Probabilistic Logic Learning from Haplotype Data.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
33	Taisuke Sato, Yoshitaka Kameya	New Advances in Logic-Based Probabilistic Modeling by PRISM.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
32	Serge Abiteboul, Benny Kimelfeld, Yehoshua Sagiv, Pierre Senellart	On the expressiveness of probabilistic XML models.	VLDB J.	2009	DBLP DOI BibTeX RDF	Probabilistic XML, XML, Updates, Expressiveness, Probabilistic databases
32	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Rule-Based Approaches for Representing Probabilistic Ontology Mappings.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF	Representing probabilistic ontology mappings, rule languages, probabilistic description logic programs, Bayesian probabilities, Bayesian description logic programs, Semantic Web, Bayesian networks, uncertainty, description logics, Datalog, inconsistency, disjunctive logic programs, answer set semantics
32	Laurence Anthony F. Park, Kotagiri Ramamohanarao	The Effect of Weighted Term Frequencies on Probabilistic Latent Semantic Term Relationships.	SPIRE	2008	DBLP DOI BibTeX RDF	information retrieval, probabilistic model, probabilistic latent semantic analysis
32	Thomas Eiter, James J. Lu, Thomas Lukasiewicz, V. S. Subrahmanian	Probabilistic object bases.	ACM Trans. Database Syst.	2001	DBLP DOI BibTeX RDF	probabilistic object algebra, probabilistic object base, probability, Consistency, query optimization, query language, object-oriented database
32	Jorge S. Marques, Arnaldo J. Abrantes	A class of probabilistic shape models.	CVPR	1997	DBLP DOI BibTeX RDF	probabilistic shape models, data representation methods, fuzzy energy function, c-means map, probabilistic extension, Gibbs-Boltzman distributions, log partition function, analytic expressions, data structures, deformable models, snakes, Bayesian framework, Kohonen maps, fuzzy maps, elastic nets
32	Too-Seng Tia, Zhong Deng, Mallikarjun Shankar, Matthew F. Storch, Jun Sun 0002, L.-C. Wu, Jane W.-S. Liu	Probabilistic performance guarantee for real-time tasks with varying computation times.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	probabilistic performance guarantee, varying computation times, schedulability analysis methods, semi-periodic tasks, regularly released requests, total maximum task utilization, probabilistic time-demand analysis, transform-task method, scheduling, real-time systems, computational complexity, probability, scheduling algorithms, software performance evaluation, programming theory, sporadic task, real-time tasks
32	Raj Bhatnagar, Laveen N. Kanal	Structural and Probabilistic Knowledge for Abductive Reasoning.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	structural knowledge, qualitative relationships learning, probabilistic knowledge, learning (artificial intelligence), knowledge engineering, inference mechanisms, explanation, probabilistic logic, abductive reasoning, conditional entropy
31	Jeremy Sproston	Strict Divergence for Probabilistic Timed Automata.	CONCUR	2009	DBLP DOI BibTeX RDF
31	Larissa Meinicke, Ian J. Hayes	Probabilistic Choice in Refinement Algebra.	MPC	2008	DBLP DOI BibTeX RDF
31	Graham Cormode, Minos N. Garofalakis	Sketching probabilistic data streams.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	data streams, uncertain data
31	Emad Saad	Towards the Computation of Stable Probabilistic Model Semantics.	KI	2006	DBLP DOI BibTeX RDF
31	Satoshi Yamane, Takashi Kanatani	Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing.	EUC	2004	DBLP DOI BibTeX RDF
31	Satoshi Yamane	Deductive Verification of Probabilistic Real-Time Systems.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
31	Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston	Symbolic Computation of Maximal Probabilistic Reachability.	CONCUR	2001	DBLP DOI BibTeX RDF
31	Carroll Morgan, Annabelle McIver, Karen Seidel 0002	Probabilistic Predicate Transformers.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	probability, refinement, nondeterminism, weakest preconditions, Galois connection, predicate transformers, program derivation
31	Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka	Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
30	Kristian Kersting, Luc De Raedt	Basic Principles of Learning Bayesian Logic Programs.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
30	Manfred Jaeger	Model-Theoretic Expressivity Analysis.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
30	Samy Abbes, Albert Benveniste	Concurrency, sigma-Algebras, and Probabilistic Fairness.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Probabilistic Petri nets, probabilistic event structures, probabilistic fairness, true-concurrency
30	Michael Pittarelli	An Algebra for Probabilistic Databases.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	probabilistic data model, probabilistic algebra, /spl alpha/-acyclic database schemes, homomorphic image, statistical smoothing procedure, Bayes networks, data structures, probability, decision support systems, database management systems, Markov processes, decision support, database theory, relational algebra, relational algebra, algebra, Bayes methods, probabilistic databases, uncertainty handling, Markov networks, uncertain information
30	Geoffrey Smith 0001	Probabilistic Noninterference through Weak Probabilistic Bisimulation.	CSFW	2003	DBLP DOI BibTeX RDF
30	Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston	Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
30	Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, Giuseppe Sanfilippo	Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning.	ECSQARU	2001	DBLP DOI BibTeX RDF
30	Jeffrey Jestes, Feifei Li 0001, Zhepeng Yan, Ke Yi 0001	Probabilistic string similarity joins.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	approximate string queries, probabilistic strings, string joins
30	Bhargav Kanagal, Amol Deshpande	Lineage processing over correlated probabilistic databases.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	indexing, probabilistic databases, conjunctive queries, lineage, junction trees
30	Serge Abiteboul, T.-H. Hubert Chan, Evgeny Kharlamov, Werner Nutt, Pierre Senellart	Aggregate queries for discrete and continuous probabilistic XML.	ICDT	2010	DBLP DOI BibTeX RDF	XML, algorithms, complexity, aggregation, probabilistic databases
30	Xi Zhang, Jan Chomicki	Semantics and evaluation of top-k queries in probabilistic databases.	Distributed Parallel Databases	2009	DBLP DOI BibTeX RDF	Query processing, Probabilistic database, Top-k query, Ranking query