653 search results - page 58 / 131 » Partial equilibrium logic |
144
Voted
CLEIEJ
2010
15 years 1 months ago
2010
Logic programming is one of the most important subjects for students pursuing a degree in Information Technology and Communication (ITC) at higher education institutions. Teaching ...
145
Voted
ASP
2003
Springer
15 years 9 months ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
133
Voted
TPHOL
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...
133
Voted
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
108
Voted
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. Undefined terms are commonplace in mathematics, particularly in calculus. The traditional approach to undefinedness in mathematical practice is to treat undefined terms a...