4617 search results - page 393 / 924 » Automation of Diagrammatic Reasoning |
190
click to vote
LICS
2005
IEEE
16 years 10 days ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...
159
click to vote
TIME
2005
IEEE
16 years 9 days ago
2005
IEEE
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...
157
click to vote
LPAR
2005
Springer
16 years 7 days ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
161
click to vote
DEON
2004
Springer
16 years 4 days ago
2004
Springer
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of thes...
184
click to vote
DLOG
2007
15 years 9 months ago
2007
In the context of the Semantic Web or semantic peer to peer systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or re...