4573 search results - page 804 / 915 » Automated Reasoning |
137
click to vote
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at s...
102
click to vote
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input fro...
115
click to vote
TARK
2009
Springer
15 years 9 months ago
2009
Springer
Tennenholtz (GEB 2004) developed Program Equilibrium to model play in a finite twoplayer game where each player can base their strategy on the other player’s strategies. Tennen...
119
click to vote
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
135
click to vote
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...