2414 search results - page 170 / 483 » Reasoning Support for OWL-E |
247
click to vote
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
ACD Term Rewriting (ACDTR) is term rewriting modulo associativity, commutativity, and a limited form of distributivity called conjunctive context. Previous work presented an implem...
136
click to vote
IWPC
2009
IEEE
16 years 23 days ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
266
Voted
TPHOL
2009
IEEE
16 years 23 days ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
175
click to vote
AMT
2009
Springer
16 years 22 days ago
2009
Springer
This paper presents an integrative agent model for adaptive human-aware information presentation. Within the agent model, meant to support humans in demanding tasks, a domain model...
177
click to vote
FORMATS
2009
Springer
16 years 21 days ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...