827 search results - page 118 / 166 » Proof-Theoretic Soundness and Completeness |
97
Voted
LICS
2007
IEEE
15 years 7 months 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...
97
Voted
ATAL
2007
Springer
15 years 7 months 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...
86
Voted
CALCO
2007
Springer
15 years 7 months 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 ...
89
Voted
CALCO
2007
Springer
15 years 7 months 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...
101
click to vote
CCIA
2007
Springer
15 years 7 months 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-...