Results 261 to 270 of about 568,503 (297)

Duration calculus: Logical foundations

Formal Aspects of Computing, 1997
AbstractThe Duration Calculus (abbreviated DC) represents a logical approach for formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems.
Michael R. Hansen, Zhou Chaochen
openaire   +1 more source

Simplified foundations for mathematical logic

Journal of Symbolic Logic, 1955
A system SF, closely related to NF, is outlined here. SF has several novel points of simplicity and interest, (a) It uses only one basic notion, from which all the other concepts of logic and mathematics may be built definitionally. Three-notion systems are common, but Quine's two-notion IA has for some time represented the extreme in conceptual ...
openaire   +1 more source

Logical Foundations of XML and XQuery

2009
XML is the underlying representation formalism of much web-data. Thus to reason about web-data essentially boils down to reasoning about data in XML format. In this course the students learn about the main languages for querying XML data: XPath and XQuery. The course contains both theoretical work and practical examples.
openaire   +3 more sources

On the logic foundation of fuzzy reasoning

Information Sciences, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Logical Foundations for Data Integration

2005
Integrating heterogeneous data sources, which are distributed over highly dynamic computer networks, is one of the crucial challenges at the current evolutionary stage of Information Technology infrastructures. Large enterprises, business organizations, e-government systems, and, in short, any kind of internetworking community, need today an integrated
openaire   +1 more source

Technical Foundations of a DPLL-Based SAT Solver for Propositional Gödel Logic

IEEE Transactions on Fuzzy Systems, 2018
Dusan Guller
exaly  

Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12)

Studia Logica, 2018
Giacomo Bonanno, Wiebe Van Der Hoek, Andrés Perea   +2 more
exaly  

The Contributions of Logic to the Foundations of Physics: Foreword

Studia Logica, 2010
Diederik Aerts
exaly  

Customer-dominant logic: foundations and implications

Journal of Services Marketing, 2015
Kristina Heinonen, Tore Strandvik
exaly  

Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts

Journal of Philosophical Logic, 2014
André Bazzoni
exaly