61.
Identifying Target Populations for Screening or Not Screening Using Logic Regression
- Janes, Holly; Pepe, Margaret S.; Kooperberg, Charles; Newcomb, Polly
Numerous risk factors for colon cancer have been identified, but none are very predictive alone.
62.
The Church-Rosser property in symmetric combinatory logic
- Bimbó, Katalin
Symmetic combinatory logic with the symmetric analogue of a combinatorially
complete base (in the form of symmetric ?-calculus) is known to lack
the Church-Rosser property.
63.
A lógica da suposição e a compreensão do faz-de- conta por parte das crianças
- Dias,Maria da Graça Bompastor Borges; Roazzi,Antonio; O'Brien,David; Braine,Martin D. S.
Os estudos sobre a teoria da lógica mental para o raciocínio condicional não revelam se crianças fazem julgamentos que são consistentes com o procedimento semântico dessa teoria para se.
64.
Aplicação de lógica fuzzy no controle de tráfego do serviço ABR em redes ATM.
- Azeka, Marcos Akira
Neste trabalho estuda-se a idéia de utilizar a lógica fuzzy no controle de tráfego gerado pelo serviço ABR (Available Bit Rate), proposto pelo Forum ATM.
65.
Simulation of Active Control Using Fuzzy Logic Applied to a Pulse Combustor
- Botura,C. A.; Botura Jr.,G.; Carvalho Jr.,J. A.; Mesquita,L.; Ferreira,M. A.
It was verified that the system needed approximately 0.2 s to increase the tube internal pressure from 30 to 90 mbar, with an assumed total delay of 2 ms.
66.
Representation results for defeasible logic
- Antoniou, G.; Billington, D.; Governatori, G.; Maher, M. J.
The importance of transformations and normal forms in logic programming, and
generally in computer science, is well documented.
67.
Genetic Algorithm and Fuzzy Logic Based Optimal Location of Facts Device in a Power System Network
- Jeevarathinam, Baskaran
The flexible AC transmission system (FACTS) in a power system improves the stability, reduces the losses, reduces the cost of generation and also improves the loadability of the system.
68.
Disjunctive Logic Programs with Inheritance
- Buccafurri, Francesco; Faber, Wolfgang; Leone, Nicola
The paper proposes a new knowledge representation language, called DLP<,
which extends disjunctive logic programming (with strong negation) by
inheritance.
69.
Fuzzy logic based ATM policing
- Cheung, Kwan-Fai; Tsang, Danny H. K.; Cheng, Chak C.; Liu, Chiu W.
In this paper, we will compare the performance of a fuzzy logic (FL) based policer with leaky bucket (LB) based policer.
70.
A Model-Theoretic Semantics for Defeasible Logic
- Maher, Michael J.
Defeasible logic is an efficient logic for defeasible reasoning.
71.
Lògica i fonaments: 1850-1920. Un estudi comparatiu de les contribucions del corrent algèbric i logicista a la lògica contemporània
- Roselló Moya, Joan
RESUM:
Lobjectiu principal del nostre estudi ha estat, en primer lloc, fer una història de la lògica que abastés el període que va aproximadament des de mitjans del segle XIX, època en què Boole i De Morgan renoven la lògica tradicional, fins als anys vint del segle passat, quan la lògica de primer ordre es consolida com el llenguatge lògic "par excellence" i la concepció model-teorètica sobre camí de forma inexorable.
72.
Foundations of real analysis and computability theory in
non-Aristotelian finitary logic
- Srinivasan, Radhakrishnan; Raghunandan, H. P.
This paper outlines new paradigms for real analysis and computability theory
in the recently proposed non-Aristotelian finitary logic (NAFL).
73.
Logic Column 14: Nominal Logic and Abstract Syntax
- Cheney, James
We
present an approach called nominal abstract syntax that has attracted
considerable interest since its introduction approximately six years ago.
74.
Linear Abadi and Plotkin Logic
- Birkedal, Lars; Møgelberg, Rasmus E.; lo, Rasmus Lerchedahl Petersen ? he\l
We present a formalization of a version of Abadi and
Plotkin's logic for parametricity for a polymorphic dual
intuitionistic/linear type theory with fixed points, and show, following
Plotkin's suggestions, that it can be used to define a wide collection of
types, including existential types, inductive types, coinductive types and
general recursive types.
75.
On Spatial Conjunction as Second-Order Logic
- Kuncak, Viktor; Rinard, Martin
While researchers have identified many uses of spatial
conjunction, its precise expressive power compared to traditional logical
constructs was not previously known.
76.
Context Semantics, Linear Logic and Computational Complexity
- Lago, Ugo Dal
We show that context semantics can be fruitfully applied to the quantitative
analysis of proof normalization in linear logic.
77.
Uniform Provability in Classical Logic
- Nadathur, Gopalan
Uniform proofs are sequent calculus proofs with the following characteristic:
the last step in the derivation of a complex formula at any stage in the proof
is always the introduction of the top-level logical symbol of that formula.
78.
Characterization of Strongly Equivalent Logic Programs in Intermediate
Logics
- de Jongh, Dick; Hendriks, Lex
The non-classical, nonmonotonic inference relation associated with the answer
set semantics for logic programs gives rise to a relationship of 'strong
equivalence' between logical programs that can be verified in 3-valued Goedel
logic, G3, the strongest non-classical intermediate propositional logic
(Lifschitz, Pearce and Valverde, 2001).
79.
Representation Theory for Default Logic
- Marek, Victor; Treur, Jan; Truszczynski, Miroslaw
In this
paper, we study the problem of representability of a family of theories as the
set of extensions of a default theory.
80.
Temporal logic with predicate abstraction
- Lisitsa, Alexei; Potapov, Igor
A predicate linear temporal logic LTL_{\lambda,=} without quantifiers but
with predicate abstraction mechanism and equality is considered.
