Buning, Hans Kleine: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2012 12th International Conference on Hybrid Intelligent Systems (HIS) - Pune, India (2012.12.4-2012.12.7)] 2012 12th International Conference on Hybrid Intelligent Systems (HIS) - Adaptive function approximation in reinforcement learning with an interpolating growing neural gas

Baumann, Michael, Buning, Hans Kleine

Year:

2012

Language:

english

File:

PDF, 532 KB

english, 2012

2

[IEEE 2011 Tenth International Conference on Machine Learning and Applications (ICMLA) - Honolulu, HI, USA (2011.12.18-2011.12.21)] 2011 10th International Conference on Machine Learning and Applications and Workshops - State Aggregation by Growing Neural Gas for Reinforcement Learning in Continuous State Spaces

Baumann, Michael, Buning, Hans Kleine

Year:

2011

Language:

english

File:

PDF, 520 KB

english, 2011

3

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || A primitive recursive set theory and AFA: On the logical complexity of the largest bisimulation

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 756 KB

english, 1992

4

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || A new approach to abstract data types II computation on ADTs as ordinary computation

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 870 KB

english, 1992

5

Finding read-once resolution refutations in systems of 2CNF clauses

Büning, Hans Kleine, Wojciechowski, Piotr, Subramani, K.

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 426 KB

english, 2018

6

The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set

Egon Börger, Hans Kleine Büning

Journal:

Mathematical Logic Quarterly

Year:

1980

Language:

english

File:

PDF, 684 KB

english, 1980

7

Note on the E-E Problem

Hans Kleine Büning

Journal:

Mathematical Logic Quarterly

Year:

1982

Language:

english

File:

PDF, 364 KB

english, 1982

8

DURCH SYNTAKTISCHE REKURSION DEFINIERTE KLASSEN

Hans Kleine Büning

Journal:

Mathematical Logic Quarterly

Year:

1983

Language:

german

File:

PDF, 377 KB

german, 1983

9

First-Order Formulas in Conjunctive Quantificational Form

Hans Kleine Büning, Theodor Lettmann

Journal:

Mathematical Logic Quarterly

Year:

1988

Language:

english

File:

PDF, 768 KB

english, 1988

10

Existence of simple propositional formulas

Hans Kleine Büning

Journal:

Information Processing Letters

Year:

1990

Language:

english

File:

PDF, 522 KB

english, 1990

11

Inconsistency of production systems

Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen

Journal:

Data & Knowledge Engineering

Year:

1989

Language:

english

File:

PDF, 1.21 MB

english, 1989

12

The reachability problem for Petri nets and decision problems for Skolem arithmetic

Egon Börger, Hans Kleine Büning

Journal:

Theoretical Computer Science

Year:

1980

Language:

english

File:

PDF, 2.41 MB

english, 1980

13

Projections of vector addition system reachability sets are semilinear

Hans Kleine Büning, Theodor Lettmann, Ernst W. Mayr

Journal:

Theoretical Computer Science

Year:

1989

Language:

english

File:

PDF, 861 KB

english, 1989

14

Models and quantifier elimination for quantified Horn formulas

Uwe Bubeck, Hans Kleine Büning

Journal:

Discrete Applied Mathematics

Year:

2008

Language:

english

File:

PDF, 237 KB

english, 2008

15

A new 3-CNF transformation by parallel-serial graphs

Uwe Bubeck, Hans Kleine Büning

Journal:

Information Processing Letters

Year:

2009

Language:

english

File:

PDF, 151 KB

english, 2009

16

Computational complexity of quantified Boolean formulas with fixed maximal deficiency

Hans Kleine Büning, Xishun Zhao

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 687 KB

english, 2008

17

Polynomial time algorithms for computing a representation for minimal unsatisfiable formulas with fixed deficiency

Hans Kleine Büning, Xishun Zhao

Journal:

Information Processing Letters

Year:

2002

Language:

english

File:

PDF, 72 KB

english, 2002

18

On subclasses of minimal unsatisfiable formulas

Hans Kleine Büning

Journal:

Discrete Applied Mathematics

Year:

2000

Language:

english

File:

PDF, 126 KB

english, 2000

19

On the structure of some classes of minimal unsatisfiable formulas

Hans Kleine Büning, Xishun Zhao

Journal:

Discrete Applied Mathematics

Year:

2003

Language:

english

File:

PDF, 262 KB

english, 2003

20

Resolution remains hard under equivalence

Hans Kleine Büning, Theodor Lettmann

Journal:

Discrete Applied Mathematics

Year:

1999

Language:

english

File:

PDF, 97 KB

english, 1999

21

Satisfiable Formulas Closed Under Replacement

Hans Kleine Büning, Zhao Xishun

Journal:

Electronic Notes in Discrete Mathematics

Year:

2001

File:

PDF, 598 KB

2001

22

Equivalence of propositional Prolog programs

Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen

Journal:

Journal of Automated Reasoning

Year:

1990

Language:

english

File:

PDF, 828 KB

english, 1990

23

Universal asynchronous iterative arrays of Mealy automata

Hans Kleine Büning, Lutz Priese

Journal:

Acta Informatica

Year:

1980

Language:

english

File:

PDF, 696 KB

english, 1980

24

Some undecidable theories with monadic predicates and without equality

Hans Kleine Büning

Journal:

Archive for Mathematical Logic

Year:

1981

Language:

english

File:

PDF, 566 KB

english, 1981

25

A classification of an iterative hierarchy

Hans Kleine Büning

Journal:

Archive for Mathematical Logic

Year:

1983

Language:

english

File:

PDF, 418 KB

english, 1983

26

On resolution with short clauses

Michael Buro, Hans Kleine Büning

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1996

Language:

english

File:

PDF, 898 KB

english, 1996

27

The Complexity of Homomorphisms and Renamings for Minimal Unsatisfiable Formulas

Hans Kleine Büning, Daoyun Xu

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 150 KB

english, 2005

28

Extension and Equivalence Problems for Clause Minimal Formulae

Hans Kleine Büning, Xishun Zhao

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 120 KB

english, 2005

29

The complexity of homomorphisms and renamings for minimal unsatisfiable formulas

Hans Kleine Büning, Daoyun Xu

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 165 KB

english, 2005

30

Extension and equivalence problems for clause minimal formulae

Hans Kleine Büning, Xishun Zhao

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 131 KB

english, 2005

31

Boolean Functions as Models for Quantified Boolean Formulas

Hans Kleine Büning, K. Subramani, Xishun Zhao

Journal:

Journal of Automated Reasoning

Year:

2007

Language:

english

File:

PDF, 479 KB

english, 2007

32

Direct Model Checking Matrix Algorithm

Zhi-Hong Tao, Hans Kleine Büning, Li-Fu Wang

Journal:

Journal of Computer Science and Technology

Year:

2006

File:

PDF, 324 KB

2006

33

The Complexity of Read-Once Resolution

Hans Kleine Büning, Xishun Zhao

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2002

Language:

english

File:

PDF, 140 KB

english, 2002

34

An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF

Gennady Davydov, Inna Davydova, Hans Kleine Büning

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1998

Language:

english

File:

PDF, 127 KB

english, 1998

35

Optimizing propositional calculus formulas with regard to questions of deducibility

Hans Kleine Büning, Ulrich Löwen

Journal:

Information and Computation

Year:

1989

Language:

english

File:

PDF, 1.48 MB

english, 1989

36

[IEEE 2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Lyon, France (2011.08.22-2011.08.27)] 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Coordination in Large Multiagent Reinforcement Learning Problems

Kemmerich, Thomas, Buning, Hans Kleine

Year:

2011

Language:

english

File:

PDF, 340 KB

english, 2011

37

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || On transitive closure logic

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 898 KB

english, 1992

38

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2008 Volume 4996 || Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms

Kleine Büning, Hans, Zhao, Xishun

Year:

2008

Language:

english

File:

PDF, 250 KB

english, 2008

39

[Lecture Notes in Computer Science] CSL '87 Volume 329 || On functions computable in nondeterministic polynomial time: Some characterizations

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1988

Language:

english

File:

PDF, 984 KB

english, 1988

40

[IEEE 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications (SOCA) - Koloa, HI, USA (2013.12.16-2013.12.18)] 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications - Reducing Nondeterminism in Automated Service Composition

Mohr, Felix, Lettmann, Theodor, Buning, Hans Kleine

Year:

2013

Language:

english

File:

PDF, 508 KB

english, 2013

41

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2008 Volume 4996 || Modelling Max-CSP as Partial Max-SAT

Kleine Büning, Hans, Zhao, Xishun

Year:

2008

Language:

english

File:

PDF, 454 KB

english, 2008

42

[IEEE 2011 XXIII International Symposium on Information, Communication and Automation Technologies (ICAT) - Sarajevo, Bosnia and Herzegovina (2011.10.27-2011.10.29)] 2011 XXIII International Symposium on Information, Communication and Automation Technologies - Using behavior models for anomaly detection in hybrid systems

Vodencarevic, Asmir, Buning, Hans Kleine, Niggemann, Oliver, Maier, Alexander

Year:

2011

Language:

english

File:

PDF, 263 KB

english, 2011

43

[Lecture Notes in Computer Science] CSL '88 Volume 385 || A comparison of the resolution calculus and the connection method, and a new calculus generalizing both methods

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1989

Language:

english

File:

PDF, 1022 KB

english, 1989

44

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - Model-Based Anomaly Detection for Discrete Event Systems

Klerx, Timo, Anderka, Maik, Buning, Hans Kleine, Priesterjahn, Steffen

Year:

2014

Language:

english

File:

PDF, 785 KB

english, 2014

45

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Proving termination for term rewriting systems

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 539 KB

english, 1992

46

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2008 Volume 4996 || Searching for Autarkies to Trim Unsatisfiable Clause Sets

Kleine Büning, Hans, Zhao, Xishun

Year:

2008

Language:

english

File:

PDF, 487 KB

english, 2008

47

Manna Zohar and Waldinger Richard. The logical basis for computer programming. Volume I. Deductive reasoning. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass., etc., 1985, xii + 618 pp.Manna Zohar and Waldinger Richard. The logical basis for computer programming. Volume II. Deductive systems. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass., etc., 1990, xiii + 642 pp.

Büning, Hans Kleine

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 338 KB

english, 1995

48

[Lecture Notes in Computer Science] Computer Science Logic Volume 533 || Towards an efficient tableau proof procedure for multiple-valued logics

Börger, Egon, Kleine Büning, Hans, Richter, Michael M., Schönfeld, Wolfgang

Year:

1991

Language:

english

File:

PDF, 773 KB

english, 1991

49

[Lecture Notes in Computer Science] CSL '87 Volume 329 || Logic of approximation reasoning

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1988

Language:

english

File:

PDF, 1.08 MB

english, 1988

50

[ACM Press International Conference - Vienna, Austria (2013.12.02-2013.12.04)] Proceedings of International Conference on Information Integration and Web-based Applications & Services - IIWAS '13 - Semi-Automated Software Composition Through Generated Components

Mohr, Felix, Büning, Hans Kleine

Year:

2013

Language:

english

File:

PDF, 364 KB

english, 2013