A PTIN P6lo do Porto contra o sen neg6cio no ramo das tecnologias de inform&Ao. O &mbito da sua certificaAo Dela APCER (ISO 9001) 6: "Projectos de desenvolvimento de sojrware, proJ`ectos europeus e projectos de consuLtoria no &Yea dos telecomunicaV6es. " No processo de JmpJementao do Sistema de Qualidade fol necesso encontrar uma interpretao e uma abordagem inovadoras. O SQ Sistema da Qualidade...

We study a general framework for query rewriting in the presence of general FOL constraints, where standard theorem proving techniques (e.g., tableau or resolution) can be used. The novel results of applying this framework include: 1) if the original constraints are domain independent, then so will be the query rewritten in terms of database predicates; 2) for infinite databases, the rewriting ...

Abstract Transmedia Stories are becoming an increasingly important technique for the tourism industry. They successful tools to engage, inspire and gather audiences online offline. In this article, we describe design, implementation evaluation of Fragments Laura, a bespoke Storytelling (TS) experience designed involve visitors in developing knowledge awareness about cultural natural heritage Ma...

The efficiency of multi-relational data mining algorithms, addressing the problem of learning First Order Logic (FOL) theories, strongly depends on the search method used for exploring the hypotheses space and on the coverage test assessing the validity of the learned theory against the training examples. A way of tackling the complexity of this kind of learning systems is to use a propositiona...

Many natural language understanding tasks require lexicons that can support extensive lexically-based inferencing. To represent lexical semantics, most existing natural language understanding systems utilize Standard First Order Logic (FOL), or a subset of it. We argue that using a representation richer than FOL would facilitate better lexically-based inferencing. Using examples drawn from actu...

We describe a logic-based AI architecture based on Brooks’ subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL) and use independent theorem provers to derive each layer’s outputs given its inputs. We implement the subsumption of lower layers by higher layers using circumscription to make assumptions in lower layers, and nonmonotoni...

Akdeniz ikliminde Fusarium solgunluğu (Fusarium oxysporum f. sp. lycopersici, Fol) ve kök boğazı çürüklüğü radicis-lycopersici, Forl) hastalıklarına neden olan fungal etmenler survey çalışmaları ile belirlenmiştir. İzolasyonlar sonucu elde edilen her iki etmene ait izolatların tür/ırk spesifik primerlerle (FOF1-FOR1, sp13, sp23 sprl) tanısı yapılmış virülenslik grupları oluşturulmuştur. Antalya...

Terasi paste consists of plant nutrients and microorganisms that potentially improve the health seedlings. We evaluated effects terasi on seed germination, seedling growth, root rot disease severity caused by Fusarium oxysporum f.sp. lactucae (FOL) in lettuce. was tested at four different weights (i.e., 0.00 g [T0], 1.00 [T1], 2.50 [T2], 5.00 [T3]) 100 nursery soil. The results showed lettuce s...

Appetizer. Algebraic logic (AL) is a well established discipline yet some natural questions remain out of its scope. For instance, it is well known that the Horn and universal fragments of FOL are original logics close to equational logic rather than just sublogics of FOL, and, very similarly, Gentzen's axiomatization of FOL seems has much in common with the universal equational logic: how c a ...

Soil amendments like compost and biochar are known to affect soil properties, plant growth as well as soil borne plant pathogens. Complex interactions based on microbial activity and abiotic characteristics are supposed to be responsible for suppressive properties of certain substrates, however, the specific mechanisms of action are still widely unknown. In the present study, the main focus was...