90 search results - page 12 / 18 » Narrowing and Rewriting Logic: from Foundations to Applicati... |
105
click to vote
LICS
2009
IEEE
15 years 4 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
AI
2007
Springer
14 years 9 months ago
2007
Springer
AI planning requires the definition of action models using a formal action and plan description language, such as the standard Planning Domain Definition Language (PDDL), as inp...
WOLLIC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
JELIA
2004
Springer
15 years 2 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
PODS
2007
ACM
15 years 9 months ago
2007
ACM
Event processing systems have wide applications ranging from managing events from RFID readers to monitoring RSS feeds. Consequently, there exists much work on them in the literat...