3738 search results - page 27 / 748 » Parametrized Logic Programming |
121
click to vote
CSL
2010
Springer
15 years 3 months ago
2010
Springer
It is standard to regard the intuitionistic restriction of a classical logic as increasing the expressivity of the logic because the classical logic can be adequately represented i...
132
Voted
EUSFLAT
2009
15 years 9 days ago
2009
This article deals with the recognition of recurring multivariate time series patterns modelled sample-point-wise by parametric fuzzy sets. An efficient classification-based approa...
126
Voted
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
Regular path queries are a way of declaratively expressing queries on graphs as regular-expression-like patterns that are matched against paths in the graph. There are two kinds o...
125
Voted
AMAI
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In...
146
click to vote
ENTCS
2007
15 years 2 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...