22 search results - page 5 / 5 » Reasoning in Extensional Type Theory with Equality |
IJCAI
1997
13 years 7 months ago
1997
Object identification—the task of deciding that two observed objects are in fact one and the same object—is a fundamental requirement for any situated agent that reasons about...
LICS
2009
IEEE
14 years 12 days 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...