Results 11 to 20 of about 7,776,605 (218)
Good Systems Network Meeting [PDF]
, 2020 You're viewing a past event from the Good Systems Grand Challenge team at The University of Texas at Austin that contains two presentations from May 19, 2020.Office of the VP for ...
Good Systems
core +1 more source
Comparison between SuperDARN flow vectors and equivalent ionospheric currents from ground magnetometer arrays [PDF]
, 2012 Equivalent ionospheric currents obtained with the spherical elementary current systems (SECS) method and derived from nearly 100 ground magnetometers spread over North America and Greenland are compared with ionospheric flow vectors measured by the ...
Angelopoulos, V. +6 more
core +3 more sources
Query Evaluation in Deductive Databases [PDF]
, 1990 It is desirable to answer queries posed to deductive databases by computing fixpoints because such computations are directly amenable to set-oriented fact processing.
Bry, François
core +1 more source
Metatheories of deductive systems [PDF]
, 2004 A deductive system (Hilbert-style) is an algebraic closure system over the set of formulas of given propositional language. Similarly, a Gentzen system is an algebraic closure system over the set of all sequents, i.e., finite sequences of formulas, of ...
Babyonyshev, Sergei
core +1 more source
Towards Intelligent Databases [PDF]
, 1993 This article is a presentation of the objectives and techniques of deductive databases. The deductive approach to databases aims at extending with intensional definitions other database paradigms that describe applications extensionaUy.
Bry, François +2 more
core +1 more source
Deductive systems for BigData integration [PDF]
, 2018 The globalization is associated with an increased data to be processed from E-commerce transactions. The specialists are looking for different solutions, such as BigData, Hadoop, Datawarehoues, but it seems that the future is the predicative logic ...
Bucea-Manea-Tonis, Radu
core +2 more sources
When is argumentation deductive? [PDF]
, 2023 This paper discusses and compares various answers to the question when argumentation is deductive. This includes an answer to the questions when argumentation is defeasible and whether defeasible argumentation is a subclass of deductive argumentation or ...
Prakken, Henry
core
Constraint-Based Contract Inference for Deductive Verification
, 2020 Assertion-based software model checking refers to techniques that take a program annotated with logical assertions and statically verify that the assertions hold whenever program execution is at the corresponding control point.
Lidström, Christian, +7 more
core +1 more source
Proving Finite Satisfiability of Deductive Databases [PDF]
, 1987 It is shown how certain refutation methods can be extended into semi-decision procedures that are complete for both unsatisfiability and finite satisfiability. The proposed extension is justified by a new characterization of finite satisfiability. This
Bry, François +2 more
core +1 more source
Efficient and Flexible Access Control via Logic Program Specialisation [PDF]
, 2004 We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a database and an access policy specification.
Varea, Mauricio +2 more
core +2 more sources