Sciweavers

330 search results - page 14 / 66
» An argumentation based approach for practical reasoning
Sort
View
71
Voted
IFIP12
2009
14 years 7 months ago
Automated Product Pricing Using Argumentation
This paper describes an argumentation-based approach for automating the decision making process of an autonomous agent for pricing products. Product pricing usually involves differ...
Nikolaos I. Spanoudakis, Pavlos Moraitis
CADE
2006
Springer
15 years 9 months ago
Partial Recursive Functions in Higher-Order Logic
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...
Alexander Krauss
DSOM
2006
Springer
15 years 1 months ago
Using Argumentation Logic for Firewall Policy Specification and Analysis
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu,...
CLIMA
2007
14 years 11 months ago
Fuzzy Argumentation for Trust
In an open Multi-Agent System, the goals of agents acting on behalf of their owners often conflict with each other. Therefore, a personal agent protecting the interest of a single...
Ruben Stranders, Mathijs de Weerdt, Cees Witteveen
AUSAI
2004
Springer
15 years 2 months ago
A Comparison of BDI Based Real-Time Reasoning and HTN Based Planning
The Belief-Desire-Intention (BDI) model of agency is an architecture based on Bratman’s theory of practical reasoning. Hierarchical Task Network (HTN) decomposition on the other ...
Lavindra de Silva, Lin Padgham