Search

Your search keyword '"Cozman, Fabio G."' showing total 5 results
Start Over Author "Cozman, Fabio G." Topic probabilistic logic
5 results on '"Cozman, Fabio G."'

1. Probabilistic Logic with Strong Independence

Author

Cozman, Fabio G., de Campos, Cassio P., da Rocha, José Carlos F., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Sichman, Jaime Simão, editor, Coelho, Helder, editor, and Rezende, Solange Oliveira, editor

Published
2006
Full Text
View/download PDF

3. Generalized Probabilistic Satisfiability.

Author

de Bona, Glauber, Cozman, Fabio G., and Finger, Marcelo

Abstract

This paper studies the Generalized Probabilistic Satisfiability (GPSAT) problem, where the probabilistic satisfiability problem is extended by allowing Boolean combinations of probabilistic assertions and nested probabilistic formulas. We introduce a normal form for this problem and show that nesting of probabilities does not increase the expressivity in GPSAT. An algorithm to solve GPSAT problems via mixed integer programming is proposed, and its implementation shows evidence of phase-transition phenomena. [ABSTRACT FROM PUBLISHER]

Published
2013
Full Text
View/download PDF

4. Probabilistic satisfiability and coherence checking through integer programming.

Author

Cozman, Fabio G. and Fargoni di Ianni, Lucas

Subjects
*PROBABILISTIC number theory, *SATISFIABILITY (Computer science), *COHERENCE (Nuclear physics), *INTEGER programming, *COMPUTER algorithms, *PHASE transitions
Abstract

This paper presents algorithms, both for probabilistic satisfiability and for coherence checking, that rely on reduction to integer programming. That is, we verify whether probabilistic assessments can be satisfied by standard probability measures (Kolmogorovian setting) or by full conditional probabilities (de Finettian coherence setting), and in both cases verify satisfiability or coherence using integer programming techniques. We present an empirical evaluation of our method, the results of which show evidence of phase transitions. [ABSTRACT FROM AUTHOR]

Published
2015
Full Text
View/download PDF

5. Probabilistic logic for multi-robot event recognition.

Author

Gurzoni, Jose A., Santos, Paulo E., Martins, Murilo F., and Cozman, Fabio G.

Abstract

This paper presents initial results towards the development of a logic-based event recognition system capable of handling high-level joint actions from simultaneous task execution demonstrations on a search and rescue scenario. [ABSTRACT FROM PUBLISHER]

Published
2013
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results