Sciweavers

1581 search results - page 116 / 317
» Mechanizing Inductive Reasoning
Sort
View
AAMAS
2005
Springer
15 years 6 months ago
Formalisations of Capabilities for BDI-Agents
Intentional agent systems are increasingly being used in a wide range of complex applications. Capabilities has recently been introduced into some of these systems as a software en...
Lin Padgham, Patrick Lambrix
LPNMR
2011
Springer
14 years 9 months ago
Communicating ASP and the Polynomial Hierarchy
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
Kim Bauters, Steven Schockaert, Dirk Vermeir, Mart...
ICNS
2007
IEEE
16 years 20 days ago
On assuring QoS in Ethernet access network
This paper deals with the problem of assuring strict QoS guarantees for the end to end connections that originate from Ethernet access network. It shows that despite high link cap...
Robert Janowski, Piotr Krawiec, Wojciech Burakowsk...
AICOM
2007
119views more  AICOM 2007»
15 years 6 months ago
Using exogenous quantities in qualitative models about environmental sustainability
Representing the impact of external factors on the behaviour of a system is a challenge for modellers, particularly when these factors are dynamic and may change during the simulat...
Bert Bredeweg, Paulo Salles, Tim Nuttle
SEMWEB
2010
Springer
15 years 1 months ago
The Semantic Web needs more cognition
One of the key deficiencies of the Semantic Web is its lack of cognitive plausibility. We argue that by accounting for people's reasoning mechanisms and cognitive representati...
Martin Raubal, Benjamin Adams