Search Sciweavers | Sciweavers

2766 search results - page 70 / 554

» Hybridizing a Logical Framework

click to vote

DLOG
2009

117views Automated Reasoning» more DLOG 2009»

A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics

13 years 7 months ago

Download web.comlab.ox.ac.uk

In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that stud...

Giorgos Stoilos, Giorgos B. Stamou

claim paper

Read More »

click to vote

IJCAI
2007

172views Artificial Intelligence» more IJCAI 2007»

A Logical Framework for Modularity of Ontologies

13 years 11 months ago

Download www.ijcai.org

Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and ...

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazako...

claim paper

Read More »

click to vote

ICEIS
2009
IEEE

90views Information Technology» more ICEIS 2009»

A Logic Programming Framework for Learning by Imitation

14 years 4 months ago