Sciweavers

2225 search results - page 48 / 445
» Logical Structures in the Lexicon
Sort
View
CONCUR
2010
Springer
13 years 11 months ago
Modal Logic over Higher Dimensional Automata
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
Cristian Prisacariu
SLOGICA
2008
135views more  SLOGICA 2008»
13 years 10 months ago
A Way to Interpret Lukasiewicz Logic and Basic Logic
Fuzzy logics are in most cases based on an ad-hoc decision about the interpretation of the conjunction. If they are useful or not can typically be found out only by testing them wi...
Thomas Vetterlein
AWIC
2005
Springer
14 years 3 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
JSYML
2008
66views more  JSYML 2008»
13 years 10 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
CORR
2004
Springer
119views Education» more  CORR 2004»
13 years 10 months ago
On Role Logic
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
Viktor Kuncak, Martin C. Rinard