827 search results - page 118 / 166 » Proof-Theoretic Soundness and Completeness |
152
click to vote
LICS
2007
IEEE
16 years 12 days ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
147
click to vote
ATAL
2007
Springer
16 years 9 days ago
2007
Springer
The majority of existing work on agent dialogues considers negotiation, persuasion or deliberation dialogues. We focus on inquiry dialogues that allow two agents to share knowledg...
134
click to vote
CALCO
2007
Springer
16 years 9 days ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
145
click to vote
CALCO
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
152
click to vote
CCIA
2007
Springer
16 years 9 days ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...