Results 1 
8 of
8
What you always wanted to know about Datalog (and never dared to ask
 IEEE Transactions Knowledge and Data Engineering
, 1989
"... AbstractDatalog is a database query language based on the logic programming paradigm; it has been designed and intensively studied over the last five years. We present the syntax and semantics of Datalog and its use for querying a relational database. Then, we classify optimization methods for achi ..."
Abstract

Cited by 136 (1 self)
 Add to MetaCart
AbstractDatalog is a database query language based on the logic programming paradigm; it has been designed and intensively studied over the last five years. We present the syntax and semantics of Datalog and its use for querying a relational database. Then, we classify optimization methods for achieving efficient evaluations of Datalog queries, and present the most relevant methods. Finally, we discuss various exhancements of Datalog, currently under study, and indicate what is still needed in order to extend Datalog’s applicability to the solution of reallife problems. The aim of this paper is to provide a survey of research performed on Datalog, also addressed to those members of the database community who are not too familiar with logic programming concepts. Zndex TermsDeductive databases, logic programming, recursive queries, relational databases, query optimization. I.
The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program
, 2001
"... . After a brief flirtation with logicism in 19171920, David Hilbert proposed his own program in the foundations of mathematics in 1920 and developed it, in concert with collaborators such as Paul Bernays and Wilhelm Ackermann, throughout the 1920s. The two technical pillars of the project were the ..."
Abstract

Cited by 5 (3 self)
 Add to MetaCart
. After a brief flirtation with logicism in 19171920, David Hilbert proposed his own program in the foundations of mathematics in 1920 and developed it, in concert with collaborators such as Paul Bernays and Wilhelm Ackermann, throughout the 1920s. The two technical pillars of the project were the development of axiomatic systems for ever stronger and more comprehensive areas of mathematics and finitistic proofs of consistency of these systems. Early advances in these areas were made by Hilbert (and Bernays) in a series of lecture courses at the University of Gttingen between 1917 and 1923, and notably in Ackermann 's dissertation of 1924. The main innovation was the invention of the ecalculus, on which Hilbert's axiom systems were based, and the development of the esubstitution method as a basis for consistency proofs. The paper traces the development of the "simultaneous development of logic and mathematics" through the enotation and provides an analysis of Ackermann's consisten...
"Clarifying the Nature of the Infinite": the development of metamathematics and proof theory
, 2001
"... We discuss the development of metamathematics in the Hilbert school, and Hilbert's prooftheoretic program in particular. We place this program in a broader historical and philosophical context, especially with respect to nineteenth century developments in mathematics and logic. Finally, we show how ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
We discuss the development of metamathematics in the Hilbert school, and Hilbert's prooftheoretic program in particular. We place this program in a broader historical and philosophical context, especially with respect to nineteenth century developments in mathematics and logic. Finally, we show how these considerations help frame our understanding of metamathematics and proof theory today.
Hilbert’s Program Then and Now
, 2005
"... Hilbert’s program is, in the first instance, a proposal and a research program in the philosophy and foundations of mathematics. It was formulated in the early 1920s by German mathematician David Hilbert (1862–1943), and was pursued by him and his collaborators at the University of Göttingen and els ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
Hilbert’s program is, in the first instance, a proposal and a research program in the philosophy and foundations of mathematics. It was formulated in the early 1920s by German mathematician David Hilbert (1862–1943), and was pursued by him and his collaborators at the University of Göttingen and elsewhere in the 1920s
From closed to open systems
 Philosophy of mathematics, Wien (HölderPichlerTempsky
, 1993
"... While Gödel's (first) incompleteness theorem has been used to refute the main contentions of Hilbert's program, it does not seem to have been generally used to stress that a basic ingredient of that program, the concept of formal system as a closed system as well as the underlying view, embodied in ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
While Gödel's (first) incompleteness theorem has been used to refute the main contentions of Hilbert's program, it does not seem to have been generally used to stress that a basic ingredient of that program, the concept of formal system as a closed system as well as the underlying view, embodied in the
METHODOLOGY ARTICLE Integrating systems biology models and biomedical ontologies
"... Background: Systems biology is an approach to biology that emphasizes the structure and dynamic behavior of biological systems and the interactions that occur within them. To succeed, systems biology crucially depends on the accessibility and integration of data across domains and levels of granular ..."
Abstract
 Add to MetaCart
Background: Systems biology is an approach to biology that emphasizes the structure and dynamic behavior of biological systems and the interactions that occur within them. To succeed, systems biology crucially depends on the accessibility and integration of data across domains and levels of granularity. Biomedical ontologies were developed to facilitate such an integration of data and are often used to annotate biosimulation models in systems biology. Results: We provide a framework to integrate representations of in silico systems biology with those of in vivo biology as described by biomedical ontologies and demonstrate this framework using the Systems Biology Markup Language. We developed the SBML Harvester software that automatically converts annotated SBML models into OWL and we apply our software to those biosimulation models that are contained in the BioModels Database. We utilize the resulting knowledge base for complex biological queries that can bridge levels of granularity, verify models based on the biological phenomenon they represent and provide a means to establish a basic qualitative layer on which to express the semantics of biosimulation models. Conclusions: We establish an information flow between biomedical ontologies and biosimulation models and we demonstrate that the integration of annotated biosimulation models and biomedical ontologies enables the
Placing World War I in the History of Mathematics
, 2013
"... Abstract. In the historical literature, opposite conclusions were drawn about the impact of the First World War on mathematics. In this chapter, the case is made that the war was an important event for the history of mathematics. We show that although mathematicians ’ experience of the war was extre ..."
Abstract
 Add to MetaCart
Abstract. In the historical literature, opposite conclusions were drawn about the impact of the First World War on mathematics. In this chapter, the case is made that the war was an important event for the history of mathematics. We show that although mathematicians ’ experience of the war was extremely varied, its impact was decisive on the life of a great number of them. We present an overview of some uses of mathematics in war and of the development of mathematics during the war. We conclude by arguing that the war also was a crucial factor in the institutional modernization of mathematics. Les vrais adversaires, dans la guerre d’aujourd’hui, ce sont les professeurs de mathématiques à leur table, les physiciens et les chimistes dans leur laboratoire. Guerre à distance, guerre d’industrie. — Jeanne Alexandre, 6 February, 1916 [Weis 2005, p. 83]. “Our true adversaries in today’s war are mathematics professors at their tables, physicists and chemists in their laboratories. War at a distance, war of industry.” Jeanne Alexandre was the sister of the sociologist Maurice Halbwachs who took