1331 search results - page 71 / 267 » Description logic reasoning using the PTTP approach |
134
click to vote
ESOP
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
181
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
162
click to vote
APLAS
2006
ACM
16 years 4 days ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
162
click to vote
PPDP
2009
Springer
16 years 21 days ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
146
click to vote
AI
2008
Springer
16 years 16 days ago
2008
Springer
Abstract. In the context of the RoboCup Simulation League, we describe a new representation of a software agent’s visual perception (“scene”), well suited for case-based reas...