4401 search results - page 293 / 881 » Computing with Default Logic |
178
click to vote
LPNMR
2007
Springer
16 years 23 days ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
169
click to vote
ASPDAC
2006
ACM
16 years 18 days ago
2006
ACM
This paper introduces a new current-based cell timing analyzer, called CGTA, which has a higher performance than existing logic cell timing analysis tools. CGTA relies on a compac...
134
click to vote
CONCUR
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a ...
200
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
163
click to vote
ICNC
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, we propose a new machine learning approach based on AFS (Axiomatic Fuzzy Sets) fuzzy logic, in attempt to provide a better model with interpretability. First, we wil...