Sciweavers

2694 search results - page 181 / 539
» A Description Logic of Change
Sort
View
IJCNN
2008
IEEE
16 years 29 days ago
Dynamic logic of phenomena and cognition
—Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. The neural modeling fields theory (NMF) addresses these challenges in a n...
Boris Kovalerchuk, Leonid I. Perlovsky
CCL
1994
Springer
15 years 10 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 6 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
DLOG
2007
15 years 8 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 8 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