586 search results - page 2 / 118 » Automated Reasoning on Aspects Interactions |
102
Voted
ICAIL
2003
ACM
15 years 5 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
93
Voted
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
71
Voted
TARK
2007
Springer
15 years 6 months ago
2007
Springer
62
Voted
TARK
2007
Springer
15 years 6 months ago
2007
Springer
72
Voted
TPHOL
2003
IEEE
15 years 5 months ago
2003
IEEE
