Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

449 Publications


2003 | Conference Paper | LibreCat-ID: 15802
Efficient similarity search in protein structure databases: Improving clique-detection through geometric hashing
N. Weskamp, D. Kuhn, E. Hüllermeier, G. Klebe, in: In Proceedings GCB-2003 German Conference on Bioinformatics, Munich, Germany, 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 15803
Instance-based learning of credible label sets
E. Hüllermeier, in: A. Günter, R. Kruse, B. Neumann (Eds.), In Proceedings KI-2003, 26th German Conference on Artificial Intelligence, Hamburg, Germany, Springer, 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 15065
Regularized learning with flexible constraints
E. Hüllermeier, in: M.R. Berthold, H.J. Lenz, E. Bradley, R. Kruse, C. Borgelt (Eds.), In Proceddings IDA-03, 5th International Symposium on Intelligent Data Anaysis, Springer, 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 15066
Pairwise preference learning and ranking
J. Fürnkranz, E. Hüllermeier, in: In Proceedings ECML-2003, 13 Th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, Springer, 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 15221
Instance-based collaborative filtering with fuzzy labels
E. Hüllermeier, in: In Proceedings EUSFLAT-2003 3th International Conference on the European Society for Fuzzy Logic and Technology, Zittlau, Germany, 2003, pp. 468–473.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 15222
A note on quality measures for fuzzy association rules
D. Dubois, E. Hüllermeier, H. Prade, in: T. Bilgic, B. De Beats, O. Kaynak (Eds.), In Proceedings IFSA-03 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, Springer, 2003, pp. 648–677.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 15223
Inducing fuzzy concepts through extended version space learning
E. Hüllermeier, in: T. Bilgic, B. De Beats, O. Kaynak (Eds.), In Proceedings IFSA-03 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, Springer, 2003, pp. 648–677.
LibreCat
 

2003 | Journal Article | LibreCat-ID: 16188
Possibilistic instance-based learning
E. Hüllermeier, Artificial Intelligence 148 (2003) 335–383.
LibreCat
 

2003 | Journal Article | LibreCat-ID: 16189
Flexibility and case-based evaluation in querying: An Illustration in an experimental setting
M. De Calmès, D. Dubois, E. Hüllermeier, H. Prade, F. Sèdes, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 11 (2003) 43–66.
LibreCat
 

2003 | Journal Article | LibreCat-ID: 16190
On the representation of fuzzy rules in terms of crisp rules
D. Dubois, E. Hüllermeier, H. Prade, Information Sciences 151 (2003) 301–326.
LibreCat
 

2003 | Book Chapter | LibreCat-ID: 16228
Sequential decision making in heuristic search
E. Hüllermeier, in: G. Della Riccia, D. Dubois, R. Kruse, H.J. Lenz (Eds.), Planning Based on Decision Theory (CISM Courses and Lectures No.472), Springer, 2003.
LibreCat
 

2003 | Book Chapter | LibreCat-ID: 16229
Possibilistic case-based decisions
D. Dubois, E. Hüllermeier, H. Prade, in: C. Lesage, M. Cottrell (Eds.), Connectionist Approaches in Economics and Management  Sciences, Kluwer, 2003.
LibreCat
 

2003 | Book Chapter | LibreCat-ID: 16230
Mining implication-based fuzzy association rules in databases
E. Hüllermeier, J. Beringer, in: B. Bouchon-Meunier, L. Foulloy, R.R.. Yager (Eds.), Intelligent Systems for Information Processing: From Representation to Applications, Elsevier, 2003.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 14843
On the representation and combination of evidence in instance-based learning
E. Hüllermeier, in: In Proceedings ECAI-2002, 15th European Conference on Artificial Intelligence, Lyon, France, IOS Press, 2002, pp. 360–364.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 15064
A fuzzy set approach to flexible case-based querying: methodology and experimentation
M. De Calmès, D. Dubois, E. Hüllermeier, H. Prade, F. Sèdes, in: D. Fensel, F. Giunchiglia, D. Mc Guinness, M.A. Williams (Eds.), In Proceedings KR-02, 8th International Conference on Principles of Knowledge Representation and Reasoning, France, Morgan Kaufmann, 2002, pp. 449–458.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 15098
Association rules for expressing gradual dependencies
E. Hüllermeier, in: In Proceedings PKDD-02  6th European Conference on Principles and Practise of Knowledge Discovery in Databases, Helsinki, Finland, Springer, 2002, pp. 200–211.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 15101
Possibilistic induction in decision tree learning
E. Hüllermeier, in: In Proceedings ECML-02, 13th European Conference on Machine Learning, Helsinki Finland, Springer, 2002, pp. 173–184.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 15226
Mining implication-based fuzzy association rules in databases
E. Hüllermeier, in: In Proceedings IPMU-2002 9th International Conference on Information Processing and Management  of Uncertainty in Knowledge-Based Systems,Annecy, France, 2002, pp. 101–108.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 15227
Exploiting similarity and experience in decision making
E. Hüllermeier, in: In Proceedings FUZZ-IEEE-02, IEEE International Conference on Fuzzy Systems, Honolulu, Hawaii, 2002, pp. 729–734.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 15228
Case-based quering and prediction: A fuzzy set approach
M. De Calmès, D. Dubois, E. Hüllermeier, H. Prade, F. Sèdes, in: In Proceedings FUZZ-IEEE-02, IEEE International Conference on Fuzzy Systems, Honolulu, Hawaii, 2002, pp. 735–740.
LibreCat
 

2002 | Journal Article | LibreCat-ID: 16191
Model adaption in possibilistic instance-based reasoning
E. Hüllermeier, D. Dubois, H. Prade, IEEE Transactions on Fuzzy Systems 10 (2002) 333–339.
LibreCat
 

2002 | Journal Article | LibreCat-ID: 16192
Fuzzy set-based methods in instance-based reasoning
D. Dubois, E. Hüllermeier, H. Prade, IEEE Transactions on Fuzzy Systems 10 (2002) 322–332.
LibreCat
 

2002 | Book Chapter | LibreCat-ID: 16232
Knowledge-based extrapolation of cases: A possibilistic approach
E. Hüllermeier, D. Dubois, H. Prade, in: B. Bouchon-Meunier, J. Gutierrez-Rios, L. Magdalena, R.R. Yager (Eds.), Technologies for Constructing Intelligent Systems, Springer, 2002, pp. 377–390.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 15300
Experience-based decision making and learning from examples
E. Hüllermeier, in: In Proceedings SOR-01 Symposium on Operations Research, Duisburg, Germany, Springer, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 15805
Possibilistic instance-based learning
E. Hüllermeier, in: In Proceedings FGML-2001 German Workshop on Machine Learning, Dortmund, Germany, 2001, pp. 108–115.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 15806
Implication-based fuzzy association rules
E. Hüllermeier, in: In Proceedings FGML-2001 German Workshop on Machine Learning, Dortmund, Germany, 2001, pp. 93–99.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 15807
Instance-based prediction in the framework of possibility theory
E. Hüllermeier, D. Dubois, H. Prade, in: In Proceedings of Workshop on Soft Computing in Case-Based Reasoning, Vancouver, Canada, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 15106
Implication-based fuzzy association rules
E. Hüllermeier, in: D. Raedt, A. Siebes (Eds.), In Proceedings PKDD-01  5th European Conference on Principles and Practise of Knowledge Discovery in Databases, Freiburg, Germany, Springer, 2001, pp. 241–252.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 15229
Fuzzy association rules: Semantic issues and quality measures
E. Hüllermeier, in: B. Reusch (Ed.), In Proceedings of the International Conference on Computational Intelligence 7th Fuzzy Days, Dortmund, Germany, Springer, 2001, pp. 380–391.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 15230
Toward the representation of implication-based fuzzy rules in terms of crisp rules
D. Dubois, E. Hüllermeier, H. Prade, in: In Proceedings IFSA/NAFIPS-2001  Joint 9th World Congress of the International Fuzzy Systems Association and 20th Internatinonal Conference of the North American Fuzzy Information Processing Society, Vancouver, Canada, 2001, pp. 1592–1597.
LibreCat
 

2001 | Journal Article | LibreCat-ID: 16193
Similarity-based inference as evidential reasoning
E. Hüllermeier, International Journal of Approximate Reasoning 26 (2001) 67–100.
LibreCat
 

2001 | Book Chapter | LibreCat-ID: 16231
Machinelles Lernen und Komplexität
E. Hüllermeier, in: F. Haslinger, P. Weise (Eds.), Ökonomie Und Gesellschaft, Jahrbuch 17: Komplexität Und Lernen, Metropolis, 2001, pp. 255–288.
LibreCat
 

2001 | Book Chapter | LibreCat-ID: 16233
Empirische Überprüfung eines synergetischen Konjunkturmodells
M. Kraft, E. Hüllermeier, P. Weise, in: H.-W. Lorenz, B. Meyer (Eds.), Studien Zur Evoltorischen Ökonomik IV, Duncker & Humblot, Berlin, 2001, pp. 11–44.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15301
Fuzzy dynamics: Methodological framework and applications of compartmental modeling
E. Hüllermeier, in: D.M. Dubois (Ed.), In Proceedings CASYS-2000, 4th International Conference on Computing Anticipatory Systems Liège, Belgium, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15302
In vitro-in vivo hepatic clearance prediction using fuzzy sets
I. Gueroguieva, I. Nestorov, M. Rowland, E. Hüllermeier, in: In Proceedings EUFEPS-2000, 6th European Congress of Pharmaceutical Sciences, Supplement 1 , European Journal of Pharmaceutical Sciences, 2000, p. S22.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15808
Flexible control of case-based prediction in the framework of possibility theory
D. Dubois, E. Hüllermeier, H. Prade, in: In Proceedings RàPC-2000, Raisonnement à Partir de Cas, Toulouse, France, 2000, pp. 7–16.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 14844
Similarity-based inference as evidential reasoning
E. Hüllermeier, in: W. Horn (Ed.), In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany, IOS Press, 2000, pp. 50–54.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 14845
Focusing search by using problem solving experience
E. Hüllermeier, in: W. Horn (Ed.), In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany, IOS Press, 2000, pp. 55–59.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15063
Change detection in heuristic search
E. Hüllermeier, in: Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas, 2000, pp. 898–903.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15108
A method for predicting solutions in case-based problem solving
E. Hüllermeier, in: E. Blanzieri, L. Portinale (Eds.), In Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy, Springer, 2000, pp. 124–135.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15109
Flexible control of case-based prediction in the framework of possibility theory
D. Dubois, E. Hüllermeier, H. Prade, in: E. Blanzieri, L. Portinale (Eds.), In Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy, Springer, 2000, pp. 61–73.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15231
Knowledge-based extrapolution of cases: A possibilistic approach
E. Hüllermeier, D. Dubois, H. Prade, in: In Proceedings IPMU-2000 8th International Conference on Information Processing and Management  of Uncertainty in Knowledge-Based Systems, Madrid, Spain, 2000, pp. 1575–1582.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 16196
Fuzzy dynamics and applications in biological systems modelling
E. Hüllermeier, C. Giersch, Systems Analysis,  Modelling, Simulation 38 (2000) 29–50.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 16198
Evaluation and specification of a synergetic business cycle model with German data
E. Hüllermeier, M. Kraft, P. Weise, Homo Oeconomicus XVI (2000).
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 16234
Formalizing case-based inference using fuzzy rules
D. Dubois, E. Hüllermeier, H. Prade, in: S.K. Pal, D.Y. So, T. Dillon (Eds.), Soft Computing in Case-Based Reasoning, Springer, 2000, pp. 47–72.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 19815
Resolution remains hard under equivalence
H. Kleine Büning, T. Lettmann, Discrete Applied Mathematics (1999) 139–148.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 15809
Fuzzy rules in case-based reasoning
E. Hüllermeier, D. Dubois, H. Prade, in: In Proceedings RàPC-1999, Raisonnement à Partir de Cas, Paris Palaiseau, France, In Conferences AFIA-1999, 1999, pp. 45–54.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 15062
Toward a probabilistic formalization of case-based inference
E. Hüllermeier, in: T. Dean (Ed.), In Proceedings IJCAI-99, 16th International Joint Conference on Artificial Intelligence, Stockholm, Sweden, Morgan Kaufmann, 1999, pp. 248–253.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 15107
Exploiting similarity for supporting data analysis and problem solving
E. Hüllermeier, in: D.J. Hand, J.N. Kok, M.R. Berthold (Eds.), In Proceedings IDA-1999, 3th International Symposium on Intelligent Data Analysis, Amsterdam, Netherlands, Springer, 1999, pp. 257–268.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 15232
Extensions of a qualitative approach to case-based decision making: Unvertainty and fuzzy quantification in act evaluation
E. Hüllermeier, D. Dubois, H. Prade, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-99 7th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 15233
Toward models of case-based decision making
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-99 7th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 15234
A possibilistic formalization of case-based reasoning and decision making
E. Hüllermeier, in: B. Reusch (Ed.), In Proceedings of the 6th International Conference on Computational Intelligence, Dortmund, Germany, Springer, 1999, pp. 411–420.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 16199
Numerical methods for fuzzy initial value problems
E. Hüllermeier, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 7 (1999) 439–461.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 16200
Approximation of uncertain funtional relationships
E. Hüllermeier, Fuzzy Sets and Systems 101 (1999) 227–240.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 16235
Qualitatives Schließen und Qualitative Simulation
E. Hüllermeier, in: H. Szczerbicka, T. Uthmann (Eds.), Modellierung, Simulation Und Künstliche Intelligenz, SCS Publishing House, Erlangen, 1999, pp. 277–310.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 15288
Fuzzy sets and modelling of uncertainty in biological systems
E. Hüllermeier, C. Giersch, in: In Proceedings IPMU-98 7th International Conference on Information Processing and Management  of Uncertainty in Knowledge-Based Systems, Paris, La Sorbonne, Editions E.D.K., 1998, pp. 1857–1864.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 15289
A Bayesian approach to case-based probalistic reasoning
E. Hüllermeier, in: In Proceedings IPMU-98 7th International Conference on Information Processing and Management  of Uncertainty in Knowledge-Based Systems, Paris, La Sorbonne, Editions E.D.K., 1998, pp. 1296–1303.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 15303
Numerical solutions for fuzzy initial value problems
E. Hüllermeier, in: P. Borne, M. Ksouri, A. El Kamel (Eds.), In Proceedings CESA-98, IMACS Multiconference on Computaional Engineering in Systems Applications, Symposium on Applied Mathematics and Optimization, Nabeul-Hammamet, Tunesia, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 15810
Case-based probality and case-based decision making
E. Hüllermeier, in: L. Gierl, M. Lenz (Eds.), In Proceedings of the 6th German Workshop on Case-Based Reasoning, Berlin, Germany, 1998, pp. 13–22.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 15287
Fuzzy dynamics of compartmental systems
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-98 6th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1998.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 15290
Hierarchical propagation of uncertain constraints
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1997, pp. 953–957.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 15291
Approximation of fuzzy functions
E. Hüllermeier, in: A. Grauel, W. Becker, F. Belli (Eds.), In Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany, 1997, pp. 374–381.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 15811
Modellierung und Simulation unsicherer dynamischer Systeme und Anwendungen in der Diagnose
E. Hüllermeier, in: D.P.F. Möller, O. Richter (Eds.), In Proceedings ASIM Fachgruppentagung Soft Computing, 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 16201
A new approach to modelling and simulation of uncertain dynamical systems
E. Hüllermeier, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5 (1997) 117–137.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 19816
Learning a representation for optimizable formulas
H. Kleine Büning, T. Lettmann, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 15292
Approminate probabilistic reasoning with fuzzy constraints
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 15293
A fuzzy simulation method
E. Hüllermeier, in: P.G. Anderson, K. Warwick (Eds.), International Symposium on Soft Computing, Reading U.K., ICSC Academic Press, 1996, pp. B230–B236.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 15304
Hierarchical constraint propagation based on interval arithmetic
E. Hüllermeier, in: In Proceedings Interval-96 International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg, 1996, pp. 54–55.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15294
Towards modelling of fuzzy functions
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1995, pp. 150–154.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15295
Rule-based modelling in fuzzy simulation
E. Hüllermeier, in: In Proceedings ISFL-95 International Symposium on Logic, Zürich, ICSC Academic Press, 1995, pp. B49–B56.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15305
Fuzzy polynomial and spline interpolation
E. Hüllermeier, in: In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, Gordon and Breach Publishers, 1995, pp. 401–404.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 16236
Konjunkturzyklen aufgrund von Investitionsinterdependenzen: Simulation und empirische Überprüfung
E. Hüllermeier, in: J. Flemmig (Ed.), Moderne Makroökonomie-Eine Kritische Bestandsaufnahme, Metropolis, 1995, pp. 413–454.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 15296
Approximate solution of a linear programming problem using a modified perceptron-algorithm.
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1994, pp. 195–199.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 19814
On the restricted equivalence for subclasses of propositional logic
A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics and Applications (1993) 327–340.
LibreCat | DOI
 

1991 | Report | LibreCat-ID: 19822
ILFA Interface Concept
B.I. Dahn, T. Lettmann, W. Schönfeld, ILFA Interface Concept, Wissenschaftliche Zentrum der IBM Deutschland , ´Heidelberg, 1991.
LibreCat
 

1989 | Journal Article | LibreCat-ID: 19818
Projections of vector addition system reachability sets are semilinear
H. Kleine Büning, T. Lettmann, E.W. Mayr, Theoretical Computer Science (1989) 343–350.
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 19820
Perspektiven für die Logikprogrammierung
H. Kleine Büning, T. Lettmann, in: G. Rahmstorf (Ed.), Workshop Wissensrepräsentation in Expertensystemen, Berlin, Heidelberg, 1988, pp. 56–78.
LibreCat
 

1987 | Book Chapter | LibreCat-ID: 19821
Representation independent query and update operations on propositional definite Horn formulas
H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic, Berlin, Heidelberg, 1987, pp. 208–223.
LibreCat | DOI
 

1986 | Book Chapter | LibreCat-ID: 19819
Classes of first order formulas under various satisfiability definitions
H. Kleine Büning, T. Lettmann, in: 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986.
LibreCat | DOI
 

Filters and Search Terms

department=355

Search

Filter Publications

Display / Sort

Export / Embed