3468 search results - page 129 / 694 » An open logical framework |
103
click to vote
GRAMMARS
2000
15 years 18 days ago
2000
Inthis paper, we aim at giving alogical account of the representationalist view on minimalist grammars by refering to the notion of Proof-Net in Linear Logic. We propose at the sam...
TCS
2002
15 years 13 days ago
2002
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...
123
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
107
Voted
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Normative systems in a multiagent system must be able to evolve over time, for example due to actions creating or removing norms in the system. The only formal framework to evalua...
100
Voted
WWW
2001
ACM
16 years 1 months ago
2001
ACM
Information agents are computational software systems that provides transparent access to many different information sources in the Internet, and to be able to retrieve, analyze, ...