Sciweavers

5378 search results - page 120 / 1076
» Base Logics in Argumentation
Sort
View
EDBTW
2006
Springer
15 years 9 months ago
Pattern-Based Query Answering
Users without knowledge of schemas or structured query languages have difficulties in accessing information stored in databases. Commercial and research efforts have focused on key...
Alkis Simitsis, Georgia Koutrika
167
Voted
AWIC
2005
Springer
15 years 11 months ago
Tuples Extraction from HTML Using Logic Wrappers and Inductive Logic Programming
This paper presents an approach for applying inductive logic programming to information extraction from HTML documents structured as unranked ordered trees. We consider information...
Costin Badica, Amelia Badica, Elvira Popescu
CADE
1997
Springer
15 years 10 months ago
Deciding Intuitionistic Propositional Logic via Translation into Classical Logic
Abstract. We present a technique that efficiently translates propositional intuitionistic formulas into propositional classical formulas. This technique allows the use of arbitrary...
Daniel S. Korn, Christoph Kreitz
JSYML
2008
66views more  JSYML 2008»
15 years 6 months ago
Flat algebras and the translation of universal Horn logic to equational logic
We describe which subdirectly irreducible flat algebras arise in the variety generated by an arbitrary class of flat algebras with absorbing bottom element. This is used to give an...
Marcel Jackson
EUSFLAT
2007
140views Fuzzy Logic» more  EUSFLAT 2007»
15 years 7 months ago
A Fuzzy Formal Logic for Interval-valued Residuated Lattices
Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, li...
Bart Van Gasse, Chris Cornelis, Glad Deschrijver, ...