Sciweavers

1663 search results - page 163 / 333
» Description Logics for Interoperability
Sort
View
CCL
1994
Springer
15 years 8 months ago
Application of Constraint Logic Programming for VLSI CAD Tools
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
Renate Beckmann, Ulrich Bieker, Ingolf Markhof
AI
2010
Springer
15 years 4 months ago
A logic of delegation
Delegation is a foundational concept for understanding and engineering systems that interact and execute tasks autonomously. By extending recent work on tensed action logic, it be...
Timothy J. Norman, Chris Reed
146
Voted
CONTEXT
2007
Springer
15 years 10 months ago
Textual Inference Logic: Take Two
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
Valeria de Paiva, Daniel G. Bobrow, Cleo Condoravd...
DLOG
2007
15 years 6 months ago
Modal Logic Applied to Query Answering and the Case for Variable Modalities
We present a query answering technique based on notions and results from modal Correspondence Theory. It allows us to answer a wide family of conjunctive queries by polynomial redu...
Evgeny Zolin
DAGSTUHL
2003
15 years 6 months ago
Logical Languages for Data Mining
Data mining focuses on the development of methods and algorithms for such tasks as classification, clustering, rule induction, and discovery of associations. In the database fiel...
Fosca Giannotti, Giuseppe Manco, Jef Wijsen