Fábio Gagliardi Cozman

According to our database1, Fábio Gagliardi Cozman authored at least 143 papers between 1995 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Complexity results for probabilistic answer set programming.
Int. J. Approx. Reason., 2020

2019
Speeding up parameter and rule learning for acyclic probabilistic logic programs.
Int. J. Approx. Reason., 2019

The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws.
Int. J. Approx. Reason., 2019

Measuring Unfairness through Game-Theoretic Interpretability.
CoRR, 2019

Graphoid Properties of Variants of Epistemic Independence Based on Regular Conditioning.
Proceedings of the International Symposium on Imprecise Probabilities: Theories and Applications, 2019

The Joy of Probabilistic Answer Set Programming.
Proceedings of the International Symposium on Imprecise Probabilities: Theories and Applications, 2019

Explaining Completions Produced by Embeddings of Knowledge Graphs.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

Explaining Content-Based Recommendations with Topic Models.
Proceedings of the 8th Brazilian Conference on Intelligent Systems, 2019

Automatic Summarization of Technical Documents in the Oil and Gas Industry.
Proceedings of the 8th Brazilian Conference on Intelligent Systems, 2019

Natural Language Explanations of Classifier Behavior.
Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019

2018
Robustifying sum-product networks.
Int. J. Approx. Reason., 2018

Evenly convex credal sets.
Int. J. Approx. Reason., 2018

On the Coherence of Probabilistic Relational Formalisms.
Entropy, 2018

Interpreting Embedding Models of Knowledge Bases: A Pedagogical Approach.
CoRR, 2018

The complexity of Bayesian networks specified by propositional and relational languages.
Artif. Intell., 2018

A Fully Attention-Based Information Retriever.
Proceedings of the 2018 International Joint Conference on Neural Networks, 2018

The Finite Model Theory of Bayesian Networks: Descriptive Complexity.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017
On the Semantics and Complexity of Probabilistic Logic Programs.
J. Artif. Intell. Res., 2017

The effect of combination functions on the complexity of relational Bayesian networks.
Int. J. Approx. Reason., 2017

On the complexity of propositional and relational credal networks.
Int. J. Approx. Reason., 2017

Speeding-up ProbLog's Parameter Learning.
CoRR, 2017

Closed-Form Solutions in Learning Probabilistic Logic Programs by Exact Score Maximization.
Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

Credal Sum-Product Networks.
Proceedings of the Tenth International Symposium on Imprecise Probability: Theories and Applications, 2017

Modeling Markov Decision Processes with Imprecise Probabilities Using Probabilistic Logic Programming.
Proceedings of the Tenth International Symposium on Imprecise Probability: Theories and Applications, 2017

The Complexity of Inferences and Explanations in Probabilistic Logic Programming.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017

The Descriptive Complexity of Bayesian Network Specifications.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017

2016
Probabilistic self-localisation on a qualitative map based on occlusions.
J. Exp. Theor. Artif. Intell., 2016

Fast local search methods for solving limited memory influence diagrams.
Int. J. Approx. Reason., 2016

First-Order Bayesian Network Specifications Capture the Complexity Class PP.
CoRR, 2016

Probabilistic Graphical Models Specified by Probabilistic Logic Programs: Semantics and Complexity.
Proceedings of the Probabilistic Graphical Models - Eighth International Conference, 2016

The Structure and Complexity of Credal Semantics.
Proceedings of the 3rd International Workshop on Probabilistic Logic Programming co-located with 26th International Conference on Inductive Logic Programming (ILP 2016), 2016

Image Classification Using Sum-Product Networks for Autonomous Flight of Micro Aerial Vehicles.
Proceedings of the 5th Brazilian Conference on Intelligent Systems, 2016

Markov Decision Processes Specified by Probabilistic Logic Programming: Representation and Solution.
Proceedings of the 5th Brazilian Conference on Intelligent Systems, 2016

Effect of Part-of-Speech and Lemmatization Filtering in Email Classification for Automatic Reply.
Proceedings of the Knowledge Extraction from Text, 2016

2015
Evaluation of linear relaxations in Ad Network optimization for online marketing.
J. Braz. Comp. Soc., 2015

Generalized probabilistic satisfiability through integer programming.
J. Braz. Comp. Soc., 2015

Probabilistic satisfiability and coherence checking through integer programming.
Int. J. Approx. Reason., 2015

Imprecise Probability: Theories and Applications (ISIPTA'13).
Int. J. Approx. Reason., 2015

DL-Lite Bayesian Networks: A Tractable Probabilistic Graphical Model.
Proceedings of the Scalable Uncertainty Management - 9th International Conference, 2015

The Complexity of Plate Probabilistic Models.
Proceedings of the Scalable Uncertainty Management - 9th International Conference, 2015

The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Bayesian Networks Specified Using Propositional and Relational Constructs: Combined, Data, and Domain Complexity.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Towards classifying propositional probabilistic logics.
J. Appl. Log., 2014

Preface.
Int. J. Approx. Reason., 2014

Kuznetsov independence for interval-valued expectations and sets of probability distributions: Properties and algorithms.
Int. J. Approx. Reason., 2014

Learning imprecise probability models: Conceptual and practical challenges.
Int. J. Approx. Reason., 2014

Logic-probabilistic model for event recognition in a robotic search and rescue scenario.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Probabilistic Relational Reasoning in Semantic Robot Navigation.
Proceedings of the 10th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014

Computing Inferences for Relational Bayesian Networks Based on ALC Constructs.
Proceedings of the Uncertainty Reasoning for the Semantic Web III, 2014

Speeding Up k-Neighborhood Local Search in Limited Memory Influence Diagrams.
Proceedings of the Probabilistic Graphical Models - 7th European Workshop, 2014

Inference with Aggregation Parfactors: Lifted Elimination with First-Order d-Separation.
Proceedings of the 2014 Brazilian Conference on Intelligent Systems, 2014

2013
Link prediction using a probabilistic description logic.
J. Braz. Comp. Soc., 2013

A model for inference of emotional state based on facial expressions.
J. Braz. Comp. Soc., 2013

Independence for full conditional probabilities: Structure, factorization, non-uniqueness, and Bayesian networks.
Int. J. Approx. Reason., 2013

Reasoning about shadows in a mobile robot environment.
Appl. Intell., 2013

Probabilistic logic for multi-robot event recognition.
Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics, 2013

Reusing Risk-Aware Stochastic Abstract Policies in Robotic Navigation Learning.
Proceedings of the RoboCup 2013: Robot World Cup XVII [papers from the 17th Annual RoboCup International Symposium, 2013

Assertion Role in a Hybrid Link Prediction Approach through Probabilistic Ontology.
Proceedings of the 6th Seminar on Ontology Research in Brazil, 2013

Ad Network Optimization: Evaluating Linear Relaxations.
Proceedings of the Brazilian Conference on Intelligent Systems, 2013

A Qualitative-Probabilistic Approach to Autonomous Mobile Robot Self Localisation and Self Vision Calibration.
Proceedings of the Brazilian Conference on Intelligent Systems, 2013

Generalized Probabilistic Satisfiability.
Proceedings of the Brazilian Conference on Intelligent Systems, 2013

Speeding-up reinforcement learning through abstraction and transfer learning.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Complexity of Inferences in Polytree-shaped Semi-Qualitative Probabilistic Networks.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
Sets of probability distributions, independence, and convexity.
Synthese, 2012

Propositional and Relational Bayesian Networks Associated with Imprecise and Qualitative Probabilistic Assesments
CoRR, 2012

Proceedings of the Twenty-Seventh Conference on Uncertainty in Artificial Intelligence (2011)
CoRR, 2012

Computing Inferences for Credal ALC Terminologies.
Proceedings of the 8th International Workshop on Uncertainty Reasoning for the Semantic Web, 2012

An Experimental Evaluation of a Scalable Probabilistic Description Logic Approach for Semantic Link Prediction.
Proceedings of the 8th International Workshop on Uncertainty Reasoning for the Semantic Web, 2012

2011
A Dynamic Model for Identification of Emotional Expressions.
Polibits, 2011

Using mathematical programming to solve Factored Markov Decision Processes with Imprecise Probabilities.
Int. J. Approx. Reason., 2011

Sequential decision making with partially ordered preferences.
Artif. Intell., 2011

Semantic Link Prediction through Probabilistic Description Logics.
Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2011), 2011

Simultaneous Abstract and Concrete Reinforcement Learning.
Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, 2011

Learning Probabilistic Description Logics: A Framework and Algorithms.
Proceedings of the Advances in Artificial Intelligence, 2011

Crawling to Improve Multimodal Emotion Detection.
Proceedings of the Advances in Soft Computing, 2011

Satisfiability in EL with Sets of Probabilistic ABoxes.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Collective Classification in Semantic Mapping with a Probabilistic Description Logic.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010
Concentration inequalities and laws of large numbers under epistemic and regular irrelevance.
Int. J. Approx. Reason., 2010

Learning Sentences and Assessments in Probabilistic Description Logics.
Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010), 2010

Semantic Query Extension through Probabilistic Description Logics.
Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010), 2010

Learning Terminologies in Probabilistic Description Logics.
Proceedings of the Advances in Artificial Intelligence - SBIA 2010, 2010

Semantic Mapping with a Probabilistic Description Logic.
Proceedings of the Advances in Artificial Intelligence - SBIA 2010, 2010

Markov Decision Processes from Colored Petri Nets.
Proceedings of the Advances in Artificial Intelligence - SBIA 2010, 2010

Probabilistic Logic Encoding of Spatial Domains.
Proceedings of the First International Workshop on Uncertainty in Description Logics, 2010

2009
Combining Probability and Logic.
J. Appl. Log., 2009

Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence.
J. Appl. Log., 2009

Complexity Analysis and Variational Inference for Interpretation-based Probabilistic Description Logic.
Proceedings of the UAI 2009, 2009

An Algorithm for Learning with Probabilistic Description Logics.
Proceedings of the Fifth International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2009), 2009

Efficient Solutions to Factored MDPs with Imprecise Transition Probabilities.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008
Approximate algorithms for credal networks with binary variables.
Int. J. Approx. Reason., 2008

Probabilistic logic with independence.
Int. J. Approx. Reason., 2008

Loopy Propagation in a Probabilistic Description Logic.
Proceedings of the Scalable Uncertainty Management, Second International Conference, 2008

Inference in Probabilistic Ontologies with Attributive Concept Descriptions and Nominals.
Proceedings of the Fourth International Workshop on Uncertainty Reasoning for the Semantic Web, 2008

Strong Probabilistic Planning.
Proceedings of the MICAI 2008: Advances in Artificial Intelligence, 2008

2007
Notes on "Notes on conditional previsions".
Int. J. Approx. Reason., 2007

Reasoning with imprecise probabilities.
Int. J. Approx. Reason., 2007

Computing lower and upper expectations under epistemic independence.
Int. J. Approx. Reason., 2007

Planning under Risk and Knightian Uncertainty.
Proceedings of the IJCAI 2007, 2007

2006
Dealing with Imprecise Probabilities: Interval-Related Talks at ISIPTA'05.
Reliable Computing, 2006

Binarization Algorithms for Approximate Updating in Credal Nets.
Proceedings of the STAIRS 2006, 2006

Unifying Nondeterministic and Probabilistic Planning Through Imprecise Markov Decision Processes.
Proceedings of the Advances in Artificial Intelligence, 2006

Probabilistic Logic with Strong Independence.
Proceedings of the Advances in Artificial Intelligence, 2006

Risks of Semi-Supervised Learning: How Unlabeled Data Can Degrade Performance of Generative Classifiers.
Proceedings of the Semi-Supervised Learning, 2006

2005
Learning probabilistic classifiers for human-computer interaction applications.
Multimedia Syst., 2005

Inference in credal networks: branch-and-bound methods and the A/R+ algorithm.
Int. J. Approx. Reason., 2005

Anytime anyspace probabilistic inference.
Int. J. Approx. Reason., 2005

Graphical models for imprecise probabilities.
Int. J. Approx. Reason., 2005

Graphoid properties of epistemic irrelevance and independence.
Ann. Math. Artif. Intell., 2005

Belief Updating and Learning in Semi-Qualitative Probabilistic Networks.
Proceedings of the UAI '05, 2005

Approximate Inference in Credal Networks by Variational Mean Field Methods.
Proceedings of the ISIPTA '05, 2005

The Inferential Complexity of Bayesian and Credal Networks.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004
Semisupervised Learning of Classifiers: Theory, Algorithms, and Their Application to Human-Computer Interaction.
IEEE Trans. Pattern Anal. Mach. Intell., 2004

Propositional and Relational Bayesian Networks Associated with Imprecise and Qualitat.
Proceedings of the UAI '04, 2004

Generating Random Bayesian Networks with Constraints on Induced Width.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Axiomatizing Noisy-OR.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
Inference in Polytrees with Sets of Probabilities.
Proceedings of the UAI '03, 2003

Semi-supervised learning for facial expression recognition.
Proceedings of the 5th ACM SIGMM International Workshop on Multimedia Information Retrieval, 2003

Inference in Credal Networks with Branch-and-Bound Algorithms.
Proceedings of the ISIPTA '03, 2003

Computing Lower Expectations with Kuznetsov's Independence Condition.
Proceedings of the ISIPTA '03, 2003

Semi-Supervised Learning of Mixture Models.
Proceedings of the Machine Learning, 2003

Learning Bayesian Network Classifiers for Facial Expression Recognition using both Labeled and Unlabeled Data.
Proceedings of the 2003 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2003), 2003

2002
Inference with Seperately Specified Sets of Probabilities in Credal Networks.
Proceedings of the UAI '02, 2002

Evidence Propagation in Credal Networks: An Exact Algorithm Based on Separately Specified Sets of Probability.
Proceedings of the Advances in Artificial Intelligence, 2002

Random Generation of Bayesian Networks.
Proceedings of the Advances in Artificial Intelligence, 2002

Unlabeled Data Can Degrade Classification Performance of Generative Classifiers.
Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, 2002

Algorithms for Conditioning on Events of Zero Lower Probability.
Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, 2002

2001
Constructing Sets of Probability Measures Through Kuznetsov's Independence Condition.
Proceedings of the ISIPTA '01, 2001

2000
Reasoning with imprecise probabilities.
Int. J. Approx. Reason., 2000

Computing posterior upper expectations.
Int. J. Approx. Reason., 2000

Outdoor Visual Position Estimation for Planetary Rovers.
Auton. Robots, 2000

Credal networks.
Artif. Intell., 2000

Separation Properties of Sets of Probability Measures.
Proceedings of the UAI '00: Proceedings of the 16th Conference in Uncertainty in Artificial Intelligence, Stanford University, Stanford, California, USA, June 30, 2000

1999
Irrelevance and Independence Axioms in Quasi-Bayesian Theory.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

1998
Irrelevance and Independence Relations in quasi-Bayesian Networks.
Proceedings of the UAI '98: Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence, 1998

Industrial applications of image mosaicing and stabilization.
Proceedings of the Knowledge-Based Intelligent Electronic Systems, 1998

Fast software image stabilization with color registration.
Proceedings of the Proceedings 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, 1998

1997
Robustness Analysis of Bayesian Networks with Local Convex Sets of Distributions.
Proceedings of the UAI '97: Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence, 1997

Automatic mountain detection and pose estimation for teleoperation of lunar rovers.
Proceedings of the 1997 IEEE International Conference on Robotics and Automation, 1997

Depth from Scattering.
Proceedings of the 1997 Conference on Computer Vision and Pattern Recognition (CVPR '97), 1997

1996
Position estimation from outdoor visual landmarks for teleoperation of lunar rovers.
Proceedings of ThirdIEEE Workshop on Applications of Computer Vision, 1996

Quasi-Bayesian Strategies for Efficient Plan Generation: Application to the Planning to Observe Problem.
Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996

1995
Experience with rover navigation for lunar-like terrains.
Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems, 1995

Robot Localization Using a Computer Vision Sextant.
Proceedings of the 1995 International Conference on Robotics and Automation, 1995


  Loading...