3891 search results - page 558 / 779 » A logic for strategic reasoning |
103
Voted
ARTS
1999
Springer
15 years 5 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
103
click to vote
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable proper...
100
click to vote
ASWC
2006
Springer
15 years 4 months ago
2006
Springer
With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need fo...
110
click to vote
AUSAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...
113
Voted
DIAGRAMS
2004
Springer
15 years 4 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...