Sciweavers

2303 search results - page 28 / 461
» On the logic of argumentation theory
Sort
View
DSOM
2006
Springer
15 years 9 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,...
SEMWEB
2009
Springer
16 years 19 days ago
Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
Ken Kaneiwa, Philip H. P. Nguyen
ATAL
2004
Springer
15 years 11 months ago
A Logical Model for Commitment and Argument Network for Agent Communication
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Mey...