Search Sciweavers | Sciweavers

2858 search results - page 31 / 572

» Logics with Aggregate Operators

click to vote

LICS
2007
IEEE

85views Automated Reasoning» more LICS 2007»

Bialgebraic Operational Semantics and Modal Logic

14 years 1 months ago

Download www.mimuw.edu.pl

Bartek Klin

claim paper

Read More »

click to vote

AIME
2007
Springer

132views Artificial Intelligence» more AIME 2007»

Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators

14 years 1 months ago

Download lat.inf.tu-dresden.de

Reiﬁcation of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...

Boontawee Suntisrivaraporn, Franz Baader, Stefan S...

claim paper

Read More »

click to vote

ILP
2004
Springer

142views Automated Reasoning» more ILP 2004»

Macro-Operators Revisited in Inductive Logic Programming

14 years 27 days ago

Download www-lipn.univ-paris13.fr

For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...

Érick Alphonse

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

94views Applied Computing» more BIRTHDAY 2006»

Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic

13 years 11 months ago