Sciweavers

2573 search results - page 268 / 515
» Combinations of Modal Logics
Sort
View
163
Voted
JAR
2008
107views more  JAR 2008»
15 years 6 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer
ENTCS
2007
84views more  ENTCS 2007»
15 years 6 months ago
A Rewriting Logic Framework for Soft Constraints
Soft constraints extend classical constraints to deal with non-functional requirements, overconstrained problems and preferences. Bistarelli, Montanari and Rossi have developed a ...
Martin Wirsing, Grit Denker, Carolyn L. Talcott, A...
JMIV
2002
172views more  JMIV 2002»
15 years 6 months ago
Grey-Scale Morphology Based on Fuzzy Logic
There exist several methods to extend binary morphology to grey-scale images. One of these methods is based on fuzzy logic and fuzzy set theory. Another approach starts from the c...
Ting-Quan Deng, Henk J. A. M. Heijmans
SUM
2010
Springer
15 years 5 months ago
Cost-Based Query Answering in Action Probabilistic Logic Programs
Abstract. Action-probabilistic logic programs (ap-programs), a class of probabilistic logic programs, have been applied during the last few years for modeling behaviors of entities...
Gerardo I. Simari, John P. Dickerson, V. S. Subrah...
CORR
2011
Springer
177views Education» more  CORR 2011»
15 years 1 months ago
Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS
Markov Logic Networks (MLNs) have emerged as a powerful framework that combines statistical and logical reasoning; they have been applied to many data intensive problems including...
Feng Niu, Christopher Ré, AnHai Doan, Jude ...