|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Milos Milosevic, Zoran Ognjanovic |
A first-order conditional probability logic.  |
Logic Journal of the IGPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Perovic, Dragan Doder, Zoran Ognjanovic |
On Real-Valued Evaluation of Propositional Formulas. |
FoIKS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Dragan G. Radojevic |
Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm. |
Fuzzy Sets and Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoran Ognjanovic, Dragan Doder, Zoran Markovic |
A Branching Time Logic with Two Types of Probability Operators. |
SUM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Doder, Aleksandar Perovic, Zoran Ognjanovic |
Probabilistic Approach to Nonmonotonic Consequence Relations. |
ECSQARU |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Doder, Zoran Ognjanovic, Zoran Markovic |
An Axiomatization of a First-order Branching Time Temporal Logic. |
J. UCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Zarko Mijajlovic, Zoran Ognjanovic, Aleksandar Pejovic |
Digitization of Mathematical Editions in Serbia. |
Mathematics in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dragan Doder, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic |
Measures of inconsistency and defaults. |
Int. J. Approx. Reasoning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Doder, Zoran Markovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic |
A Probabilistic Temporal Logic That Can Model Reasoning about Evidence. |
FoIKS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic |
Qualitative Possibilities and Necessities. |
ECSQARU |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic |
Logics with the Qualitative Probability Operator. |
Logic Journal of the IGPL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic |
A logic with approximate conditional probabilities that can model default reasoning. |
Int. J. Approx. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic |
How to Restore Compactness into Probabilistic Logics?. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic |
A Probabilistic Logic with Polynomial Weight Formulas. |
FoIKS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan G. Radojevic, Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic |
Interpolative Boolean Logic. |
AIMSA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoran Ognjanovic, Tamara Butigan-Vucaj, Bojan Marinkovic |
NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia. |
MTSR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic |
Measure Logic. |
ECSQARU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zarko Mijajlovic, Zoran Ognjanovic, Aleksandar Pejovic |
Digitization of Scientific Journals in Serbia. |
ELPUB |
2007 |
DBLP BibTeX RDF |
|
| 1 | Zoran Ognjanovic |
Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoran Ognjanovic, Tamara Butigan-Vucaj, Bojan Marinkovic |
A Proposal for the National Standard for Describing Digitized Heritage. |
ELPUB |
2006 |
DBLP BibTeX RDF |
|
| 1 | Nebojsa Ikodinovic, Zoran Ognjanovic |
A Logic with Coherent Conditional Probabilities. |
ECSQARU |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoran Ognjanovic, Uros Midic, Nenad Mladenovic |
A Hybrid Genetic and Variable Neighborhood Descent for Probabilistic SAT Problem. |
Hybrid Metaheuristics |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Blagojevic, Zarko Mijajlovic, Zoran Ognjanovic |
Electronic Editions of Mathematical Works in Serbia. |
ELPUB |
2005 |
DBLP BibTeX RDF |
|
| 1 | Radosav S. Dordevic, Miodrag Raskovic, Zoran Ognjanovic |
Completeness theorem for propositional probabilistic models whose measures have only finite ranges. |
Arch. Math. Log. |
2004 |
DBLP DOI BibTeX RDF |
Finite ranges of probabilities, Completeness, Probabilistic logic |
| 1 | Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic |
A Logic with Conditional Probabilities. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoran Ognjanovic, Uros Midic, Jozef Kratica |
A Genetic Algorithm for Probabilistic SAT Problem. |
ICAISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic |
A probabilistic approach to default reasoning. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Zoran Markovic, Zoran Ognjanovic, Miodrag Raskovic |
A probabilistic extension of intuitionistic logic. |
Math. Log. Q. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoran Ognjanovic, Jozef Kratica, Milos Milovanovic |
A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report. |
ECSQARU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoran Ognjanovic, Miodrag Raskovic |
Some first-order probability logics. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoran Ognjanovic, Miodrag Raskovic |
Some Probability Logics with New Types of Probability Operators. |
J. Log. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoran Ognjanovic |
A Tableau-Like Proof Procedure for Normal Modal Logics. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic |
A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract). |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
| 1 | Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic |
Prover 91 - A Parallel Theorem Prover (Extended Abstract). |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")