MaxPlanckInstitut für Informatik
Overview
Works:  437 works in 508 publications in 2 languages and 1,917 library holdings 

Genres:  Periodicals 
Roles:  Organizer of meeting 
Classifications:  BC1, 511.305 
Publication Timeline
.
Most widely held works by
MaxPlanckInstitut für Informatik
Journal of the IGPL by
Interest Group in Pure and Applied Logics(
)
in English and held by 272 WorldCat member libraries worldwide
in English and held by 272 WorldCat member libraries worldwide
Bulletin of the IGPL by
Interest Group in Pure and Applied Logics(
)
in English and held by 24 WorldCat member libraries worldwide
in English and held by 24 WorldCat member libraries worldwide
Bericht ... by
MaxPlanckInstitut für Informatik(
)
2 editions published in 2006 in German and held by 18 WorldCat member libraries worldwide
2 editions published in 2006 in German and held by 18 WorldCat member libraries worldwide
Report ... by
MaxPlanckInstitut für Informatik(
)
2 editions published in 2010 in English and held by 17 WorldCat member libraries worldwide
2 editions published in 2010 in English and held by 17 WorldCat member libraries worldwide
Jahresbericht ... by
MaxPlanckInstitut für Informatik(
)
1 edition published in 2004 in German and held by 17 WorldCat member libraries worldwide
1 edition published in 2004 in German and held by 17 WorldCat member libraries worldwide
MaxPlanckInstitut Informatik : MPII by
MaxPlanckInstitut für Informatik(
)
1 edition published in 2016 in German and held by 16 WorldCat member libraries worldwide
1 edition published in 2016 in German and held by 16 WorldCat member libraries worldwide
Temporal logic : mathematical foundations and computational aspects by
Dov M Gabbay(
Book
)
4 editions published in 1992 in English and held by 15 WorldCat member libraries worldwide
Abstract: "The following is a draft version of the first six chapters of a book which is attempting to supply a comprehensive coverage of the mathematical and computational aspects of temporal logic. The first chapter introduces temporal logic and gives a fairly detatiled [sic] preview of the issues which will be covered in the rest of the whole book. These include expressive power, fixed point temporal languages and applications in computing. Chapter 2 develops the basic idea of a language built from connectives whose semantics is appropriate to some class of underlying 'models' of time: for example linear or branching time. Chapter 3 introduces Hilbert style axiomatizations of such logics and contains some simple completeness proofs
4 editions published in 1992 in English and held by 15 WorldCat member libraries worldwide
Abstract: "The following is a draft version of the first six chapters of a book which is attempting to supply a comprehensive coverage of the mathematical and computational aspects of temporal logic. The first chapter introduces temporal logic and gives a fairly detatiled [sic] preview of the issues which will be covered in the rest of the whole book. These include expressive power, fixed point temporal languages and applications in computing. Chapter 2 develops the basic idea of a language built from connectives whose semantics is appropriate to some class of underlying 'models' of time: for example linear or branching time. Chapter 3 introduces Hilbert style axiomatizations of such logics and contains some simple completeness proofs
Classical vs nonclassical logics : the universality of classical logic by
Dov M Gabbay(
Book
)
3 editions published in 1993 in English and held by 12 WorldCat member libraries worldwide
Abstract: "This report investigates the question of the universality of classical logic. The approach is to show that an almost arbitrary logical system can be translated reasonably intuitively and almost automatically into classical logic. The path leading to this result goes through the analysis of what is reasonable logic, how to find semantics for it, how to build a labelled deductive system (LDS) for it, how to translate a LDS into classical logic and how to automate the process using SCAN. This report relies on other papers, published and/or to be published as explained in the acknowledgements."
3 editions published in 1993 in English and held by 12 WorldCat member libraries worldwide
Abstract: "This report investigates the question of the universality of classical logic. The approach is to show that an almost arbitrary logical system can be translated reasonably intuitively and almost automatically into classical logic. The path leading to this result goes through the analysis of what is reasonable logic, how to find semantics for it, how to build a labelled deductive system (LDS) for it, how to translate a LDS into classical logic and how to automate the process using SCAN. This report relies on other papers, published and/or to be published as explained in the acknowledgements."
Genetic algorithms within the framework of evolutionary computation : proceedings of the KI94 workshop(
Book
)
3 editions published in 1994 in English and German and held by 10 WorldCat member libraries worldwide
3 editions published in 1994 in English and German and held by 10 WorldCat member libraries worldwide
Static and dynamic algorithms for kpoint clustering problems by
MaxPlanckInstitut für Informatik(
Book
)
3 editions published in 1993 in English and German and held by 8 WorldCat member libraries worldwide
Abstract: "Let S be a set of n points in dspace and let 1 [<or =] k [<or =] n be an integer. A unified approach is given for solving the problem of finding a subset of S of size K that minimizes some closeness measure, such as the diameter, perimeter or the circumradius. Morover, data structures are given that maintain such a subset under insertions and deletions of points."
3 editions published in 1993 in English and German and held by 8 WorldCat member libraries worldwide
Abstract: "Let S be a set of n points in dspace and let 1 [<or =] k [<or =] n be an integer. A unified approach is given for solving the problem of finding a subset of S of size K that minimizes some closeness measure, such as the diameter, perimeter or the circumradius. Morover, data structures are given that maintain such a subset under insertions and deletions of points."
A Lower bound for areauniversal graphs by
MaxPlanckInstitut für Informatik(
Book
)
3 editions published in 1993 in English and German and held by 8 WorldCat member libraries worldwide
Abstract: "We establish a lower bound on the efficiency of area universal circuits. The area A[subscript u] of every graph H that can host any graph G of area (at most) A with dilation d, and congestion c [<or =] [square root of A]/log log A satisfies the tradeoff A[subscript u] = [omega](A log A/(c²log(2d))). In particular, if A[subscript u] = O(A) then max (c, d) = [omega]([square root of log A]/log log A)."
3 editions published in 1993 in English and German and held by 8 WorldCat member libraries worldwide
Abstract: "We establish a lower bound on the efficiency of area universal circuits. The area A[subscript u] of every graph H that can host any graph G of area (at most) A with dilation d, and congestion c [<or =] [square root of A]/log log A satisfies the tradeoff A[subscript u] = [omega](A log A/(c²log(2d))). In particular, if A[subscript u] = O(A) then max (c, d) = [omega]([square root of log A]/log log A)."
Exact ground states of Ising spin glasses : new experimental results with a branch and cut algorithm(
Book
)
3 editions published in 1995 in English and German and held by 8 WorldCat member libraries worldwide
Abstract: "In this paper we study 2dimensional Ising spin glasses on a grid with nearest neighbor and periodic boundary interactions, based on a Gaussian bond distribution, and an exterior magnetic field. We show how using a technique called branch and cut, the exact ground states of grids of sizes up to 100 x 100 can be determined in a moderate amount of computation time, and we report on extensive computational tests. With our method we produce results based on more than 20000 experiments on the properties of spin glasses whose errors depend only on the assumptions on the model and not on the computational process. This feature is a clear advantage of the method over other more popular ways to compute the ground state, like Monte Carlo simulation including simulated annealing, evolutionary, and genetic algorithms, that provide only approximate ground states with a degree of accuracy that cannot be determined a priori. Our ground state energy estimation at zero field is 1.317."
3 editions published in 1995 in English and German and held by 8 WorldCat member libraries worldwide
Abstract: "In this paper we study 2dimensional Ising spin glasses on a grid with nearest neighbor and periodic boundary interactions, based on a Gaussian bond distribution, and an exterior magnetic field. We show how using a technique called branch and cut, the exact ground states of grids of sizes up to 100 x 100 can be determined in a moderate amount of computation time, and we report on extensive computational tests. With our method we produce results based on more than 20000 experiments on the properties of spin glasses whose errors depend only on the assumptions on the model and not on the computational process. This feature is a clear advantage of the method over other more popular ways to compute the ground state, like Monte Carlo simulation including simulated annealing, evolutionary, and genetic algorithms, that provide only approximate ground states with a degree of accuracy that cannot be determined a priori. Our ground state energy estimation at zero field is 1.317."
Parallelverarbeitung für kombinatorische algorithmische Probleme : Abschlußbericht by
MaxPlanckInstitut für Informatik(
)
3 editions published in 1995 in German and held by 8 WorldCat member libraries worldwide
3 editions published in 1995 in German and held by 8 WorldCat member libraries worldwide
A multidimensional terminological knowledge representation language : preliminary version by
Franz Baader(
Book
)
2 editions published between 1993 and 1995 in English and held by 8 WorldCat member libraries worldwide
Abstract: "An extension of the concept description language ALC used in KLONElike terminological reasoning is presented. The extension includes multimodal operators that can either stand for the usual role quantifications or for modalities such as belief, time etc. The modal operators can be used at all levels of the concept terms, and they can be used to modify both concepts and roles. This is an instance of a new kind of combination of modal logics where the modal operators of one logic may operate directly on the operators of the other logic."
2 editions published between 1993 and 1995 in English and held by 8 WorldCat member libraries worldwide
Abstract: "An extension of the concept description language ALC used in KLONElike terminological reasoning is presented. The extension includes multimodal operators that can either stand for the usual role quantifications or for modalities such as belief, time etc. The modal operators can be used at all levels of the concept terms, and they can be used to modify both concepts and roles. This is an instance of a new kind of combination of modal logics where the modal operators of one logic may operate directly on the operators of the other logic."
Workshop on theorem proving with analytic tableaux and related methods : Marseille, France, April 2830, 1993 by Workshop on theorem proving with analytic tableaux and related methods(
Book
)
2 editions published in 1993 in German and English and held by 8 WorldCat member libraries worldwide
2 editions published in 1993 in German and English and held by 8 WorldCat member libraries worldwide
Lower bounds for set intersection queries by
P Dietz(
Book
)
2 editions published in 1992 in German and English and held by 8 WorldCat member libraries worldwide
Furthermore we consider the case q = O(n) with an additional space restriction. We only allow to use m memory locations, where m [<or =] n[superscript 3/2]. We show a tight bound of [theta](n²m[superscript 1/3]) for a sequence of O(n) operations, again ignoring polynomial in log n factors."
2 editions published in 1992 in German and English and held by 8 WorldCat member libraries worldwide
Furthermore we consider the case q = O(n) with an additional space restriction. We only allow to use m memory locations, where m [<or =] n[superscript 3/2]. We show a tight bound of [theta](n²m[superscript 1/3]) for a sequence of O(n) operations, again ignoring polynomial in log n factors."
A framework for program development based on schematic proof by
D Basin(
Book
)
3 editions published in 1993 in English and German and held by 8 WorldCat member libraries worldwide
Abstract: "Often, calculi for manipulating and reasoning about programs can be recast as calculi for synthesizing programs. The difference involves often only a slight shift of perspective: admitting metavariables into proofs. We propose that such calculi should be implemented in logical frameworks that support this kind of proof construction and that such an implementation can unify program verification and synthesis. Our proposal is illustrated with a worked example developed in Paulson's Isabelle system. We also give examples of existent calculi that are closely related to the methodology we are proposing and others that can be profitably recast using our approach."
3 editions published in 1993 in English and German and held by 8 WorldCat member libraries worldwide
Abstract: "Often, calculi for manipulating and reasoning about programs can be recast as calculi for synthesizing programs. The difference involves often only a slight shift of perspective: admitting metavariables into proofs. We propose that such calculi should be implemented in logical frameworks that support this kind of proof construction and that such an implementation can unify program verification and synthesis. Our proposal is illustrated with a worked example developed in Paulson's Isabelle system. We also give examples of existent calculi that are closely related to the methodology we are proposing and others that can be profitably recast using our approach."
Softwareökonomie und Softwaresicherheit : Abschlußbericht by
MaxPlanckInstitut für Informatik(
)
3 editions published between 1995 and 1997 in German and held by 8 WorldCat member libraries worldwide
Software security, software economie
3 editions published between 1995 and 1997 in German and held by 8 WorldCat member libraries worldwide
Software security, software economie
Hammockonears decomposition : a technique for the efficient parallel solution of shortest paths and other problems by
MaxPlanckInstitut für Informatik(
Book
)
3 editions published in 1994 in English and German and held by 8 WorldCat member libraries worldwide
Abstract: "We show how to decompose efficiently in parallel any graph into a number, [̃gamma], of outerplanar subgraphs (called hammocks) satisfying certain separator properties. Our work combines and extends the sequential hammock decomposition technique introduced by G. Frederickson and the parallel ear decomposition technique, thus we call it the hammock onears decomposition. We mention that hammockonears decomposition also draws from techniques in computational geometry and that an embedding of the graph does not need to be provided with the input. We achieve this decomposition in O(log n log log n) time using O(n + m) CREW PRAM processors, for an nvertex, medge graph or digraph. The hammockonears decomposition implies a general framework for solving graph problems efficiently. Its value is demonstrated by a variety of applications on a significant class of (di)graphs, namely that of sparse (di)graphs. This class consists of all (di)graphs which have a [̃gamma] between 1 and [theta](n), and includes planar graphs and graphs with genus o(n). We improve previous bounds for certain instances of shortest paths and related problems, in this class of graphs. These problems include all pairs shortest paths, all pairs reachability, and detection of a negative cycle."
3 editions published in 1994 in English and German and held by 8 WorldCat member libraries worldwide
Abstract: "We show how to decompose efficiently in parallel any graph into a number, [̃gamma], of outerplanar subgraphs (called hammocks) satisfying certain separator properties. Our work combines and extends the sequential hammock decomposition technique introduced by G. Frederickson and the parallel ear decomposition technique, thus we call it the hammock onears decomposition. We mention that hammockonears decomposition also draws from techniques in computational geometry and that an embedding of the graph does not need to be provided with the input. We achieve this decomposition in O(log n log log n) time using O(n + m) CREW PRAM processors, for an nvertex, medge graph or digraph. The hammockonears decomposition implies a general framework for solving graph problems efficiently. Its value is demonstrated by a variety of applications on a significant class of (di)graphs, namely that of sparse (di)graphs. This class consists of all (di)graphs which have a [̃gamma] between 1 and [theta](n), and includes planar graphs and graphs with genus o(n). We improve previous bounds for certain instances of shortest paths and related problems, in this class of graphs. These problems include all pairs shortest paths, all pairs reachability, and detection of a negative cycle."
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Interest Group in Pure and Applied Logics
 Imperial College of Science, Technology and Medicine
 Smid, Michiel Author
 Mehlhorn, Kurt 1949 Author Editor Creator
 Ohlbach, Hans Jürgen Author Editor
 Basin, David A. Author Creator
 Bachmair, Leo Author Creator
 Hagerup, Torben Author
 Gabbay, Dov M. 1945 Author
 Ganzinger, H. (Harald) 1950 Author
Useful Links
Associated Subjects
Automatic theorem proving Branch and bound algorithms Cluster analysis Computer logic Computer programming Computer software Decomposition (Mathematics) Genetic algorithms Graph theory Knowledge representation (Information theory) Logic Logic, Symbolic and mathematical Logic programming Machine theory Temporal automata
Alternative Names
Institut MaxPlanck d'informatique
Instytut Informatyki im. Maxa Plancka
Max Planck Bilişim Enstitüsü
MaxPlanckInstitut für Informatik
MaxPlanckInstitut Informatik
MaxPlanckInstitut Informatik Saarbrücken
Max Planck Institute for Computer Science
MPII
MPI Informatik
MPI Informatik Saarbrücken
MPII
PlanckInstitut für Informatik
PlanckInstitut für Informatik Saarbrücken
Институт информатики общества Макса Планка
马克斯·普朗克计算机科学研究所
Languages