Results 1  10
of
44,840
Translating FirstOrder Theories into Logic Programs
"... This paper focuses on computing firstorder theories under either stable model semantics or circumscription. A reduction from firstorder theories to logic programs under stable model semantics over finite structures is proposed, and an embedding of circumscription into stable model semantics is a ..."
Abstract
 Add to MetaCart
This paper focuses on computing firstorder theories under either stable model semantics or circumscription. A reduction from firstorder theories to logic programs under stable model semantics over finite structures is proposed, and an embedding of circumscription into stable model semantics
TermGeneric FirstOrder Logic
"... Termgeneric rstorder logic, or simply generic rstorder logic (GFOL), is presented as a rstorder logic parameterized with terms dened axiomatically (rather than constructively), by requiring them to only provide generic notions of free variable and substitution satisfying reasonable properties. ..."
Abstract
 Add to MetaCart
Termgeneric rstorder logic, or simply generic rstorder logic (GFOL), is presented as a rstorder logic parameterized with terms dened axiomatically (rather than constructively), by requiring them to only provide generic notions of free variable and substitution satisfying reasonable properties
1. Effective Action in Gauge Field Theo ries and Quantum Gravity
"... We give a short overview of the effective action approach in quantum field theory and quantum gravity and describe various methods for calculation of the asymptotic expansion of the heat kernel for secondorder elliptic partial differential operators acting on sections of vector bundles over a compa ..."
Abstract
 Add to MetaCart
We give a short overview of the effective action approach in quantum field theory and quantum gravity and describe various methods for calculation of the asymptotic expansion of the heat kernel for secondorder elliptic partial differential operators acting on sections of vector bundles over a
1 Firstorder corrections to semiclassical Gaussian partition functions for clusters of atoms
"... ar ..."
Proppr: Efficient firstorder probabilistic logic programming for structure discovery, parameter learning, and scalable inference
 Proceedings of the AAAI 2014 Workshop on Statistical Relational AI (StarAI
, 2014
"... A key challenge in statistical relational learning is to develop a semantically rich formalism that supports efficient probabilistic reasoning using large collections of extracted information. This paper presents a new, scalable probabilistic logic called ProPPR, which further extends stochastic l ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
logic programs (SLP) to a framework that enables efficient learning and inference on graphs: using an abductive secondorder probabilistic logic, we show that firstorder theories can be automatically generated via parameter learning; that in parameter learning, weight learning can be performed using
A firstorder secular theory for the postNewtonian twobody problem with spin – I. The restricted case
, 2014
"... We revisit the relativistic restricted twobody problem with spin employing a perturbation scheme based on Lie series. Starting from a postNewtonian expansion of the field equations, we develop a firstorder secular theory that reproduces wellknown relativistic effects such as the precession of t ..."
Abstract
 Add to MetaCart
We revisit the relativistic restricted twobody problem with spin employing a perturbation scheme based on Lie series. Starting from a postNewtonian expansion of the field equations, we develop a firstorder secular theory that reproduces wellknown relativistic effects such as the precession
NM. FOREIGN TEXT WITIl~)uT AMY A $At.YTI CAL O R EDITORIAl. COMMENT. STATEMENTS OR THEO RIES PREPARED BY: ADVOCATED OR IMPLIED ARE THOSE OF THE SOURC E ANO DO HOT NECESSARI LY REFLECT THE POSITION TRANSLATION DIVISIO N OR OPINION OF THE FOREIGN TECHNOLOGY
, 1853
"... B 9 B ’ V, v T T T m T, t r r r ‘ G, g Y y Y y U, u fl I D, d ~~ ~ F, f E e E. Ye, ye; E, e * X x X x Kh, kh rn Zh, zh Li, ~ 1! ~ Ts, ts 3 3 3 J Z, z ‘1 ~i ‘1 ‘ Ch, ch H H H u I, i. W w ill jg ~ Sh, sh.1 Y, y Lii, U4 ill ~q Shch, shc h K, k:1. ~ 11 a L, 1 bI bi Y, y M Al N, m b b b b H H ‘ ~ N, ..."
Abstract
 Add to MetaCart
B 9 B ’ V, v T T T m T, t r r r ‘ G, g Y y Y y U, u fl I D, d ~~ ~ F, f E e E. Ye, ye; E, e * X x X x Kh, kh rn Zh, zh Li, ~ 1! ~ Ts, ts 3 3 3 J Z, z ‘1 ~i ‘1 ‘ Ch, ch H H H u I, i. W w ill jg ~ Sh, sh.1 Y, y Lii, U4 ill ~q Shch, shc h K, k:1. ~ 11 a L, 1 bI bi Y, y M Al N, m b b b b H H ‘ ~ N, n 3 ~ 3 ‘ E, e 0 0 0 0, 0 ~0 ~o Yu, yu ri f J a F, p H R N I Ya, ya *~~ ~ Init ially, after vowels, arid after iD ~ ~; e elsewhere.When written as ~ In Russian, transliterate as ye or ë.The use of diacritical marks is preferred, but such marks
Results 1  10
of
44,840