4573 search results - page 730 / 915 » Automated Reasoning |
211
click to vote
LOPSTR
2009
Springer
15 years 10 months ago
2009
Springer
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of “grounded range-restricted function-free normal ...
136
Voted
TIME
2008
IEEE
15 years 10 months ago
2008
IEEE
Frequent behavioural pattern mining is a very important topic of knowledge discovery, intended to extract correlations between items recorded in large databases or Web acces logs....
129
Voted
TIME
2008
IEEE
15 years 10 months ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
146
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
117
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...