Author/Editor [Non Institute] | Year | | Title | Type |
Jacobs
[-] | 2004 | | Instance Generation Methods for Automated Reasoning
Universität des Saarlandes | Thesis - Masters thesis |
Jacobs, Sofronie-Stokkermans
(Ed: Cook, Sebastiani)
[-] | 2006 | | Applications of hierarchical reasoning in the verification of complex systems
In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, 15-26 | Electronic Proceedings Article |
Jacobs, Sofronie-Stokkermans
[-] | 2007 | | Applications of hierarchical reasoning in the verification of complex systems
In: Electronic Notes in Theoretical Computer Science [??], | Electronic Journal Article |
Jacobs, Waldmann
(Ed: Beckert)
[-] | 2005 | | Comparing Instance Generation Methods for Automated Reasoning
In: Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, 153-168 | Proceedings Article |
Jacquemard, Meyer, Weidenbach
(Ed: Nipkow)
[Jacquemard, Nipkow] | 1998 | | Unification in Extensions of Shallow Equational Theories
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 76-90 | Proceedings Article |
Jaeger
(Ed: Carlucci-Aiello, Doyle, Shapiro)
[-] | 1996 | | Representation Independence of Nonmonotonic Inference Relations
In: Principles of Knowledge Representation and Reasoning, Proceedings of the 5th International Conference (KR-96), 461-472 | Proceedings Article |
Jaeger
(Ed: Cohn, Schubert, Shapiro)
[-] | 1998 | | Reasoning About Infinite Random Structures with Relational Bayesian Networks
In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 570-581 | Proceedings Article |
Jaeger
(Ed: Cooper, Moral)
[-] | 1998 | | Measure Selection: Notions of Rationality and Representation Independence
In: Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence (UAI-98), 274-281 | Proceedings Article |
Jaeger
(Ed: Doyle, Sandewall, Torasso)
[-] | 1994 | | Probabilistic Reasoning in Terminological Logics
In: Principles of Knowledge Representation an Reasoning: Proceedings of the 4th International Conference (KR94), 305-316 | Proceedings Article |
Jaeger
(Ed: Fawcett, Mishra)
[-] | 2003 | | Probabilistic Classifiers and the Concepts they Recognize
In: Proceedings of the Twentieth International Conference on Machine Learning (ICML-03), 266-273 | Proceedings Article |
Jaeger
(Ed: Geiger, Shenoy)
[-] | 1997 | | Relational Bayesian Networks
In: Proceedings of the 13th Conference of Uncertainty in Artificial Intelligence (UAI-13), 266-273 | Proceedings Article |
Jaeger
(Ed: Kwiatkowska)
[Kwiatkowska] | 1999 | | Fairness, Computable Fairness and Randomness
In: Proceedings of the 2nd International Workshop on Probabilistic Methods in Verification (PROBMIV-99), 57-66 | Proceedings Article |
Jaeger
(Ed: Lopez de Mantaraz, Poole)
[-] | 1994 | | A Logic for Default Reasoning About Probabilities
In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence (UAI'94), 352-359 | Proceedings Article |
Jaeger
(Ed: Mellish)
[-] | 1995 | | Minimum Cross-Entropy Reasoning: A Statistical Justification
In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 1847-1852 | Proceedings Article |
Jaeger
(Ed: Nebel)
[Nebel] | 2001 | | Constraints as Data: a New Perspective on Inferring Probabilities
In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), 755-760 | Proceedings Article |
Jaeger
(Ed: Nielsen, Zhang)
[-] | 2003 | | A Representation Theorem and Applications
In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty :
7th European Conference, ECSQARU 2003, 50-61 | Proceedings Article |
Jaeger
(Ed: Pratt)
[-] | 1998 | | Convergence Results for Relational Bayesian Networks
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 44-55 | Proceedings Article |
Jaeger
[-] | 2002 | | Probababilistic Decision Graphs - Combining Verification and AI Techniques for Probabilistic Inference
In: Proceedings of the First European Workshop on Probabilistic Graphical Models, 81-88 | Proceedings Article |
Jaeger
[-] | 2002 | | Probabilistic Decision Graphs
Universität des Saarlandes | Thesis - Habilitation thesis |
Jaeger
[-] | 2002 | | Relational Bayesian Networks: a Survey
In: Electronic Transactions on Artificial Intelligence [6], | Electronic Journal Article |
Jaeger
[-] | 2001 | | Automatic Derivation of Probabilistic Inference Rules
In: International Journal of Approximate Reasoning [28], 1-22 | Journal Article |
Jaeger
[-] | 2001 | | Complex Probabilistic Modeling with Recursive Relational Bayesian Networks
In: Annals of Mathematics and Artificial Intelligence [32], 179-220 | Journal Article |
Jaeger
[-] | 2000 | | On the complexity of inference about probabilistic relational models
In: Artificial Intelligence [117], 297-308 | Journal Article |
Jaeger
[-] | 1995 | | Default Reasoning about Probabilities
Universität des Saarlandes | Thesis - PhD thesis |
Jaeger
[-] | 1993 | | Circumscription: Completeness Reviewed
In: Artificial Intelligence [60], 293-301 | Journal Article |
Jaeger, Mannila, Weydert
(Ed: Ng)
[Ng] | 1996 | | Data Mining as Selective Theory Extraction in Probabilistic Logic
In: Proceedings of the 1996 SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, - | Proceedings Article |
Jaulin, Ratschan, Hardouin
[-] | 2004 | | Set Computation for Nonlinear Control
In: Reliable Computing [10], 1-26 | Journal Article |
Jensen, Podelski
[-] | 2006 | | Tools and algorithms for the construction and analysis of systems
In: International Journal on Software Tools for Technology Transfer [8], 177-179 | Journal Article |
Jensen, Podelski (ed.)
(Ed: Jensen, Podelski)
[-] | 2004 | | Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 | Proceedings |
Johann, Socher-Ambrosius
(Ed: Jouannaud)
[Johann] | 1994 | | Solving Simplificating Ordering Constraints
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 352-367 | Proceedings Article |