41.
Embedding Defeasible Logic into Logic Programming
- Antoniou, Grigoris; Billington, David; Governatori, Guido; Maher, Michael J.
Defeasible reasoning is a simple but efficient approach to nonmonotonic
reasoning that has recently attracted considerable interest and that has found
various applications.
42.
Australasian Journal of Logic
43.
The Hanf numbers of stationary logic. II. Comparison with other logics
- Shelah, Saharon
We show that the ordering of the Hanf number of L_{omega, omega}(wo) (well
ordering), L^c_{omega, omega} (quantification on countable sets), L_{omega,
omega}(aa) (stationary logic) and second order logic, have no more restraints
provable in ZFC than previously known (those independence proofs assume
CON(ZFC) only).
44.
Definition of a Deterministic Bayesian Logic
- Dambreville, Frederic
The Bayesian logic is generally associated to the definition of a prior
probabilistic law.
45.
An Almost Classical Logic for Logic Programming and Nonmonotonic
Reasoning
- Bry, François
The model theory of a first-order logic called N^4 is introduced.
46.
Questions and answers -- a category arising in linear logic, complexity
theory, and set theory
- Blass, Andreas
We
describe this category and how it arises in these various contexts.
47.
A Paraconsistent Higher Order Logic
- Villadsen, Jørgen
Classical logic predicts that everything (thus nothing useful at all) follows
from inconsistency.
48.
USE OF FUZZY LOGIC IN META-EVALUATION: AN ALTERNATIVE APPROACH
- ANA CAROLINA LETICHEVSKY
Assuring the quality of an evaluation is a great challenge to evaluators.The evaluation of an evaluative process is called meta-evaluation.
49.
Modules and Logic Programming
- Fouquere, Christophe; Mogbil, Virgile
We study conditions for a concurrent construction of proof-nets in the
framework developed by Andreoli in recent papers.
50.
Completeness proof of functional logic, a formalism with
variable-binding nonlogical symbols
- Schoenbrunner, Josef
Related are operations such as "set of x, such that ...", Hilbert's
$\epsilon$-operator, Churche's $\lambda$-notation, minimization and similar
ones, which also bind a variable within some expression, the meaning of which
is however partly defined by a translation into the language of first order
logic.
51.
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.
52.
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.
53.
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.
54.
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.
55.
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.
56.
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.
57.
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.
58.
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.
59.
A Model-Theoretic Semantics for Defeasible Logic
- Maher, Michael J.
Defeasible logic is an efficient logic for defeasible reasoning.
60.
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.
