A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
Simple Random Logic Programs
[chapter]

2009
*
Lecture Notes in Computer Science
*

We consider

doi:10.1007/978-3-642-04238-6_20
fatcat:dfrfsnvrmzgfjfvuvnl3qp3nre
*random**logic**programs*with two-literal rules and study their properties. ... In particular, we obtain results on the probability that*random*"sparse" and "dense"*programs*with two-literal rules have answer sets. ... of*programs*, namely those with sufficiently many constraints, a transition from consistent to inconsistent*programs*can be observed (Zhao and Lin's model shows such transition, too). ...##
###
Page 6169 of Mathematical Reviews Vol. , Issue 91K
[page]

1991
*
Mathematical Reviews
*

Miller], A

*logic**programming*language with lambda-abstraction, function variables, and*simple*unification (pp. 253-281); Lawrence C. Paul- son and Andrew W. ... Smith,*Logic**programming*, functional pro- gramming, and inductive definitions (pp. 283-309); David Pearce and Gerd Wagner,*Logic**programming*with strong negation (pp. 311-326); Peter Schroeder-Heister, ...##
###
Cumulative subject index volumes 64–67

1985
*
Information and Control
*

loop

doi:10.1016/s0019-9958(85)80038-3
fatcat:cnfpoerj4bgahkwbjf5nrkty5e
*programs*, 65, 18 Expressive power future perfect, in temporal*logics*, 67, 23 F Flowcharts propositional dynamic*logic*, 64, 119 Formulas correctness, and equivalence problem, for*simple*...*programs*: applications to first-order dynamic*logic*, 65, 98 Dictionaries containing weighted elements: implicit data structures, 66, 61 Domains Scott, and synchronization trees and metric spaces ...##
###
A hybrid software-based self-testing methodology for embedded processor

2008
*
Proceedings of the 2008 ACM symposium on Applied computing - SAC '08
*

Not only can the deterministic test

doi:10.1145/1363686.1364043
dblp:conf/sac/LuCL08
fatcat:ojwgrjui2ngkfpwfbyexo72vgq
*program*test lots of faults using very small code size, but also the*random*test*program*can help detect some of the faults that the deterministic test*program*is difficult ... The*random*test methodology tries to make the pseudo-exhaustive testing possible using*random*instructions or patterns. ... Stage 2:*Random*test*program*development We develop a*random*test*program*generation methodology for fault coverage improvement of the test*program*. ...##
###
Page 8069 of Mathematical Reviews Vol. , Issue 98M
[page]

1998
*
Mathematical Reviews
*

This semantics not only is a

*simple*and intuitive framework for performing argumentation and abduction in DLP, but also provides a unifying framework for many key semantics of disjunctive*logic**programs*... presented, which is quite*simple*and highly intuitive. ...##
###
The Independent Choice Logic and Beyond
[chapter]

2008
*
Lecture Notes in Computer Science
*

The Independent Choice

doi:10.1007/978-3-540-78652-8_8
fatcat:pa67dsgq2rhgbgmrcdghjir6sa
*Logic*began in the early 90's as a way to combine*logic**programming*and probability into a coherent framework. ... The idea of the Independent Choice*Logic*is straightforward: there is a set of independent choices with a probability distribution over each choice, and a*logic**program*that gives the consequences of the ... However, this is not a Bayesian*logic**program*(even if allHappy was a Boolean*random*variable). Bayesian*logic**program*do not mean the same things by atoms in*logic**programs*. ...##
###
EL Description Logic Modeling Querying Web and Learning Imperfect User Preferences

2006
*
International Semantic Web Conference
*

We offer a model based on connection between three EL-description

dblp:conf/semweb/Vojtas06
fatcat:xrkrimhcjzbgphwcaufvzz6c3m
*logic*systems: classical, annotated(fuzzy) and a new variant of Bayesian description*logic*. ... In this position paper we share ideas on modeling querying web resources by (imperfect) combination of particular user preferences based on description*logic*. ... Our experiments in the*logic**programming*framework give a well supported expectation that this could be a technically sound candidate for a*simple*, sufficiently expressive model for description of user ...##
###
Relationship between pair-wise and MC/DC testing: Initial experimental results

2015
*
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
*

Our experimental results show that the pair-wise test cases had a higher level of MC/DC coverage compared to the

doi:10.1109/icstw.2015.7107439
dblp:conf/icst/VilkomirA15
fatcat:svquslgihjdernrvox4algiy34
*random*test cases, achieving more than 70% MC/DC coverage. ... To confirm this, we conducted experimental testing of*logical*expressions of different sizes, complexities, and numbers of input variables. ... Creation of "artificial" software*programs*that contain various sets of*logical*expressions. These*programs*had no real functionality but allowed us to evaluate coverage of*logical*expressions. ...##
###
Learning programs in different paradigms using Genetic Programming
[chapter]

1995
*
Lecture Notes in Computer Science
*

In practice, the syntax of Lisp is so

doi:10.1007/3-540-60437-5_35
fatcat:3zt24jocnjc25jujphik725otq
*simple*and uniform that the translation process can be achieved easily,*programs*evolved by GP are usually expressed in Lisp. ... This paper presents a flexible framework that*programs*in various*programming*languages can be acquired. This framework is based on a formalism of*logic*grammars. ... The*logic*goal*random*(-10, 10, ?a) generates a*random*floating point number between -10 and 10 and instantiates ?a to the*random*number generated Ten*random*fitness cases are used for training. ...##
###
Universe as quantum computer

1997
*
Complexity
*

That is, the probabilities for different computational histories correspond to a computer that has been

doi:10.1002/(sici)1099-0526(199709/10)3:1<32::aid-cplx10>3.0.co;2-x
fatcat:sqsrc2oi25b4bbrwzlo7eplpfu
*programmed*with a*random**program*. ... operations such as AND, OR and NOT some*simple*quantum*logic*operation such as the rotation of a quantum bit. 9 Such more general quantum computers will be considered below.) ...##
###
Random logic programs: Linear model

2014
*
Theory and Practice of Logic Programming
*

AbstractThis paper proposes a model, the linear model, for randomly generating

doi:10.1017/s1471068414000611
fatcat:olqufref4rbdrhmhicoxeloc5e
*logic**programs*with low density of rules and investigates statistical properties of such*random**logic**programs*. ... It is mathematically shown that the average number of answer sets for a*random**program*converges to a constant when the number of atoms approaches infinity. ... , called*simple**random**programs*. ...##
###
The Universe as Quantum Computer
[chapter]

2012
*
A Computable Universe
*

That is, the probabilities for different computational histories correspond to a computer that has been

doi:10.1142/9789814374309_0029
fatcat:yhol24kfazaurn4iufi3jtalkm
*programmed*with a*random**program*. ... operations such as AND, OR and NOT some*simple*quantum*logic*operation such as the rotation of a quantum bit. 9 Such more general quantum computers will be considered below.) ...##
###
Universe as quantum computer
[article]

1999
*
arXiv
*
pre-print

That is, the probabilities for different computational histories correspond to a computer that has been

arXiv:quant-ph/9912088v1
fatcat:l27z24rorbdy5l6puhvvtaq2wa
*programmed*with a*random**program*. ... operations such as AND, OR and NOT some*simple*quantum*logic*operation such as the rotation of a quantum bit. 9 Such more general quantum computers will be considered below.) ...##
###
Design methodology of a 200MHz superscalar microprocessor

1998
*
Proceedings of the 35th annual conference on Design automation conference - DAC '98
*

*Random*test generation,

*logic*emulation, and formal verification are applied to

*logic*verification for shortening design time. ... The

*random*test generator varies many factors of chip situation and the instructions themselves are randomly generated. But, by

*simple*

*random*test

*programs*, it is hard to find

*logic*bugs. ...

*Random*Test Generation In

*logic*simulation, quality of

*logic*verification deeply depends on quality of the test

*programs*. ...

##
###
Hybrid Logical Bayesian Networks

2012
*
International Conference on Inductive Logic Programming
*

In this paper we focus on the

dblp:conf/ilp/RavkicRD12
fatcat:uvupdp3pdfejvpncwuy5maxolq
*Logical*Bayesian Network (LBN) formalism. ... Probabilistic*logical*models have proven to be very successful at modelling uncertain, complex relational data. ... Notice that the*logic**program*defines which*random*variables appear in the model, or in other words, it determines different interpretations (assignments to*random*variables). ...
« Previous

*Showing results 1 — 15 out of 271,676 results*