Search results for: Predrag Janičić
Annals of Mathematics and Artificial Intelligence > 2019 > 85 > 2-4 > 119-146
Lecture Notes in Computer Science > Towards Mechanized Mathematical Assistants > Contributions to Calculemus 2007 > 80-93
Atlantis Thinking Machines > Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference > Acquiring, Storing and Mining Logical Knowledge > 179-185
Lecture Notes in Computer Science > Mathematical Knowledge Management > Contributed Papers > 280-294
Lecture Notes in Computer Science > Frontiers of Combining Systems > Logical Problem Analysis and Encoding I > 200-215
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Automatic Adaption of SAT Solvers > 326-340
Lecture Notes in Computer Science > Mathematical Software - ICMS 2006 > Interfacing Computer Algebra and Mathematical Visualization (Konrad Polthier) > 58-73
Lecture Notes in Computer Science > AI*IA 2007: Artificial Intelligence and Human-Oriented Computing > Information Retrieval and Extraction > 410-421
Atlantis Thinking Machines > Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference > Representations and Rules for Real-World Reasoning > 99-122
Atlantis Thinking Machines > Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference > 11-24
Atlantis Thinking Machines > Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference > Probabilistic Logic Networks for Real-World Reasoning > 205-220
Atlantis Thinking Machines > Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference > Probabilistic Logic Networks for Real-World Reasoning > 189-204
Atlantis Thinking Machines > Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference > Representations and Rules for Real-World Reasoning > 65-78
Atlantis Thinking Machines > Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference > Probabilistic Logic Networks for Real-World Reasoning > 265-266