BibTeX cite key | Author/Editor | Year | | Title | Type |
ICTL94 | Gabbay, Ohlbach (ed.) | 1994 | | Temporal Logic: Proceedings of the 1st International Conference on Temporal Logic | Proceedings |
jacobs-sofronie-pdpar-06 | Jacobs, Swen
Sofronie-Stokkermans, Viorica | 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-pdpar-entcs | Jacobs, Swen
Sofronie-Stokkermans, Viorica | 2007 | | Applications of hierarchical reasoning in the verification of complex systems
In: Electronic Notes in Theoretical Computer Science [??], | Electronic Journal Article |
Jacobs2004 | Jacobs, Swen | 2004 | | Instance Generation Methods for Automated Reasoning
Universität des Saarlandes | Thesis - Masters thesis |
JacobsWaldmann2005 | Jacobs, Swen
Waldmann, Uwe | 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 |
JacquemardMeyerWeidenbach98 | Jacquemard, Florent
Meyer, Christoph
Weidenbach, Christoph | 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 |
Jaeger00 | Jaeger, Manfred | 2000 | | On the complexity of inference about probabilistic relational models
In: Artificial Intelligence [117], 297-308 | Journal Article |
Jaeger1998a | Jaeger, Manfred | 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 |
Jaeger1998b | Jaeger, Manfred | 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 |
Jaeger1998c | Jaeger, Manfred | 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 |
Jaeger93a | Jaeger, Manfred | 1993 | | Circumscription: Completeness Reviewed
In: Artificial Intelligence [60], 293-301 | Journal Article |
Jaeger94a | Jaeger, Manfred | 1994 | | Probabilistic Reasoning in Terminological Logics
In: Principles of Knowledge Representation an Reasoning: Proceedings of the 4th International Conference (KR94), 305-316 | Proceedings Article |
Jaeger94c | Jaeger, Manfred | 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 |
Jaeger95 | Jaeger, Manfred | 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 |
Jaeger96KR | Jaeger, Manfred | 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 |
Jaeger97UAI | Jaeger, Manfred | 1997 | | Relational Bayesian Networks
In: Proceedings of the 13th Conference of Uncertainty in Artificial Intelligence (UAI-13), 266-273 | Proceedings Article |
Jaeger99 | Jaeger, Manfred | 1999 | | Fairness, Computable Fairness and Randomness
In: Proceedings of the 2nd International Workshop on Probabilistic Methods in Verification (PROBMIV-99), 57-66 | Proceedings Article |
JaegerAMAI01 | Jaeger, Manfred | 2001 | | Complex Probabilistic Modeling with Recursive Relational Bayesian Networks
In: Annals of Mathematics and Artificial Intelligence [32], 179-220 | Journal Article |
JaegerECSQARU03 | Jaeger, Manfred | 2003 | | A Representation Theorem and Applications
In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty :
7th European Conference, ECSQARU 2003, 50-61 | Proceedings Article |
JaegerHabil | Jaeger, Manfred | 2002 | | Probabilistic Decision Graphs
Universität des Saarlandes | Thesis - Habilitation thesis |
JaegerICML03 | Jaeger, Manfred | 2003 | | Probabilistic Classifiers and the Concepts they Recognize
In: Proceedings of the Twentieth International Conference on Machine Learning (ICML-03), 266-273 | Proceedings Article |
JaegerIJAR01 | Jaeger, Manfred | 2001 | | Automatic Derivation of Probabilistic Inference Rules
In: International Journal of Approximate Reasoning [28], 1-22 | Journal Article |
JaegerIJCAI01 | Jaeger, Manfred | 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 |
JaegerMI19 | Jaeger, Manfred | 2002 | | Relational Bayesian Networks: a Survey
In: Electronic Transactions on Artificial Intelligence [6], | Electronic Journal Article |
JaegerPGM02 | Jaeger, Manfred | 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 |
JaegerThesis | Jaeger, Manfred | 1995 | | Default Reasoning about Probabilities
Universität des Saarlandes | Thesis - PhD thesis |
JensenPodelski2004 | Jensen, Podelski (ed.) | 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 |
JMW96 | Jaeger, Manfred
Mannila, Heikki
Weydert, Emil | 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 |
JohannSocher-Ambrosius93 | Johann, Patricia
Socher-Ambrosius, Rolf | 1994 | | Solving Simplificating Ordering Constraints
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 352-367 | Proceedings Article |
JungDiplom2000 | Jung, Georg | 2001 | | Ein Frontend für die Anwendung von Model Checking auf die Analyse von Array Bounds für C Programme
Universität des Saarlandes | Thesis - Masters thesis |