186 search results - page 23 / 38 » Mechanizing metatheory in a logical framework |
115
click to vote
ARGMAS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
ASC
2006
15 years 1 months ago
2006
In [7] Maria I. Sessa extended the SLD resolution principle with the ability of performing approximate reasoning and flexible query answering. The operational mechanism of similar...
119
click to vote
INFORMATICALT
2010
14 years 9 months ago
2010
This paper analyses the possibilities of integrating different technological and knowledge representation techniques for the development of a framework for the remote control of mu...
193
click to vote
POPL
2003
ACM
16 years 19 hour ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
100
click to vote
P2P
2005
IEEE
15 years 5 months ago
2005
IEEE
A resource directory is a critical component of a Grid architecture. P2P computing paradigm could address some of the scalability issues that make distributed resource discovery s...